[LICS] LICS 2017 Call for Participation: Early Registration by April 7

[LICS] LICS 2017 Call for Participation: Early Registration by April 7

[Sam Staton]

THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2017)
  18–23 June 2017, Reykjavik
Early registration deadline:
  April 7, 2017 (TWO WEEKS TODAY)
  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
* MENTORING WORKSHOP
  Sponsorship application deadline: 
  31 March 2017 (ONE WEEK FROM TODAY)
* OTHER 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

You are subscribed to the lics mailing list because you have signed up for it in the past.

Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.

Unsubscribe:
To unsubscribe, please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').

Subscribe:
To subscribe,  please send an email to las-lics-request@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').