Call for Workshops Proposals
* DisCoTec 2015 * 10th International Federated Conference on Distributed Computing Techniques http://discotec2015.inria.fr/
June 2-5, 2015
DisCoTec 2015 invites proposals for one-day workshops to be part of the joint event. DisCoTec 2015 hosts conferences in the area of coordination languages, distributed systems, and formal methods for distributed systems, ranging from practice to theory. We invite workshops in these areas to provide a vivid and open forum for discussions, presentations of preliminary research results and ongoing work as well as presentations of research work to a focused audience. One-day workshops will be held in conjunction with the main events. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshops chair (Sophie Quinton) if any questions arise.
* Important Dates *
December 5, 2014 Workshop proposal deadline
December 19, 2014 Workshop proposal notification
June 2-4, 2015 Main conferences
June 5, 2015 Workshops
Submission and notification deadlines of the workshops are at the discretion of the individual workshop organizers, however notification must be no later than the early registration deadline for DisCoTec.
* Proposal Submission Guidelines *
Workshop proposals must be written in English, not exceed 5 pages with reasonable font and margin, and be submitted in PDF format via email to Sophie Quinton (sophie.quinton AT inria.fr).
Proposals should include the following information:
- The title, theme, and goals of the workshop.
- The targeted audience and the expected number of participants. We prefer that workshops remain open to participation from any members of the community, but by-invitation-only workshops will also be considered. Please explicitly state your preference.
- The publicity strategy that will be used by the workshop organizers to promote the workshop.
- The participant solicitation and selection process.
- Publication plan. Each workshop is responsible for managing its own publication (e.g., pre- and/or post- proceedings), if any is desired.
- Approximate budget proposal (see Budget section below for details).
- A preliminary version of the call for papers, which must include important dates (e.g. submission, notification, and camera-ready deadlines).
- The equipment and any other resource necessary for the organization of the workshop; and whether a poster session is planned.
- A brief description of the organizer’s background, including relevant past experience on organizing workshops and contact information.
* Review Process *
Workshop proposals will be reviewed by the following committee:
- Alain Girault, INRIA Grenoble, France (general chair)
- Sophie Quinton, INRIA Grenoble, France (workshops chair)
- Jean-Bernard Stefani, INRIA Grenoble, France (member, DisCoTec Steering Committee)
Acceptance will be based on an evaluation of the workshop’s potential for generating useful results, the timeliness and expected interest in the topics, the organizer’s ability to lead a successful workshop, and potential for attracting participants.
* Workshop Publicity *
Workshop publicity is responsibility of the workshop organizers. In particular they are in charge of
1. Providing a workshop description (200 words) for inclusion on the DisCoTec 2015 website.
2. Hosting and maintaining web pages either on the DisCoTec 2015 website or linked from it.
3. Editing workshop proceedings, if any.
4. Publicising the event.
* Budget *
DisCoTec 2015 will provide registration and organizational support for the workshops. Registration fees must be paid for all participants, including organizers and invited guests. To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (to be determined). Each workshop may increase this fee to cover additional expenses such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by the DisCoTec organizers as part of the registration and will be used to cover the expenses of each workshop as agreed with the workshop organizers.
* Contact Information *
Sophie Quinton (sophie.quinton AT inria.fr)
The 20th International Symposium on Formal Methods (FM 2015)
Oslo, Norway, June 22-26, 2015.
For this major event, we are inviting people to submit proposals for workshops.
The purpose of the workshops is to provide an informal setting for workshop participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These workshops may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of workshops relating to different varieties of formal models. We also explicitly welcome satellite events in a non-traditional format, such as formal methods-related competitions.
All workshop proposals must be written in English.
Proposals for workshops should be no more than 3 pages in length and submitted to the Workshops chairs before November 14, 2014 (see below).
A workshop proposal should include a draft call-for-papers containing at least the following information:
- Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus.
- The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers.
- A tentative list of workshop PC members. We suggest one or two PC chairs and at least 10 PC members coming from different countries.
Moreover, the following additional information is requested:
- If the workshop has taken place before:
- How often has the workshop taken place so far?
- Which conference(s) has the workshop been colocated with so far?
- Number of participants in the last installment.
- A discussion of the proposed format and agenda.
- The proposed duration (half, one or two days).
- Procedures for selecting participants and papers.
- Potential invited speakers.
- Expected number of participants.
Each workshop programme chair will be responsible for the following:
- Producing a web page and a "Call for Papers/Participation" for their workshop.
- Providing a brief description of the workshop for the conference web page and programme, and providing a workshop web page the conference can refer to for details.
- Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication.
- All advertising of the workshop beyond web page advertising.
- Appointing session chairs, etc.
The local organisation of the conference will take care of the production of informal or electronic workshop proceedings, assuming that the proceedings are camera ready.
Submission of Workshop Proposals
Proposals should be submitted as a PDF file. Please send your proposals and any inquiries by electronic mail to the Workshop chairs:
Dates
- Deadline for workshop proposals: November 14, 2014
- Notification of decision on workshops: November 28, 2014