2nd Workshop Women in Logic (WiL2018) at FLoC 2018

DATE:Sunday, July 8, 2018

We are proud to be one of the sponsors of Second Workshop of Women in Logic (WiL2018), Logic in Computer Science (LiCS) associated workshop affiliated with Federated Logic Conference 2018, taking place in Oxford, UK, July 6-19. 2018.

The workshop intends to follow the pattern of meetings such as Women in Machine Learning or Women in Engineering that have been taking place for quite some years. The workshop aims to offer opportunity for women in the LICS community to increase awareness of one another and one another’s work, and to combat the feeling of isolation which can hinder especially the career development of early-career academics.


Topics of interest of this workshop include but are not limited to the usual LiCS topics which are:

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.

Call for Papers 2018

Paper submission deadline (extended): 15 April 2018
Author notification: 15 May 2018
Contribution for Informal Proceedings: 31 May 2018

More Information


Comments are closed.