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
FLoC 2010 hosted 64 workshops and we are looking forward to host a similar or even larger number of workshops in 2014.
Submission of Workshop Proposals
Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate at least one conference to be affiliated with, and among those exactly one primary hosting conference.
It is suggested that prospective workshop organizers contact the relevant conference Workshop Chair(s) before submitting a proposal.
Proposals should be submitted electronically to EasyChair at the following address:
http://www.easychair.org/conferences/?conf=floc14cfw (submission is now closed).
Proposals should consist of two parts. First, a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). A second, organizational part should include:
- contact information of the workshop organizers
- proposed primary hosting conference (and possibly other affiliated conference(s))
- estimate of the audience size
- proposed format and agenda (for example, paper presentations, tutorials, demo sessions, etc.)
- potential invited speakers
- procedures for selecting papers and participants
- plans for dissemination, if any (for example, special issues of journals)
- duration (which may vary from one day to two days) and
- preferred period
The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and subject to the availability of space and facilities.
- Submission of workshop proposals: by September 30, 2013
- Notification: November 13, 2013
- Easychair setup for accepted workshops: November 30, 2013
- USB Proceedings deadline: June 1, 2014
- Program deadline: TBA
- 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.
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). The proceedings must be available at the USB proceedings deadline.
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.
Each workshop participant will be charged approximately EUR 100 per workshop day (for full participants). 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.
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.
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)
- 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.
- 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.
- 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.
- 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.
- 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.