CALL FOR PARTICIPATION
Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
Conference 24-27 June 2019, Vancouver Workshops 22-23 June 2019
LICS 2019 Registration is open. Registration page: https://ungerboeck.its.sfu.ca/emc00/register.aspx?OrgCode=01&EvtID=13268...
We also encourage participants to find accommodation in Vancouver as soon as possible. Local info page (with accommodation suggestions): https://www.sfu.ca/%7Elics2019/
The LICS server at siglog is temperamental at present. Apologies. While we're investigating, I've put a mirror at http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/ Accepted papers: http://www.cs.ox.ac.uk/people/samuel.staton/licstemp/lics19/accepted.html Original website: https://lics.siglog.org/lics19/
Workshops: LFMTP: Logical Frameworks and Metalanguages: Theory and Practice LMW: Logic Mentoring Workshop MoRe: Multi-objective reasoning in verification and synthesis LearnAut: Learning and Automata LOLA: Syntax and semantics of Low level Languages WiL: Women in Logic