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=132686&AppCode=REG&CC=119040326516 We also encourage participants to find accommodation in Vancouver as soon as possible. Local info page (with accommodation suggestions): https://www.sfu.ca/~lics2019/ 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