FLoC has now started. If you wish to make a late registration, read on.

Once you have registered and paid online, you will receive a receipt by email, and can then collect your registration pack from the FLoC conference office in the gallery above the Appleton Tower concourse. The office will be open every day from 8am to 6pm. Now follow the link to the online registration form.

The online registration form allows you to register for conferences and workshops, and make payment by credit or debit card. You can book campus accommodation separately. The rest of this page sets out further information about registration: please read it carefully before proceeding to the online form. All participants are expected to register for at least one conference or workshop for the days they are attending FLoC.

Jump to: Procedure · Deadlines · Fees · Affiliated events · Social events · Proceedings

See also: Accommodation · Cancellation · Local information · Visas


FLoC 2010 will be based in the Appleton Tower in the heart of the University of Edinburgh, with workshops also in the award-winning Informatics Forum. Edinburgh is a beautiful city and we are anticipating up to 1,000 delegates between 9 and 21 July. Please register as early as possible to take advantage of discounted prices before 17 May and to allow efficient conference organisation. Late registrations are an unnecessary administrative burden and a substantial premium will be charged for registrations after 30 June.

All fees are in UK Pound Sterling (GBP) and include taxes where relevant.

Registration Categories

There are two categories of participants for all conferences and workshops:

Students receive a 40% discount on conference and workshop fees; however, their registration does not include tickets to the conference banquet.

Students wishing to register at the reduced rates must fax proof of student status (Subject: FLoC Student Status) to +44 131 650 6513, or send a PDF file with proof of student status (Subject: FLoC Student Status) to

A limited number of travel grants are available. See the student travel support page for more information.

Online Registration Procedure

Registration services are supplied by The University of Edinburgh on their ePay web store. The following details may help you complete the process.

Note: If you haven't yet entered your credit-card number, then you haven't yet booked a place.

Links: ePay User Guide (PDF) · FLoC 2010 registration

Registration in Stages

You can book and pay for one event initially, and then add further components later — workshops, banquet tickets, etc. There are no penalties for ordering items individually, and you can use the same email address and password to access your account on the registration site.


We are able to accept payment with cards issued by VISA (Visa, Visa Debit, Visa Electron) and MasterCard (MasterCard, Maestro, Solo). We cannot take payment from American Express. If this is a problem for you, please contact to investigate alternative arrangements.


FLoC has negotiated preferential rates on campus accommodation and in some city hotels, which you need to book separately.

Link: Accommodation

Feedback Survey

The Edinburgh Convention Bureau have asked us to help in evaluating visitors' experience of the city. If you agree to this during registration, then once FLoC is over we shall send you an email from them seeking feedback on what Edinburgh does well, and what could be improved.

FLoC will not give the Convention Bureau your email address, or any other contact details.

Registration Deadlines

Starts Ends
Early     6 April   17 May    
Regular 18 May 30 June
Late 1 July FLoC 2010

These apply to all conference and workshop fees. Please register as early as possible: this will save you money, and also help the FLoC conferences to plan effectively.

Registration Fees

All conferences and all workshops participating in FLoC 2010 have the same fee structure; except for CSF and LICS, which have different rates for “members” and “non-members” of relevant professional associations (IEEE and ASL for LICS, IEEE for CSF).

   CSF or LICS
   CSF or LICS
Early 25022527570114
Regular 280255305100166
Late 330305366115192
Early 1501351654268
Regular 16815318360100
Late 19818322069115

All fees are in UK Pound Sterling (GBP) and include taxes where relevant.

Registration fees for all conferences and workshops include the following:

Printed proceedings are not included in the registration fee. See below for information about buying printed proceedings.

All bookings for conferences made before 9 July include additional events:

Workshop-only bookings do not automatically include event tickets.

Up to 9 July, additional guest tickets for the FLoC Reception and Banquet can be purchased during the online registration.

Lunches are not included in any registration fee. FLoC 2010 is located in central Edinburgh with numerous restaurants and sandwich shops in the vicinity, including those in the nearby student union facilities. We suggest allowing £5 for a sandwich and drink; £10 for a sit-down lunch; and £20–25 for evening dinner.

Additional Affiliated Events

As well as the 8 full conferences and 50 workshops, the following events are also affiliated to FLoC. These are independent events and have their own arrangements for registration and, where necessary, payment. Please follow the links below for more details.

Automatheo 2010    Workshop on Automated Mathematical Theory Exploration.
CASC-J5 The CADE ATP System Competition
SMT-COMP Satisfiability Modulo Theories Competition
Termination 2010 International Termination Competition

Social Events

The FLoC conferences are organised into two blocks, with workshops before, between and after these. Each block has its own reception and banquet.

Note: FLoC has now started, and all social events are fully booked, with no more tickets. There is a sign-up sheet in the Appleton Tower concourse to trade spare tickets.

Block 1: ITP, LICS, RTA, SAT; 11–14 July 2010

Drinks Reception – Sunday 11th July at Edinburgh Castle

Public areas of the castle will be open, including the Scottish Crown Jewels.

This also the date of the Football World Cup Final and we shall be showing this on plasma screens at the event. There will be additional food and drink available for purchase during the match.

Conference Banquet – Tuesday 13 July at Our Dynamic Earth

One of Edinburgh's most popular tourist attractions, by the foot of the Royal Mile. The displays will be open for viewing.

Block 2: CAV, CSF, ICLP, IJCAR; 16–19 July 2010

Drinks Reception – Friday 16 July at The National Galleries of Scotland

The Galleries lie at the heart of Edinburgh's main thoroughfare, Princes Street, beneath the Castle. The National Gallery houses Scotland's national collection of fine art from the early Renaissance to the end of the nineteenth century, and will be open for viewing during the reception.

Conference Banquet – Sunday 18 July at Prestonfield House

Nestling at the foot of Arthur's Seat close to the main university and FLoC campus accommodation.

Squash Tournament

The traditional CADE/IJCAR Squash Tournament will be held on 15 July. Any FLoC participant may sign up during registration for £8.

Dietary Requirements

Please advise us in the registration procedure of any special dietary requirements, e.g. vegetarian, halal, kosher, as venues require notice to provide these. We cannot undertake to fulfil strict requirements but will do our best.


Registration for all conferences and workshops includes a USB memory stick carrying electronic copies of papers from all FLoC events. Paper proceedings are not included in registration costs.

Some conferences will have paper proceedings; for these you can order copies during online registration, up to June 10. These are offered at a significant reduction, generally more than 50%, on the list price, and will be available for collection when you arrive at FLoC.

No paper proceedings are available for pre-order after June 10. At FLoC itself go to the proceedings desk in the Appleton Tower concourse for information on how to buy additional copies of paper proceedings.

Note: Orders for Springer proceedings (CAV/IJCAR/ITP/SAT) close earlier, on May 30 (at midnight UTC+1). This is a change from the date previously advertised, and is necessary to meet the publisher's printing deadline.