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

Sam Staton sam.staton at cs.ox.ac.uk
Thu Apr 6 06:21:34 EDT 2017


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
    
    



More information about the Types-announce mailing list