Good news! There will be Women in Logic 2019! Check the new site! Second Workshop Women in Logic (WiL2018) 8th July 2018 https://sites.google.com/site/womeninlogic2018/ We are holding the second workshop ‘Women in Logic’ (WiL2018) as a LiCS associated workshop this year. The workshop intends to follow the pattern of meetings such as “Women in Machine Learning” (http://wimlworkshop.org/) or “Women in Engineering” that have been taking place for quite a few years. Women
are chronically underrepresented in the LICS community; consequently
they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. The
workshop will provide an opportunity for women in the field to increase
awareness of one another and one another’s work, to combat the feeling
of isolation. It
will also provide an environment where women can present to an audience
comprising mostly women, replicating the experience that most men have
at most LiCS meetings, and lowering the stress of the occasion; we hope
that this will be particularly attractive to early-career women. Topics of interest of this workshop include but are not limited to the usual Logic in Computer Science (LiCS) topics. These
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. We are very grateful to SIGLOG and the Vienna Center for Logic and Algorithms for their support. Additional support for networking events has been provided by the UK Engineering and Physical Sciences Research Council, through a Fellowship held by Professor Ursula Martin. |