[TYPES/announce] ETAPS 2017 call for satellite events

2016-01-27 Thread Tarmo Uustalu
[ 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

2016-01-27 Thread Klaus Havelund
[ 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

2016-01-27 Thread Paul Blain Levy

[ 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