Monday, June 21, 2010

FLoC 2010: Final Call for Participation

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

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

 DEADLINES (all deadlines are firm):
  * standard registration deadline: 30 JUNE 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 open. The deadline for early registration was 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


* Cancellation Policy:
 If a participant is unable to attend FLoC because of force
 majeure (e.g., volcanic ash causing flight cancellation) or because
 of visa denial, their registration fee and accommodation payments
 will be refunded in full, except for a GBP 50 administrative charge.


* 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.