From: Kreutzer + Schweikardt <lics@informatik.hu-berlin.de>
To: LICS List <lics@informatik.hu-berlin.de>
Subject: LICS 2007 - Call for Participation
Date: Wed, 23 May 2007 12:48:42 +0200 (CEST) [thread overview]
Message-ID: <E1HrAwC-000774-RE@mailserv.mta.ca> (raw)
LICS 2007
Call for Participation
Reminder: Early registration deadline is approaching:
May 31st, 2007
LICS 2007 will be held in the Institute of Computer Science,
University of Wroclaw, Poland, 10th - 14th July 2007.
It will be colocated with:
- International Colloquium on Automata, Languages and Programming
(ICALP 2007), 9th - 13th July 2007, and
- ASL European Summer Meeting (Logic Colloquium 2007),
14th - 19th July 2007.
The IEEE Symposium On Logic In Computer Science (LICS) is an annual
international forum on theoretical and practical topics in computer
science that relate to logic broadly construed.
Detailed information can be found on the webpage:
- http://www.informatik.hu-berlin.de/lics/lics07/
- http://july2007.ii.uni.wroc.pl/
Important dates:
- May 31st 2007: Early registration discount expires.
- 10th - 14th July 2007: Conference
Invited Speakers:
- Thomas Hales (University of Pittsburgh)
- Martin Hyland (University of Cambridge)
- Phokion Kolaitis (IBM Almaden Research Centre)
- Gordon Plotkin (University of Edinburgh)
- Michael Rabin (Harvard University and Hebrew University)
- Colin Stirling (University of Edinburgh)
reply other threads:[~2007-05-23 10:48 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=E1HrAwC-000774-RE@mailserv.mta.ca \
--to=lics@informatik.hu-berlin.de \
/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).