From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4840 Path: news.gmane.org!not-for-mail From: Nicole Schweikardt Newsgroups: gmane.science.mathematics.categories Subject: FLoC 2010: First Announcement Date: Fri, 15 May 2009 01:24:25 +0200 Message-ID: Reply-To: Nicole Schweikardt NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1242593439 7996 80.91.229.12 (17 May 2009 20:50:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 17 May 2009 20:50:39 +0000 (UTC) To: floc2010@informatik.uni-frankfurt.de Original-X-From: categories@mta.ca Sun May 17 22:50:32 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1M5nJW-000138-9E for gsmc-categories@m.gmane.org; Sun, 17 May 2009 22:50:30 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1M5mTU-0002Yd-38 for categories-list@mta.ca; Sun, 17 May 2009 16:56:44 -0300 Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4840 Archived-At: 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.