[Haskell] ETAPS 2016 satellite workshops joint call for papers
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
[Haskell] NFM 2016 - second call for papers
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 Have
[Haskell] MSFP 2016: Call for Papers
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: Abstract10th January 2016 Submission 17th January 2016 Notification17th February 2016 Final version 24th February 2016 Workshop8th 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. ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell