Here the Call for Nominations: SIGLOG/VCLA Travel Award for WiL 2018 with a deadline June 13th, 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.

The report on the workshop in SIGLOG Newsletter January 2019 here.

Topics

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

Website