From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8833 Path: news.gmane.org!not-for-mail From: msteffen@ifi.uio.no (Martin Steffen) Newsgroups: gmane.science.mathematics.categories Subject: Last Call for Workshop Proposals at FM2016 (21st Intl. Symposium on Formal Methods); 07.-11. Nov. 2016, Limassol, Cyprus) Date: Mon, 22 Feb 2016 16:49:09 +0100 Message-ID: Reply-To: msteffen@ifi.uio.no (Martin Steffen) NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1456232720 8643 80.91.229.3 (23 Feb 2016 13:05:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 23 Feb 2016 13:05:20 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Feb 23 14:05:15 2016 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aYCeR-0004UO-7a for gsmc-categories@m.gmane.org; Tue, 23 Feb 2016 14:05:15 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45376) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1aYCcz-0004FE-VK; Tue, 23 Feb 2016 09:03:45 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1aYCcs-0005kn-8q for categories-list@mlist.mta.ca; Tue, 23 Feb 2016 09:03:38 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8833 Archived-At: ------------------------------------------------------------------------ ----------------------------------- FM 2016 ---------------------------- ------------------------------------------------------------------------ FM 2016: 21st International Symposium on Formal Methods Limassol, Cyprus, 7-11 November 2016 fm2016.cs.ucy.ac.cy -----------------==: CALL FOR WORKSHOP PROPOSALS :==------------------ ------------------------------------------------------------------------ Deadline for workshop proposals: 18 March 2016 Notification of decision on workshops: 4 April 2016 ------------------------------------------------------------------------ 1 ABOUT FM 2016 =============== The 21st International Symposium on Formal Methods (FM 2016) will take place at St Raphael Resort in Limassol, Cyprus, 7-11 November 2016. FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software. The symposia have been notably successful in bringing together researchers and industrial users around a programme of original papers on research and industrial experience, workshops, tutorials, reports on tools, projects, and ongoing doctoral work. 2 WORKSHOP PROPOSALS ==================== For this major event, we are now inviting proposals for workshops that will complement the main FM Symposium. 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. FM workshops will be held immediately before the main symposium, on 7-8 November, 2016. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organize a workshop are invited to submit proposals in PDF format by e-mail to the Workshops Chairs Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen (msteffen@ifi.uio.no). A proposal should not exceed three pages and should include a draft call-for-papers containing at least the following information: 1. Title and brief technical description of the workshop, specifying the goals and the technical issues that will be its focus. 2. The names and contact information (web page, email address) of the Programme Committee (PC) chairs, i.e., the workshop organisers. Moreover, a tentative list of workshop PC members should be given. We suggest one or two PC chairs and at least 10 PC members coming from different countries. Moreover, the following additional information is requested: 1. 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 instalment. 2. A discussion of the proposed format and agenda. 3. The proposed duration (half, one or two days). 4. Procedures for selecting participants and papers. 5. Potential invited speakers. 6. Expected number of participants. Each workshop programme chair will be responsible for the following: 1. Producing a web page and a "Call for Papers/Participation" for their workshop. 2. 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. 3. Selecting the papers for the workshop proceedings and providing the camera ready copies ready for publication. 4. All advertising of the workshop. 5. 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. 4 Contact ========= Please send your proposals and/or any inquiries by electronic mail to the Workshops Chairs Nearchos Paspallis (npaspallis@uclan.ac.uk) and Martin Steffen (msteffen@ifi.uio.no): 5 IMPORTANT DATES ================= 1. Deadline for workshop proposals: 18 March 2016 2. Notification of decision on workshops: 4 April 2016 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]