categories - Category Theory list
 help / color / mirror / Atom feed
From: Sam Staton <sam.staton-6XCrzUfQPq310XsdtD+oqA@public.gmane.org>
To: "las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org"
	<las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org>,
	"types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org"
	<types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org>,
	"ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org"
	<ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>,
	"GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org"
	<GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org>,
	"categories-59hdLBrVOVU@public.gmane.org"
	<categories-59hdLBrVOVU@public.gmane.org>,
	"concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org"
	<concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org>,
	"finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org"
	<finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org>,
	"appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org"
	<appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org>,
	"linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org"
	<linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org>,
	"lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org"
	<lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org>,
	"prog-lang-dAYI7NvHqcQ@public.gmane.org"
	<prog-lang-dAYI7NvHqcQ@public.gmane.org>,
	"theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org"
	<theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org>,
	"theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org"
	<theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org>,
	"agda-TrQ0NnR75aw@public.gmane.org
Subject: LICS Early Registration deadline Tomorrow (Friday 7 April)
Date: Thu, 6 Apr 2017 10:21:34 +0000	[thread overview]
Message-ID: <88CBAF79-A4F3-42F7-A0B0-D0D51EBDC77B@cs.ox.ac.uk> (raw)

[ 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
    
    



                 reply	other threads:[~2017-04-06 10:21 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=88CBAF79-A4F3-42F7-A0B0-D0D51EBDC77B@cs.ox.ac.uk \
    --to=sam.staton-6xcrzufqpq310xsdtd+oqa@public.gmane.org \
    --cc=GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org \
    --cc=ProofTheory.List-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org \
    --cc=appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org \
    --cc=categories-59hdLBrVOVU@public.gmane.org \
    --cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
    --cc=finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org \
    --cc=las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org \
    --cc=lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org \
    --cc=linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org \
    --cc=prog-lang-dAYI7NvHqcQ@public.gmane.org \
    --cc=theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org \
    --cc=theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org \
    --cc=types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).