From: Nicole Schweikardt <schweika.floc@googlemail.com>
To: floc2010@informatik.uni-frankfurt.de
Subject: FLoC 2010: First Announcement
Date: Fri, 15 May 2009 01:24:25 +0200 [thread overview]
Message-ID: <E1M5mTU-0002Yd-38@mailserv.mta.ca> (raw)
2010 FEDERATED LOGIC CONFERENCE (FLoC'10)
Edinburgh, Scotland, U.K.
July 9-21, 2010
http://www.floc-conference.org
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modeled after the
successful Federated Computer Research Conference (FCRC), and synergetically
brought together conferences that apply logic to computer science. The
second Federated Logic Conference (FLoC'99) was held in Trento, Italy,
in 1999, the third (FLoC'02) was held in Copenhagen, Denmark, in 2002, and
the fourth (FLoC'06) was held in Seattle, Washington, USA.
* We are pleased to announce the fifth Federated Logic Conference (FLoC'10)
to be held in Edinburgh, Scotland, U.K. (www.edinburgh.org), in July 2010,
at the School of Informatics at University of Edinburgh (www.inf.ed.ac.uk).
* The following conferences will participate in FLoC:
Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Logic Programming (ICLP)
Int'l Joint Conference on Automated Reasoning (IJCAR)
Int'l Conference on Interactive Theorem Proving (ITP)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Rewriting Techniques and Applications (RTA)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
* Pre-conference workshops will be held on July 9-10. ITP, LICS, RTA, and SAT
will be held in parallel on July 11-14, to be followed by mid-conference
workshops on July 14-15. CAV, ICLP, and IJCAR will be held in parallel on
July 16-19, to be followed by post-conference workshops on July 20-21.
Plenary events involving all the conferences are planned. There will be
receptions in the Edinburgh Castle and at the National Galleries of Scotland.
* The call for workshop proposals can be found at the FLoC web page
(http://www.floc-conference.org). Calls for papers will be issued in the
near future. For additional information regarding the participating meetings,
please check the FLoC web page later this summer.
* FLoC'10 Steering Committee:
- General Chair: Moshe Y. Vardi
- Conference Co-chairs: Leonid Libkin, Gordon Plotkin
- CAV Representative: Edmund Clarke
- ICLP Representative: Manuel Hermenegildo
- IJCAR Representative: Alan Bundy
- ITP Representative: Tobias Nipkow
- LICS Representative: Martin Abadi
- RTA Representative: Juergen Giesl
- SAT Representative: Enrico Giunchiglia
- EasyChair Representative: Andrei Voronkov
----------------------
You are subscribed to the FLoC 2010 mailing list.
To unsubscribe please send an email to majordomo@informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.
reply other threads:[~2009-05-14 23:24 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=E1M5mTU-0002Yd-38@mailserv.mta.ca \
--to=schweika.floc@googlemail.com \
--cc=floc2010@informatik.uni-frankfurt.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).