[TYPES/announce] LICS Early Registration deadline Tomorrow (Friday 7 April)

[Sam Staton]

THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2017)
      20-23 June 2017, Reykjavik
      Workshops: 18-19 June 2017
    Early registration deadline:
      April 7, 2017 (TOMORROW)
      http://lics.rwth-aachen.de/lics17/
      http://www.icetcs.ru.is/lics2017-registration.html
      We strongly encourage conference and workshop participants to register, and to make their travel 
      and accommodation arrangements, as soon as possible. Iceland is a very hot holiday destination 
      these days and it becomes fully booked soon, especially during the summer months.    
* ACCEPTED PAPERS
      http://lics.rwth-aachen.de/lics17/accepted.html
* WORKSHOPS
      INFINITY: 19th International Workshop on Verification of Infinite-State Systems. 
      LearnAut: Learning and Automata.
      LCC: Logic and Computational Complexity. 
      LMW: Logic Mentoring Workshop. 
      LOLA: Syntax and Semantics of Low-Level Languages. 
      Metafinite model theory and definability and complexity of numeric graph parameters. 
      WiL: Women in Logic.
      http://lics.rwth-aachen.de/lics17/workshops.html