[DL] FLoC 2010: Call for Participation

[Nicole Schweikardt]

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

  Edinburgh, Scotland, U.K.
  July 9-21, 2010
  http://www.floc-conference.org

  Early registration deadline: 17 May 2010.


* The fifth Federated Logic Conference (FLoC'10)
  will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org),
  in July 2010, at the School of Informatics at the University
  of Edinburgh (www.inf.ed.ac.uk).


* FLoC'10 promises to be the premier scientific meeting in
  computational logic in 2010.
  The following conferences will participate in FLoC:

  - CAV 2010: Int'l Conference on Computer-Aided Verification
  - CSF 2010: IEEE Computer Security Foundations Symposium
  - ICLP 2010: Int'l Conference on Logic Programming
  - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
  - ITP 2010: Int'l Conference on Interactive Theorem Proving
  - LICS 2010: IEEE Symposium on Logic in Computer Science
  - RTA 2010: Int'l Conference on Rewriting Techniques and Applications
  - SAT 2010: Int'l Conference on Theory and Applications of
Satisfiability Testing

  The eight major conferences will be accompanied by more than
  fifty workshops and a number of other affiliated events.


* Program:
  The FLoC'10 program includes plenary talks by David Basin,
  Georg Gottlob, David Harel, and Gordon Plotkin, as well as
  keynote talks by Deepak Kapur and J Strother Moore.
  Please consult the FLoC website for further information on
  invited speakers and contributed talks of all the
  participating conferences.


* The city of Edinburgh:
  Edinburgh (http://www.ed.ac.uk/about/city/introduction), one of the
  most vibrant, cosmopolitan cities in Europe, has been regularly voted
  one of the most desirable places to live in the world - and the
  University is at the heart of it all.
  Located throughout the centre of the city, the campus plays an integral
  part in the activities of Scotland's lively capital.
  Set against a beautiful backdrop of stunning architecture, Edinburgh is
  a welcoming, cosmopolitan city with a large and diverse student population.
  The city offers an exciting array of entertainment, history, culture and
  sport, with the lush Scottish countryside and coastline just a few miles
  away. It is a safe and prosperous city, with an abundance of parks and
  green spaces for recreation and reflection.
  FLoC receptions will be held at the Edinburgh Castle (11 July) and
  the National Galleries of Scotland (16 July).


* Registration:
  For online registration for FLoC, please follow the link on the
  FLoC website at http://floc-conference.org/registration.html
  Registration is now open. The deadline for early registration is
  17 May. Standard rates will apply for those who register between 18 May
  and 30 June. For those who register after 30 June, late rates will apply.
  Note that it is possible to register early, and then add components
  (e.g., additional workshops, additional registration days, etc.) later on.


* Accomodation:
  Very affordable accommodation has been booked at the University's
  Pollock Halls campus, about 15-minute walk from the conference site.
  Room types include single/double rooms with shared facilities/ensuite,
  and standard hotel rooms in a 3-star Victorian mansion.
  Alternatively, blocks of rooms have been booked at several hotels in
  the cite centre. For details, see
  http://floc-conference.org/accommodation.html


* Student Travel Grants:
  FLoC has raised funds to help students with participating in the
  2010 meeting. See details on the conference website.


* 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 at informatik.uni-frankfurt.de
with the keywords unsubscribe floc2010 in the message body.