[FOM] FLoC 2010: 2nd Call for Participation

[Nicole Schweikardt]

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

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

   DEADLINES (All deadlines are firm!):
    * deadline for student travel grant application: 3 MAY 2010.
    * early registration deadline: 17 MAY 2010.

   NEW CANCELLATION POLICY: details are given below.


* 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


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


* Student Travel Grants:
   FLoC has raised funds to help students with participating in the
   2010 meeting. See details on
   http://www.floc-conference.org/floc-student-grants.html


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