Joint Call for Papers
ETAPS 2016 Satellite Workshops
Eindhoven, The Netherlands, 2-3 and 8 April 2016
http://www.etaps.org/2016/workshops
ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the primary European forum for academic and industrial
researchers working on topics relating to Software Science. The
nineteenth edition, ETAPS 2016, will take place in Eindhoven, The
Netherlands, 2-8 April 2016, and covers besides the main conferences
ESOP, FASE, FOSSACS, POST and TACAS, a large number of satellite
workshops and other events in the fields of Software Engineering,
Formal Methods, Logics of Programs and the Theory of Computation.
This is the joint call for papers for ETAPS 2016 for 21 satellite
workshops with open calls.
ETAPS satellite workshops will take place in the weekend of
Saturday-Sunday, 2-3 April, before the ETAPS main conferences, and on
Friday, 8 April, after them. For more information on ETAPS 2016, see
http://www.etaps.org/2016/.
Bx 2016: 5th International Workshop on Bidirectional Transformations,
8 April, organized by Anthony Anjorin, Jeremy Gibbons, and Perdita
Stevens. Submission deadlines: abstracts 13 January / papers 20
January. See http://bx-community.wikidot.com/bx2016:home.
CASSTING 2016: Workshop on Games for the Synthesis of Complex Systems,
2-3 April, organized by Thomas Brihaye and Nicolas Markey. Submission
deadlines: papers 15 January; presentation extended abstracts 8
February. See http://www.cassting-project.eu/workshop2016/.
CMCS 2016: 13th International Workshop on Coalgebraic Methods in
Computer Science, 2-3 April, organized by Ichiro Hasuo. Submission
deadlines: abstracts 4 January / papers 13 January; short
contributions 22 February. See http://www.coalg.org/cmcs16/.
CREST 2016: 1st Workshop on Causal Reasoning for Embedded and
safety-critical Systems Technologies, 8 April, organized by Gregor
Gößler, Oleg Sokolsky. Submission deadlines: abstracts 10 January /
papers 17 January. See http://crest2016.inria.fr/.
DICE 2016: 7th International Workshop on Developments in Implicit
Computational complExity, 2-3 April, organized by Damiano
Mazza. Submission deadline: extended abstracts 31 January. See
https://lipn.univ-paris13.fr/DICE2016/.
FESCA 2016: 13th International Workshop on Formal Engineering
approaches to Software Components and Architectures, 3 April,
organized by Jan Kofroň, Jana Tumova, Barbora Buhnova. Submission
deadlines: abstracts 4 January / papers 14 January. See
http://d3s.mff.cuni.cz/conferences/fesca/.
FMSPLE 2016: 7th International Workshop on Formal Methods and Analysis
in Software Product Line Engineering, 3 April, organized by Julia
Rubin, Thomas Thüm. Submission deadlines: abstracts 18 January /
papers 25 January. See
https://www.tu-braunschweig.de/isf/events/fmsple16.
GaLoP 2016: Games for Logic and Programming Languages XI, 2-3 April,
organized by Paul Levy. Submission deadline: 1-page abstracts 25
January. See http://www.gamesemantics.org/.
GaM 2016: 2nd Graphs as Models Workshop, 2-3 April, organized by Anton
Wijs, Aleks Kissinger, and Alexander Heußner. Submission deadline:
papers, informal presentation and tool demos abstracts 15 January. See
http://gam2016.swt-bamberg.de/.
HCVS 2016: 3rd Workshop on Horn Clauses for Verification and
Synthesis, 3 April, organized by John Gallagher and Philipp
Rümmer. Submission deadlines: abstracts 25 January / papers,
presentation extended abstracts 1 February. See
http://hcvs2016.it.uu.se/.
HotSpot 2016: 4th Workshop on Hot Issues in Security Principles and
Trust, 3 April, organized Veronique Cortier. Submission deadline:
papers 8 January. See
http://www.loria.fr/~cortier/HotSpot2016/.
MBT 2016: 11th Workshop on Model-Based Testing, 3 April, organized by
Alexander K. Petrenko, Holger Schlingloff, and Nikolay Pakulin.
MSFP 2016: 6th Workshop on Mathematically Structured Functional
Programming, 8 April, organized by Robert Atkey and Neelakantan
Krishnaswami. Submission deadlines: abstracts 10 January / papers 17
January. See http://msfp2016.bentnib.org/.
PLACES 2016: 9th Workshop on Programming Language Approaches for
Concurrency and Communication-cEntric Software, 8 April, organized by
Dominic Orchard and Nobuko Yoshida. Submission deadlines: abstracts 8
January / extended abstracts 15 January. See
http://places16.by.di.fc.ul.pt.
QAPL 2016: 14th International Workshop on Quantitative Aspects of
Programming Languages and Systems, 2-3 April, organized by Mirco
Tribastone and Herbert Wiklicky. Submission deadline: papers 18
January. See http://qapl16.doc.ic.ac.uk/.
RAC 2016: First international workshop on Resource Aware Computing, 2
April, organized by Kerstin Eder and Marko van Eekelen. Submission
deadline: papers 11 January. See
http://resourceanalysis.cs.ru.nl/rac2016/.
SynCop 2016: 3rd International Workshop on Synthesis of Complex
Parameters, 3 April, organized by Étienne André and Benoît
Delahaye. Submission deadlines: abstracts 10 January / papers 17
January. See http://lipn.univ-paris13.fr/SynCoP2016/.
TermGraph 2016: 9th International Workshop on Computing with Terms and
Graphs, 8 April, organized by Andrea Corradini and Hans
Zantema. Submission deadline: extended abstracts 8 February. See
http://www.win.tue.nl/~hzantema/tg.html.
VerifyThis 2016: 5th Verification Competition, 2 April, organized by
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, and Peter
Müller. See http://etaps2016.verifythis.org/.
VPT 2016: 4th International Workshop on Verification and Program
Transformation, 2 April, organized by Geoff Hamilton, Andrei Nemytykh,
and Alexei Lisitsa. Submission deadlines: abstracts 11 January / papers
18 January. See http://refal.botik.ru/vpt/vpt2016/.
WRLA 2016: 11th International Workshop on Rewriting Logic, 2-3 April,
organized by Dorel Lucanu. Submission deadlines: abstracts 6 January /
papers 10 January. See
http://fmse.info.uaic.ro/events/WRLA2016/.
ETAPS 2016 workshops chair: Erik de Vink, TU Eindhoven
NFM 2016 – Second 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
- Radu Grosu, Stony Brook University, USA
- Arie Gurfinkel,SEI, Carnegie Mellon University, USA
- Klaus Havelund, NASA Jet Propulsion Laboratory, USA
- Constance Heitmeyer, Naval Research Laboratory, USA
- Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
- Falk Howar, TU Clausthal / IPSSE, Germany
- Rajeev Joshi, NASA Jet Propulsion Laboratory, USA
- Dejan Jovanović, SRI International, USA
- Gerwin Klein, NICTA and University of New South Wales, Australia
- Daniel Kroening, University of Oxford, UK
- Rahul Kumar, NASA Jet Propulsion Laboratory, USA
- Célia Martinie, ICS-IRIT, Université Paul Sabatier, France
- Eric Mercer, Brigham Young University, USA
- Cesar Munoz, NASA Langley Research Center, USA
- Jorge A Navas, SGT, Inc./NASA Ames Research Center, USA
- Natasha Neogi, NASA Langley Research Center, USA
- Ganesh Pai, SGT, Inc./NASA Ames Research Center, USA
- Charles Pecheur, Université catholique de Louvain, Belgium
- Lee Pike, Galois, Inc., USA
- Andreas Podelski, University of Freiburg, Germany
- Pavithra Prabhakar, Kansas State University, USA
- Venkatesh Prasad Ranganath, Kansas State University, USA
- Franco Raimondi, Middlesex University, UK
- Kristin Yvonne Rozier, University of Cincinnati, USA
- Neha Rungta, SGT, Inc./NASA Ames Research Center, USA
- Oleg Sokolsky, University of Pennsylvania, USA
- Stefano Tonetta, FBK, Italy
- Helmut Veith, Vienna University of Technology, Austria
- Willem Visser, Stellenbosch University, South Africa
- Virginie Wiels, ONERA / DTIM, France
- Guowei Yang, Texas State University, USA
STEERING COMMITTEE
- Julia Badger, NASA Johnson Space Center, USA
- Ben Di Vito, NASA Langley Research Center, USA
- Klaus Havelund, NASA Jet Propulsion Laboratory, USA
- Gerard Holzmann, NASA Jet Propulsion Laboratory, USA
- Michael Lowry, NASA Ames Research Center, USA
- Kristin Yvonne Rozier, University of Cincinnati, USA
- Johann Schumann, SGT, Inc./NASA Ames Research Center, USA
Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
The sixth workshop on Mathematically Structured Functional Programming
is devoted to the derivation of functionality from structure. It is a
celebration of the direct impact of Theoretical Computer Science on
programs as we write them today. Modern programming languages, and in
particular functional languages, support the direct expression of
mathematical structures, equipping programmers with tools of remarkable
power and abstraction. Where would Haskell be without monads? Functional
reactive programming without temporal logic? Call-by-push-value without
adjunctions? The list goes on. This workshop is a forum for researchers
who seek to reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS 2014.
Important Dates:
================
Abstract 10th January 2016
Submission 17th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016
Invited Speakers:
=================
To be announced.
Program Committee:
==================
Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Ornela Dardha, University of Glasgow
Helle Hvid Hansen, Delft University of Technology
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Nicolas Wu, University of Bristol
Submission:
===========
Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the workshop by one of the authors, and will
be published under the auspices of EPTCS under a Creative Commons
license.
There is no specific page limit, but authors should strive for brevity.
10th International Symposium on Theoretical Aspects of Software Engineering
Call for Papers
TASE 2016
July 17-19, 2016, Shanghai, China
http://tase2016.ecnu.edu.cn
* We are pleased to announce that the authors of selected papers will be
invited after the symposium to submit an extended version to a special issue
at Science of Computer Programming (SCP).
* Important dates
Abstract research paper 10 January 2016
Submission research paper 17 January 2016
Author notification 20 March 2016
Camera ready copy 10 April 2016
* Objectives and scope
TASE is an international symposium that aims to bring together researchers
and developers from academia and industry with interests in the theoretical
aspects of software engineering. Modern society is increasingly dependent on
software systems that are becoming larger and more complex. This poses new
challenges to current software engineering methodologies that need to be
enhanced using modern results from theoretical computer science.
We invite submissions of research papers on topics covering all theoretical
aspects of software engineering, including, but not limited to, the
following:
+ Abstract interpretation
+ Algebraic and co-algebraic specifications
+ Aspect oriented software
+ Component-based systems
+ Cyber-physical systems
+ Deductive verification
+ Distributed and concurrent systems
+ Embedded and real-time systems
+ Feature-oriented software
+ Formal verification and program semantics
+ Integration of formal methods
+ Language design
+ Model checking and theorem proving
+ Object-oriented systems
+ Program logics and calculi
+ Quantum computation
+ Run-time verification and monitoring
+ Service-oriented and cloud computing
+ Software architecture
+ Software testing and quality assurance
+ Software security and reliability
+ Static analysis of programs
+ Type systems and behavioural typing
+ Tools exploiting theoretical results
* Venue and event
TASE 2016 will be held on the campus of the East China Normal University in
Shanghai, China, on 17 - 19 July 2016.
* Keynote speakers
Christel Baier (Technical University of Dresden, DE)
Ana Cavalcanti (University of York, UK)
Jifeng He (East China Normal University, CN)
* General chairs W. Eric Wong (The University of Texas at Dallas, USA)
Huibiao Zhu (East China Normal University, China)
* PC chairs
Marcello Bonsangue (Leiden University, NL)
Yuxin Deng (East China Normal University, CN)
* Publicity chairs
Frederic Mallet (University of Nice Sophia Antipolis, FR)
Min Zhang (East China Normal University, CN)
* Programme committee
Erika Abraham (RWTH Aachen University, DE)
Bernhard Aichernig (Graz University of Technology, AT)
Elvira Albert (Complutense University of Madrid, ES)
Davide Ancona (University of Genova, IT)
Farhad Arbab (CWI, NL)
Luis Barbosa (University of Minho, PT)
Richard Bubel (Technical University of Darmstadt, DE)
Andrew Butterfield (Trinity College Dublin, IE)
Marco Carbone (IT University of Copenhagen, DK)
Rocco de Nicola (IMT-Institute for Advanced Studies, IT)
Zhenhua Duan (Xidian University, CN)
Yuxi Fu (Shanghai Jiao Tong University, CN)
Stefania Gnesi (ISTI-CNR, IT)
Hai-Feng Guo (University of Nebraska at Omaha, USA)
Zhenjiang Hu (National Institute of Informatics, JP)
Marieke Huisman (University of Twente, NL)
Dang Van Hung (Vietnam National University, VT)
Einar Broch Johnsen (Oslo University, NO)
Laura Kovacs (Chalmers University of Technology, SE)
Dexter Kozen (Cornell University, US)
Xuandong Li (Nanjing University, CN)
Shaoying Liu (Hosei University, JP)
Zhiming Liu (Birmingham City University, UK)
Antonia Lopes (University of Lisbon, PT)
Frederic Mallet (University of Nice Sophia Antipolis, FR)
Carroll Morgan (University of New South Wales, AU)
Mohammad Reza Mousavi (Halmstad University, SE)
Catuscia Palamidessi (INRIA, FR)
Jun Pang (University of Luxembourg, LU)
Luigia Petre (Abo Akademi University, FI)
Shengchao Qin (Teesside University, UK)
Zongyan Qiu (Peking University, CN)
Gerardo Schneider (Chalmers University of Technology, SE)
Emil Sekerinski (McMaster University, CA)
Georg Struth (University of Sheffield, UK)
Jing Sun (University of Auckland, NZ)
Jun Sun (Singapore University of Technology and Design, SG)
Jean Pierre Talpin (INRIA, FR)
Andrzej Tarlecki (Warsaw University, PL)
Viktor Vafeiadis (MPI-SWS, DE)
Chao Wang (Virginia Tech, US)
Yi Wang (Uppsala University, SE)
Heike Wehrheim (University of Paderborn, DE)
W. Eric Wong (The University of Texas at Dallas, US)
Lijun Zhang (Chinese Academy of Sciences, CN)
Min Zhang (East China Normal University, CN)
Huibiao Zhu (East China Normal University, CN)
* Steering Committee:
Keijiro Araki (Kyushu University, JP)
Jifeng He (East China Normal University, CN)
Michael Hinchey (Lero, IE)
Shengchao Qin (Teesside University, UK)
Huibiao Zhu (East China Normal University, CN)
* Submission guidelines
We solicit contributions that describe original and unpublished research,
and should not be submitted for publication elsewhere. They are limited to 8
pages, must be written in English, and the format should adhere to the A4
double column IEEE style. Please prepare your manuscripts with respect to
the IEEE guidelines. Papers should be submitted electronically as a PDF file
via the Easychair system at
http://www.easychair.org/conferences/?conf=tase2016.
The proceedings of the TASE 2016 symposium will include all accepted papers
and will be published by the IEEE Computer Society Press. The authors of
selected papers will be invited after the symposium to submit an extended
version to a journal special issue Sicence of Computer Programming.
Call for Papers
UTP 2016
6th International Symposium on Unifying Theories of Programming
June 45, 2016, Reykjavík, Iceland, Co-located with iFM 2016
http://utp2016.ecnu.edu.cn
Overview
Interest in the fundamental problem of the combination of formal notations
and theories of programming has grown consistently in recent years. The
theories define, in various different ways, many common notions, such as
abstraction, refinement, choice, termination, feasibility, locality,
concurrency and communication. Despite these differences, such theories may
be unified in a way which greatly facilitates their study and comparison.
Moreover, such a unification offers a means of combining different languages
describing various facets and artifacts of software development in a
seamless, logically consistent way.
Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged
as one of the most significant such unification approaches. Based on their
pioneering work, the aims of the UTP Symposium series are to reaffirm the
significance of the ongoing UTP project and to stimulate efforts to advance.
The Symposium provides a focus for the sharing of results by those already
actively contributing, and raises awareness of the benefits of such unifying
theoretical frameworks among the wider computer science and software
engineering communities.
To this end the Symposium welcomes contributions on all the themes that can
be related to the Unifying Theories of Programming.
Venue and Event
UTP 2016 will be held at Reykjavík, Iceland on 4 - 5 June 2016, co-located
with iFM 2016.
Important Dates
Abstracts due: 19 February, 2016
Papers due: 4 March, 2016
Author notification: 15 April, 2016
Camera-ready for pre-proceedings: 29 April, 2016
Symposium: 4-5 June, 2016
Invited Speakers
Tony Hoare (Microsoft Research, Cambridge, UK)
Jifeng He (East China Normal University, China)
PC Chairs
Jonathan Bowen (London South Bank University)
Huibiao Zhu (East China Normal University)
Programme Committee:
Ana Cavalcanti, University of York, United Kingdom.
Yifeng Chen, Peking University, China.
Andrew Butterfield, Trinity College Dublin, Ireland.
Jeremy Gibbons, University of Oxford, United Kingdom.
Lindsay Groves, Victoria University of Wellington, New Zealand.
Walter Guttmann, University of Canterbury, New Zealand.
Ian Hayes, University of Queensland, Austria.
Jeremy Jacob, University of York, United Kingdom.
Zhiming Liu, Birmingham City University, United Kingdom.
David Naumann, Stevens Institute of Technology, USA.
Marcel Oliveira, Universidade Federal do Rio Grande do Norte, Brazil.
Shengchao Qin, Teesside University, United Kingdom.
Georg Struth, University of Sheffield, United Kingdom.
Jun Sun, Singapore University of Technology and Design, Singapore.
Meng Sun, Peking University, China.
Burkhart Wolff, University of Paris-Sud, France.
Naijun Zhan, Chinese Academy of Sciences, China.
Yongxin Zhao, East China Normal University, China.
Frank Zeyda, Teesside University, United Kingdom.
Submissions
Papers may be up to 20 pages in length and should be prepared using LaTeX in
Springer LNCS paper format. Submissions should be made through the UTP 2016
EasyChair site,
https://www.easychair.org/conferences/?conf=utp2016 .
Publication
Symposium post-proceedings will appear in Springer's Lectures Notes in
Computer Science, as in past editions of the Symposium.
Previous UTP Symposia
UTP 2016 is the 6th symposium in the UTP series. The past UTP symposia were
successfully held in Durham ('06), Dublin ('08), Shanghai ('10), Paris
('12), Singapore ('14).
(Apologies for multiple copies of this announcement)
==============================================================
11th Workshop on Logical and Semantic Frameworks, with Applications
25-26 June 2016, Porto, Portugal
Satellite event of FSCD 2016
http://lsfa2016.mat.unb.br/ <http://lsfa2016.mat.unb.br/>
Logical and semantic frameworks are formal languages used to represent logics,
languages and systems. These frameworks provide foundations for the formal specification
of systems and programming languages, supporting tool development and reasoning.
LSFA 2016 aims to be a forum for presenting and discussing work in progress,
and therefore to provide feedback to authors on their preliminary research. The
proceedings are produced after the meeting, so that authors can incorporate this
feedback in the published papers.
LSFA 2016 will be a satellite event of FSCD 2016 taking place in Porto, Portugal
during 25-26 June 2016. Previous editions took place in Natal (2015), Brasília (2014),
Sao Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal (2010),
Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal (2006).
TOPICS OF INTEREST
Topics of interest to this forum include, but are not limited to:
* Automated deduction
* Applications of logical and/or semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and/or semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory
SUBMISSION AND PUBLICATION
Contributions should be written in English and submitted in the form of full
papers with a maximum of 16 pages including references or short papers
with a maximum of 6 pages including references. Additional technical material
can be provided in a clearly marked appendix which will be read by reviewers at
their discretion. Contributions must also be unpublished and not submitted
simultaneously for publication elsewhere. The papers should be prepared in LaTeX
using ENTCS style. The submission should be in the form of a PDF file uploaded
to Easychair:
https://easychair.org/conferences/?conf=lsfa2016 <https://easychair.org/conferences/?conf=lsfa2016>
The workshop pre-proceedings, containing the reviewed extended abstracts, will
be handed-out at workshop registration. After the workshop the authors of both
full and short papers will be invited to submit full versions of their works for
the post-proceedings to be published in ENTCS. At least one of the authors should
register for the conference. Presentations should be in English.
* Submission: February 29th 2016
* Notification: April 22nd 2016
* Final pre-proceedings version due: May 8th 2016
* LSFA 2016 25-26 June 2016
According to the quality of proceedings, authors will/would/might be invited to
submit an improved version of their paper for a special issue. Previous LSFA special issues
have been published in journals such as J. IGPL and TCS (see http://lsfa.cic.unb.br <http://lsfa.cic.unb.br/>).
INVITED SPEAKERS
* Gilles Barthe (IMDEA Software Institute, Spain)
* Luis Caires (Universidade Nova de Lisboa, Portugal)
* Kaustuv Chaudhuri (Inria/École Polytechnique, France)
* João Marques Silva (Instituto Superior Técnico, Portugal)
PROGRAMME COMMITTEE
* Vivek Nigam (Universidade Federal de Paraíba) - co-chair
* Mário Florido (Universidade do Porto) - co-chair
* Mauricio Ayala-Rincon (Universidade de Brasília)
* María Alpuente (Universitat Politecnica de Valencia)
* David Baelde (ENS Cachan)
* Maribel Fernández (King's College London)
* Marcelo Finger (Universidade de São Paulo)
* Marco Gaboardi (University of Dundee)
* Mateu Villaret (Universitat de Girona)
* Silvia Ghilezan (University of Novi Sad)
* Martin Hofmann (Ludwig-Maximilians-Universität)
* Temur Kutsia (RISC- Johannes Kepler University Linz)
* Bjoern Lellmann (TU Vienna)
* Ian Mackie (Ecole Polytechnique)
* João Marcos (Univ. Federal Rio Grande do Norte)
* Cláudia Nalon (Universidade de Brasilia)
* Frank Pfenning (Carnegie Mellon University)
* Elaine Pimentel (Univ. Federal Rio Grande do Norte)
* Jose Nuno Oliveira (Universidade do Minho)
* Ruy De Queiroz (Univ. Federal de Pernambuco)
* Giselle Reis (Inria-École Polytechnique)
* Camilo Rocha (Escuela Colombiana de Ingeniería)
* Alexandra Silva (University College London)
* Kazushige Terui (Kyoto University)
* René Thiemann (University of Innsbruck)
ORGANISING COMMITTEE
* Daniele Nantes Sobrinho (Universidade de Brasília)
CONTACT
* lsfa2016(a)easychair.org <mailto:lsfa2016@easychair.org>
* http://lsfa2016.mat.unb.br/ <http://lsfa2016.mat.unb.br/>
/************************************************************************************/
ACM Conference on Systems, Programming, Languages, and Applications:
Software for Humanity (SPLASH'16)
Amsterdam, The Netherlands
30th of October - 4th of November 2016
http://2016.splashcon.org
Sponsored by ACM SIGPLAN
/************************************************************************************/
CALL FOR WORKSHOP PROPOSALS
Early Deadline: January 15th, 2016
Late Deadline: March 4th, 2016
/************************************************************************************/
# SPLASH'16 Call for Workshop Proposals
Following its long-standing tradition, SPLASH 2016 will host a variety of
high-quality workshops, allowing their participants to meet and discuss
research questions with peers, to mature new and exciting ideas, and to
build up communities and start new collaborations. SPLASH workshops
complement the main tracks of the conference and provide meetings in a
smaller and more specialized setting. Workshops cultivate new ideas and
concepts for the future, optionally recorded in formal proceedings.
# SUBMISSION SUMMARY
Early Submissions Due: January 15, 2016
Notification: February 12, 2016
Late Submissions Due: March 4, 2016
Notification: April 1, 2016
Format: ACM SIGPLAN Proceedings format
Submit to: https://splash16workshops.hotcrp.com/
Chairs: Jan Rellermeyer and Craig Anslow
Contact: workshops(a)splashcon.org
** Please note the earlier submission deadline than in previous years. **
### TOPICS
We encourage proposals for workshops on any topic relevant to SPLASH. If
there is a topic relevant to SPLASH that you feel passionate about, and you
want to connect with others who have similar interests, you should consider
submitting a proposal to organize a workshop! The exact format of the
workshop can be defined by the proposal submitters, and we more than
welcome new, and unconventional ideas for workshop formats. The following
suggestions may serve as a starting point:
Mini-conferences provide their participants the possibility to present
their work to other domain experts. The smaller and more specialized
setting of the workshop allows for more extensive Q&A sessions and
facilitates ample discussions, which may continue after the workshop.
Typically, presentations of work-in-progress as well as of completed
projects are welcome. The workshop may or may not produce formal
proceedings.
Retreats act as a platform for domain experts to gather with the purpose of
tackling the issues of a predetermined research agenda. Retreats are highly
interactive and goal-oriented, allowing their participants to address open
challenges in their domain, to explore new, uncharted ideas, and to (maybe
even) uncover new, promising research domains.
Agenda-setting workshops provide a forum for domain experts to determine a
research agenda for a sub-field, and may include collaborations on an
agenda document that is published after the workshop is over.
Other common activities at workshops include poster sessions, hands-on
practical work, and focus groups. Proposal submitters should feel free to
direct questions about workshop formats to the workshop chairs. Workshops
that include presentation of research papers, and that implement a
SIGPLAN-approved selection process, may be archived as formal proceedings
in the ACM Digital Library; note that this option is available only to
submitters to the early phase.
# WORKSHOP SELECTION
### Reviewing Phases
This year, SPLASH provides two submission phases to accommodate different
schedules, a early round in January and a late round of proposals in March.
Since space is limited at the venue, the PC will consider prospective
attendance as one of the selection criteria.
### Proposal Content
SPLASH workshop proposals should not exceed 6 pages, and must include the
following information:
Title and desired abbreviation: if the workshop is accepted, this will be
used for advertising purposes.
Theme, goals and format: the main topic and goals of the workshop, the
workshop's relevance to the SPLASH community, as well as the workshop's
format (e.g., mini-conference, retreat, agenda-setting workshop).
Abstract: a 150-word abstract that summarizes the theme and goals of the
workshop. If the workshop is accepted, this abstract will be used for
advertising purposes.
Organizers: workshop organizers are responsible for advertising the
workshop (e.g., creating the anchoring website for the workshop and sending
CFPs to relevant mailing lists), organizing the reviewing process (e.g., by
forming a small program committee), running the workshop, and collating any
results of the workshop for dissemination. The proposal should indicate the
names, affiliations, and contact details of the workshop organizers as well
as a primary organizer and contact person (primary organizer and contact
person do not need to be the same). For each organizer, the proposal should
describe his/her background (expertise in the area and previous experience
in running workshops) and also identify his/her responsibilities for the
workshop.
Anticipated attendance: the ideal, minimum, and maximum expected number of
participants. Please note that there will be an additional charge for
workshop registration at SPLASH 2015. The SPLASH organizing committee
reserves the right to cancel any workshops that do not meet attendance
goals.
Advertisement: the planned advertisement for the workshop to ensure
sufficient participation.
Participant preparation: what preparation is expected from workshop
participants, including how attendees gain access to the workshop (e.g.,
submission of a full paper, an extended abstract, a position paper).
Activities and format: the format of the workshop and a timetable. All
SPLASH 2015 workshops must be planned for one or two full days of
activities. For example, the proposal should describe whether there will be
introductory material, paper presentations, panel discussions, debates,
hands-on sessions, or focus groups, and how such groups will report back to
the other participants.
Post-workshop activities: what results are expected, and how these will be
disseminated to the wider public after the workshop. Workshops that result
in peer-reviewed papers and implement an ACM SIGPLAN-approved selection
process can submit formal proceedings to the ACM Digital Library. To get
the approval, the workshop has to meet the usual requirements defined for
ACM SIGPLAN events (i.e., approval of workshop proposal and workshop
program committee by ACM SIGPLAN). The approval process is coordinated by
the SPLASH organizers.
Special requirements: any special requirements you might have, in terms of
room configuration, audio and video equipment, etc.
### Format
Submissions should use the SIGPLAN Proceedings Format, 10 point font. Note
that by default the SIGPLAN Proceedings Format produces papers in 9 point
font. If you are formatting your paper using LaTeX, you will need to set
the 10pt option in the \documentclass command. If you are formatting your
paper using Word, you may wish to use the provided Word template that
supports this font size. Please include page numbers in your submission.
### Publication
If your workshop chooses to have published proceedings, be aware that
accepted papers will be available in the ACM Digital Library as early as
September 23, 2016. The official publication date is the date the
proceedings are made available in the ACM Digital Library. The official
publication date affects the deadline for any patent filings related to
published work. It is therefore vital that this information will be
communicated to participants in your workshop.
### Evaluation criteria
Workshop proposals will be selected based on the quality of the proposal
and according to the space available at SPLASH. The following questions may
be helpful in devising a high-quality proposal:
Are there at least two organizers and do they represent a reasonably varied
cross-section of the community close to the topic?
Does the abstract present a compelling case for the importance of the topic
area?
Are the goals of the workshop expressed clearly?
Is the topic likely to be attractive to SPLASH attendees?
Does the chosen format encourage a high level of interaction between the
participants?
Is a workshop the right forum to address the theme and goals or does the
proposal fit better into another type of SPLASH event?
Workshop chairs
For additional information, clarification, or answers to questions please
contact workshops(a)splashcon.org
--
Researcher Centrum Wiskunde & Informatica (CWI)
Master of Software Engineering Universiteit van Amsterdam (UvA)
Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI)
Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123
P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands
