Categories |
ARTIFICIAL INTELLIGENCE
BIOINFORMATICS
FORMAL METHODS
|
About |
|
Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to:
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. |
Call for Papers |
|
Topics of interest of this workshop include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. |
Summary |
|
WiL 2020 : 4th Women in Logic Workshop will take place in Paris, France. It’s a 1 day event starting on Jun 30, 2020 (Tuesday) and will be winded up on Jun 30, 2020 (Tuesday). WiL 2020 falls under the following areas: ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, FORMAL METHODS, etc. Submissions for this Workshop can be made by Apr 22, 2020. Authors can expect the result of submission by May 21, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 30, 2020 to the official website of the Workshop. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the WiL 2020
|
Credits and Sources |
| [1] WiL 2020 : 4th Women in Logic Workshop |
