LICS Early Registration deadline Tomorrow (Friday 7 April)

* LICS Early Registration deadline Tomorrow (Friday 7 April)
@ 2017-04-06 10:21 Sam Staton
  0 siblings, 0 replies; only message in thread
From: Sam Staton @ 2017-04-06 10:21 UTC (permalink / raw)
  To: las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX,
	types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
	ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w,
	GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR, categories-59hdLBrVOVU,
	concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/,
	finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR,
	appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ,
	linear-UfE5FQABeHN2Qaki92YDXw,
	lfcs-interest-9iOJEv++55WFxr2TtlUqVg, prog-lang-dAYI7NvHqcQ,
	theorem-provers-iSp611qFfoI3uPMLIKxrzw,
	theory-logic-ETDLCGt7PQU3uPMLIKxrzw,

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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
    
    
^ permalink raw reply	[flat|nested] only message in thread