FLoC Workshop Guide

General Information

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops.

Organization of Workshops

Each workshop will be affiliated with at least one of the eight FLoC 2014 conferences.

  • 26th International Conference on Computer Aided Verification (CAV)
    Workshop Chair: Martina Seidl
  • 27th IEEE Computer Security Foundations Symposium (CSF)
    Workshop Chair: Luca Vigano
  • 30th International Conference on Logic Programming (ICLP)
    Workshop Chair: Haifeng Guo
  • 7th International Joint Conference on Automated Reasoning (IJCAR)
    Workshop Chair: Matthias Horbach
  • 5th Conference on Interactive Theorem Proving (ITP)
    Workshop Chair: David Pichardie
  • Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 9th ACM/IEEE Symposium on Logic in Computer Science (LICS)
    Workshop Chair: Georg Moser
  • 25th International Conference on Rewriting Techniques and Applications (RTA) joined with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)
    Workshop Chair: Aleksy Schubert
  • 17th International Conference on Theory and Applications of Satisfiability Testing (SAT)
    Workshop Chair: Ines Lynce

Important Dates

  • Submission of workshop proposals: by September 30, 2013
  • Notification: November 13, 2013
  • Easychair setup for accepted workshops: November 30, 2013
  • Deadline for preliminary workshop programs: May 30, 2014
  • Regular registration deadline: June 8, 2014
  • USB Proceedings deadline: June 11, 23:59 UK time,  2014
  • Deadline for final workshop programs: June 11, 23:59 UK time, 2014
  • Late registration deadline: June 30, 2014
  • Pre-FLoC workshops: Saturday & Sunday, July 12-13
  • Mid-FLoC workshops: Thursday & Friday, July 17-18
  • Post-FLoC workshops: Wednesday & Thursday, July 23-24

Easychair Setup for Accepted Workshops

Several organizational tasks such as the generation of parts of the FLoC website, the generation of the program, and the USB proceedings will be carried out via Easychair. Therefore organizers of accepted workshops are required to have an Easychair setup for their workshop. This also applies, for instance, if the workshop is not based on paper submissions and only features invited talks. By November 30, 2013, workshops must be set up at Easychair and basic workshop information must be entered.

Instructions are available here. Easychair codes (a code to joint the VSL program, and a code to obtain an executive Easychair license) have been supplied to workshop organizers  by email.

Easychair specific questions are handled by Easychair, the executive license allows workshop organizers to request help on technical questions in EasyChair, via Help questions in the navigation bar.

Workshop Programs

Workshop organisers are required to add the program of their  workshop in EasyChair. Instructions can be found here. Programs should be added as soon as possible so that a coordination of programs between workshops is possible.

The deadline for  a preliminary version of  workshop programs is May 30, 2014. The deadline for the final version that will be used for the printed workshop program is June 11, 23:59 UK time,  2014. Modification of programs between May 30 and June 11 will still be possible. It would be good to use this time to coordinate the program between workshops that run in parallel. In EasyChair one can see the program of other workshops and conferences. The current VSL/FLoC schedule that includes keynote talks and other VSL events can be found here

Workshop Proceedings

All FLoC/VSL 2014 participants will receive a USB flash drive with all the conference proceedings. We encourage all workshops to have their proceedings added to the USB flash drive (without additional cost to the workshop organizers). For workshop-only registrants there is a small fee for the proceedings stick. The proceedings must be available at the USB proceedings deadline.

Please follow the following instructions to setup the proceedings at EasyChair.

  1.  Create Proceedings in EasyChair, if you have not done so. You can do so under the EasyChair menu tab displaying the acronym of your FLoC workshop, for example PCCR 2014, look for a link “Create proceedings”.
    • If your proceedings is published in the Springer LNCS/LNAI/ARCoSS series, please select “Springer LNCS” as the proceedings type.
    • If you would like to publish your proceedings in the EasyChair EPiC Series, please contact Andrei Voronkov at moc.voknorovnull@ierdna as soon as possible. He will assist you in creating an EPiC proceedings volume.
    • Otherwise, select “Simple” as the proceedings type. Simple proceedings require no processing meaning that only pdf files will be uploaded on EasyChair.
  2. Once you created the Proceedings menu on EasyChair, you can automatically select which papers should be added to the proceedings. Please add here all accepted papers, as well as invited papers. The authors of accepted and invited papers will automatically be notified that they have been added as Proceedings authors of your FloC workshop. Feel free to adjust and format this EasyChair notification email.
  3. Ask your authors to upload their final papers on EasyChair (if you have not done so yet). The strict deadline for final paper uploading is  June 11, 23:59 UK time. All papers should be uploaded on EasyChair by this date and time.
  4. Add volume editors using menu tabs Proceedings -> Managers.
  5. Click on “Contents” and edit the volume preface – it will appear on the flash drive too. Further, create table of contents, author and keyword index, they will be used too. Please note that you can (but don’t have to) edit author names and keywords.

Financial Issues

Workshops are strongly encouraged to find external financial support. This will be wholly their responsibility. Modest funding, based upon numbers of registrants, minus FLoC local expenses, will be made available to each workshop. Workshops are financially independent.

Each workshop participant will be charged approximately EUR 100 per workshop day. About half of this goes to FLoC/VSL (for space, coffee breaks, etc). The other half goes to the workshop organiser (for covering of invited speakers, workshop dinner, etc.). This amount will be provided to the workshop organiser on the first day of the workshop.

Here are more detailed figures (dates and numbers may be subject to change).

1-Day Workshops

  • Regular fee (by Une 8, 2014): EUR 100. Workshop organisers receive EUR 50.
  • Late fee (by June 30, 2014): EUR 120. Workshop organisers receive EUR 60.
  • Onsite fee: EUR 130. Workshop organisers receive EUR 65.
  • USB-flash drive: EUR 25

2-Day Workshops

  • Regular fee (by June 8, 2014): EUR 200. Workshop organisers receive EUR 100.
  • Late fee (by June 30, 2014): EUR 240. Workshop organisers receive EUR 120.
  • Onsite fee: EUR 260. Workshop organisers receive EUR 130.
  • USB-flash drive: EUR 25

Workshop participants who are registered for one of the VSL conferences will receive a USB-flash drive for free, so they do not need to purchase an extra drive for the workshop.

Registration Policy

Online registration is now open. The following principles apply to all the participants of events of the Vienna Summer of Logic (VSL),  including workshop organisers and invited workshop speakers.

  1. A person registered for a VSL event (conference or workshop) can attend any parallel VSL event on the same day.
  2. A person attending a VSL event is expected to be registered for that event or for a parallel VSL event on the same day.
  3. A speaker at a VSL event is expected to be registered at all days of this event, or other VSL events of the same stream (e.g., FLoC) on all days of this event.
  4. Participation in event-specific social activities is limited to those who are registered for that event.

Of course it is possible and encouraged to double register, this helps the workshops to cover their costs.

Daily Schedule

Each workshop day has the same form and consists of two morning sessions, separated by a 30 minutes coffee break, and two afternoon sessions, also separated by a 30 minutes coffee break. There will be a 90 minutes lunch break.

It is up to the workshop organizers to decide how a session is structured. Time and duration of coffee and lunch breaks, however, are fixed and apply to all workshops.

Contact Information

Questions regarding workshop proposals should be sent to the workshop chairs of conferences that are supposed to host the workshop (see above).

General questions should be sent to gro.riahcysaenull@wfc41colf.

FLoC 2014 Workshop Chair: Stefan Szeider, Vienna University of Technology.

Frequently Asked Questions (to be extended)

  1. Q: Can I submit a proposal for a workshop that is not affiliated with a FloC conference?
    A: No, you cannot. Every workshop needs to be affiliated with at least one of the 8 FLoC conferences.
  2. Q: I plant to submit a workshop proposal but do not know which conference is the most appropriate one. 
    A: Send an informal inquiry to the conference workshop chairs of the conferences that seem to fit best and ask for their advice.
  3. Q: My workshop is affiliated with several FLoC conferences. What is the purpose of a “primary hosting conference”?
    A: The purpose of a “primary hosting conference” is of organisational, not scientific. On the FLoC program, there will most likely be no distinction between primary and non-primary. However, there should be exactly one responsible FLoC conference (and FLoC conference workshop chair) that is responsible for communication with the workshop.
  4. Q: I will organize a solver competition. Can I also propose a workshop related to the competition?
    A: Yes, you can. Not every competition will run a workshop, but if you think there is material for a separate workshop (i.e., to discuss benchmarking issues, or approaches to solver evaluation, etc.), you could consider to submit a workshop proposal. You can also consult the FLoC Olympic Games page or contact the competition chair Thomas Krennwallner.
  5. Q: My workshop will have printed proceedings. Will the FloC/VSL organizers help to print the proceedings and distribute them to the workshop participants?
    A: No, we will not provide this service. However, we encourage you to make use of the centrally organized electronic proceedings.