[TYPES/announce] LICS 2019 Registration and Website Mirror

[Sam Staton]

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