[TYPES/announce] ETAPS 2017 call for satellite events
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://www.etaps.org/2017/ Call for Satellite Events -- ABOUT ETAPS -- The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. Its twentieth edition, ETAPS 2017, will take place 23-29 April 2017 in Uppsala, Sweden. ETAPS 2017 main conferences, scheduled for 25-28 April, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FOSSACS: Foundations of Software Science and Computation Structures * POST: Principles of Security and Trust * TACAS: Tools and Algorithms for the Construction and Analysis of Systems -- SATELLITE EVENTS -- The ETAPS 2017 organizing committee invites proposals for satellite events (workshops) that will complement the main conferences. They should fall within the scope of ETAPS. This encompasses all aspects of the system development process, including specification, design, implementation, analysis and improvement, as well as the languages, methodologies and tools which support these activities, covering a spectrum from practically-motivated theory to soundly-based practice. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to theory and practice of software. ETAPS 2017 satellite events will be held immediately before and after the main conferences, on 23-24 April and 29 April. -- ARRANGEMENTS FOR SATELLITE EVENTS -- The organizers of an ETAPS 2017 satellite are expected to: * create and maintain a website for the event, * form a PC, produce a call for papers for the event (if appropriate), * advertise the event through specialist mailing lists etc. to complement the publicity of ETAPS, * review the submissions received and make acceptance decisions, * prepare an informal (pre)proceedings for the event (if appropriate), * prepare the event's program complying with any scheduling constraints defined by the ETAPS 2017 organizing committee, * prepare and organize the publication of a formal (post)proceedings (if desired). The ETAPS 2017 organizing committee will: * promote the event on the website and in the publicity material of ETAPS 2017, * integrate the event's program into the overall program of the conference, * arrange registration for the event as a component of registration for ETAPS, * collect a participation fee from the registrants, * produce a compilation USB memory stick of the informal (pre)proceedings of the satellite events of ETAPS 2017 and distribute this to the registrants, * provide the event with a meeting room of an appropriate size, A/V equipment, coffee breaks and possibly lunch(es). As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. -- SUBMISSION OF SATELLITE EVENT PROPOSALS -- Researchers and practitioners wishing to organize satellite events are invited to submit proposals to the workshop co-chairs Konstantinos Sagonas and Mohamed Faouzi Atig using the web form at http://www.etaps.org/2017/call-for-workshops . The following information is requested: * the name and acronym of the satellite event * the names and contact information of the organizers * the duration of the event: one or two days * the preferred period: 23 April, 24 April, 23-24 April or 29 April * the expected number of participants * a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2017 * a brief explanation of the event topic and its relevance to ETAPS * an explanation of the selection procedure of contributions to the event, the PC chair and members, if known already, information about past editions of the event, if applicable * any other relevant information, like a special event format, invited speakers, demo sessions, special space requirements, etc. * a tentative schedule for paper submission, notification of acceptance and final versions for the (informal pre-)proceedings (the ETAPS 2017 organizing committee will need the final files by the end of Feb. 2017) * the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue - EPTCS or elsewhere) The proposals will be evaluated by the ETAPS 2017 organizing committee on the basis of their assessed benefit for prospective participants of ETAPS 2017. Prospective organizers may wish to consult the web pages of
[TYPES/announce] NFM 2016 - third call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NFM 2016 - Call For Papers The 8th NASA Formal Methods Symposium http://crisys.cs.umn.edu/nfm2016 June 07 - June 09 2016 McNamara Alumni Center University of Minnesota 200 Oak Street S.E., Minneapolis, MN 55455 THEME OF THE SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and the industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. Similar challenges need to be addressed during development and deployment of on-board software for spacecraft ranging from small and inexpensive CubeSat systems to manned spacecraft like Orion, as well as for ground systems. The focus of the symposium will be on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. TOPICS OF INTEREST INCLUDE BUT ARE NOT LIMITED TO * Model checking * Theorem proving * SAT and SMT solving * Symbolic execution * Static analysis * Model-based development * Runtime verification * Software and system testing * Safety assurance * Fault tolerance * Compositional verification * Security and intrusion detection * Design for verification and correct-by-design techniques * Techniques for scaling formal methods * Applications of formal methods in the development of: * autonomous systems * safety-critical artificial intelligence systems * cyber-physical, embedded, and hybrid systems * fault-detection, diagnostics, and prognostics systems * Use of formal methods in: * assurance cases * human-machine interaction analysis * requirements generation, specification, and validation * automated testing and verification IMPORTANT DATES - Paper Submission:2/19/2016 - Paper Notifications: 4/8/2016 - Camera-ready Papers: 4/27/2016 - Symposium: 6/7 - 6/9/2016 LOCATION The symposium will take place at McNamara Alumni Center, University of Minnesota. Registration is required but is free of charge. SUBMISSION DETAILS There are two categories of submissions: 1. Regular papers describing fully developed work and complete results (maximum 15 pages) 2. Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages) All papers must be in English and describe original work that has not been published or submitted elsewhere. All submissions will be fully reviewed by at least three members of the Program Committee. Papers will appear in a volume of Springer's Lecture Notes in Computer Science (LNCS), and must use LNCS style formatting. Papers must be submitted in PDF format at the EasyChair submission site: https://easychair.org/conferences/?conf=nfm2016 Authors of selected best papers may be invited to submit an extended version to a special issue of the Journal of Automated Reasoning (Springer). ORGANIZING COMMITTEE - Michael Lowry, NASA Ames Research Center, USA (NASA Liaison) - Johann Schumann, SGT, Inc./NASA Ames Research Center, USA (General Chair) - Oksana Tkachuk, SGT, Inc./NASA Ames Research Center, USA (PC Chair) - Sanjai Rayadurgam, University of Minnesota, USA (PC Chair) - Mike Whalen, University of Minnesota, USA (Financial Chair) - Mats Heimdahl, University of Minnesota, USA (Local Arrangements Chair) PROGRAM COMMITTEE - Julia Badger, NASA Johnson Space Center, USA - Clark Barrett, New York University, USA - Saddek Bensalem, Verimag and University Joseph Fourier, France - Dirk Beyer, University of Passau, Germany - Borzoo Bonakdarpour, McMaster University, Canada - Alessandro Cimatti, FBK, Italy - Darren Cofer, Rockwell Collins, Inc., USA - Myra Cohen, University of Nebraska-Lincoln, USA - Misty Davies, NASA Ames Research Center, USA - Leonardo de Moura, Microsoft, USA - Ben Di Vito, NASA Langley Research Center, USA - Alexandre Duret-Lutz, LRDE / EPITA, France - Andrew Gacek, Rockwell Collins, Inc., USA - Pierre-Loic Garoche, ONERA, France - Shalini Ghosh, SRI International, USA - Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France -
[TYPES/announce] Extended deadline: GaLoP 2016
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We're a bit short of submissions for GaLoP so we're extending the deadline to 3 February. This is an area with lots of connections to different fields, so if you're doing anything related, then please use the workshop as an opportunity to share it with the community. Work in progress is very much welcome. Also I can now confirm our invited speakers: they are Cormac Flanagan of the University of California, Santa Cruz, and John Longley of the University of Edinburgh. Best regards, Paul --- 11th Workshop on Games for Logic and Programming Languages (GaLoP 2016) Eindhoven, Netherlands, 2-3 April http://www.gamesemantics.org GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials. GaLoP XI will be held in Eindhoven, Netherlands, on 2-3 April 2016 as a satellite workshop of ETAPS (http://www.etaps.org/). Areas of interest include: * Games and other interaction-based denotational and operational models; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics; * Games and multi-valued logics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered. (The 2005, 2008, 2011 and 2014 workshops led to special issues in Annals of Pure and Applied Logic.) // Submission Instructions // Please submit either a text abstract or a PDF of up to one page, excluding bibliography, of your proposed talk on the easychair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://easychair.org/conferences/?conf=galop2016 // Important Dates // Submission: 3 February 2016 *Extended deadline* Notification: 10 February 2016 Workshop: 2-3 April 2016 // Invited talks // Cormac Flanagan (University of California, Santa Cruz) John Longley (University of Edinburgh) // Program Committee // Valentin Blot, Bath Radha Jagadeesan, DePaul Paul Levy, Birmingham (chair) Andrzej Murawski, Warwick Myriam Quatrini, Aix-Marseille Sylvain Salvati, Inria Takeshi Tsukada, Tokyo