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 previous satellite events as examples:
ETAPS 2016: http://www.etaps.org/2016/workshops
ETAPS 2015: http://www.etaps.org/2015/workshops
ETAPS 2014: http://www.etaps.org/2014/workshops
ETAPS 2013: http://www.etaps.org/2013/workshops
ETAPS 2012: http://www.etaps.org/2012/workshops
-- IMPORTANT DATES --
Satellite event proposals deadline: 14 March 2016
Notification of acceptance: early April 2016
-- HOST CITY --
Uppsala has a rich history, having for long periods been the
political, religious and academic center of Sweden. Uppsala
University is over 500 years old, is consistently ranked among the top
100 in the world, and has been the home of many great scientists over
the years, for instance Carl von Linne, Anders Celsius and Anders
Jonas Ångström.
Uppsala is 60 kms from Stockholm and is well connected to Stockholm
Arlanda airport.
-- FURTHER INFORMATION AND ENQUIRIES --
Please contact the workshop co-chairs, Konstantinos Sagonas,
kostis@it.uu.se, and Mohamed Faouzi Atig,
mohamed_faouzi.atig@it.uu.se.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-22
[Caml-list] Call for papers: CSL 2016
CALL FOR PAPERS
CSL 2016
25th EACSL Annual Conference on
Computer Science Logic
August 29 -- September 1st, 2016, Marseille, France
http://csl16.lif.univ-mrs.fr/
------------------------------------------------------------------------
Abstract submission: April 8, 2016
Paper submission: April 15, 2016
Notification: June 11, 2016
------------------------------------------------------------------------
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science. CSL 2016 is the 25th EACSL annual conference, and will
be organized by Aix-Marseille Université in Marseille, France.
Scope
-----
Suggested topics of interest include (but are not limited to):
* automated deduction and interactive theorem proving,
* constructive mathematics and type theory,
* equational logic and term rewriting,
* automata and games, game semantics,
* modal and temporal logic,
* model checking,
* decision procedures,
* logical aspects of computational complexity,
* finite model theory,
* computational proof theory,
* bounded arithmetic and propositional proof complexity,
* logic programming and constraints,
* lambda calculus and combinatory logic,
* domain theory,
* categorical logic and topological semantics,
* database theory,
* specification, extraction and transformation of programs,
* logical aspects of quantum computing,
* logical foundations of programming paradigms,
* verification and program analysis,
* linear logic,
* higher-order logic,
* nonmonotonic reasoning.
Invited Speakers
----------------
Alexandra Silva - University College, London, UK
Anca Muscholl - University of Bordeaux, France
Agata Ciabattoni - University of Vienna, Austria
Libor Barto - University of Prague, Czech Republic
Satellite events
----------------
Three affiliated workshops will be held as co-located events in the
days following the conference:
LCC'16: Logic and Computational Complexity 2016 (September 2)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2-3)
Submission guidelines
---------------------
We expect that the CSL 2016 conference proceedings will be published
in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit papers of no more than 15 pages in LIPIcs
style (including references) presenting work not previously published,
fitting the scope of the conference.
The submission is in two stages:
* abstracts are due on April 8, 2016 (AoE);
* final papers are due on April 15, 2016 (AoE).
Both stages must be done via the EasyChair page for the conference:
https://easychair.org/conferences/?conf=csl2016
Submitted papers must be written in English and must provide sufficient
detail to allow the Programme Committee to assess the merits of the
paper. Full proofs may appear in a technical appendix which will be read
at the reviewers' discretion. Authors are strongly encouraged to include
a well written introduction which is directed at all members of the PC.
Papers must not be submitted concurrently to another conference with
refereed proceedings. The PC chairs should be informed of closely related
work submitted to a conference or a journal. Papers authored or
co-authored by members of the PC are not allowed.
Programme Committee
-------------------
Christel Baier – Technische Universität Dresden, Germany
Mickael Benedikt – University of Oxford, UK
Manuel Bodirsky – Technische Universität Dresden, Germany
Sam Buss – University of California, USA
Luis Caires – Universidade Nova de Lisboa, Portugal
Giovanna D'Agostino – University of Udine, Italy
Thomas Ehrhard – CNRS Université Paris Diderot, France
Emmanuel Filiot – Université Libre de Bruxelles, Belgium
Silvio Ghilardi – Università degli Studi di Milano, Italy
Valentin Goranko – Stockholm University, Sweden
Anna Ingólfsdóttir – Reykjavik University, Iceland
Laura Kovács – Chalmers University of Technology, Sweden
Marta Kwiatkowska – University of Oxford, UK
Christof Löding – RWTH Aachen University, Germany
Assia Mahboubi – INRIA Saclay Ile-de-France, France
Guy McCusker – University of Bath, UK
Magdalena Ortiz – TU Wien, Austria
Sophie Pinchinat – Université de Rennes 1, France
Laurent Regnier – Aix-Marseille Université, France (co-chair)
Sylvain Salvati – Université de Bordeaux, France
Ulrike Sattler – University of Manchester, UK
Peter Selinger – Dalhousie University, Canada
Thomas Streicher – Technische Universität Darmstadt, Germany
Jean-Marc Talbot – Aix-Marseille Université, France (co-chair)
Paweł Urzyczyn – Uniwersytet Warszawski, Poland
Luca Viganò – King's College London, UK
Organising Committee
--------------------
* Emmanuel Beffara
* Benjamin Monmege
* Luigi Santocanale
* Laurent Regnier (co-chair)
* Pierre-Alain Reynier
* Jean-Marc Talbot (co-chair)
* Lionel Vaux
(all from Aix-Marseille Université, Marseille, France)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CSL 2016
25th EACSL Annual Conference on
Computer Science Logic
August 29 -- September 1st, 2016, Marseille, France
http://csl16.lif.univ-mrs.fr/
------------------------------------------------------------------------
Abstract submission: April 8, 2016
Paper submission: April 15, 2016
Notification: June 11, 2016
------------------------------------------------------------------------
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science. CSL 2016 is the 25th EACSL annual conference, and will
be organized by Aix-Marseille Université in Marseille, France.
Scope
-----
Suggested topics of interest include (but are not limited to):
* automated deduction and interactive theorem proving,
* constructive mathematics and type theory,
* equational logic and term rewriting,
* automata and games, game semantics,
* modal and temporal logic,
* model checking,
* decision procedures,
* logical aspects of computational complexity,
* finite model theory,
* computational proof theory,
* bounded arithmetic and propositional proof complexity,
* logic programming and constraints,
* lambda calculus and combinatory logic,
* domain theory,
* categorical logic and topological semantics,
* database theory,
* specification, extraction and transformation of programs,
* logical aspects of quantum computing,
* logical foundations of programming paradigms,
* verification and program analysis,
* linear logic,
* higher-order logic,
* nonmonotonic reasoning.
Invited Speakers
----------------
Alexandra Silva - University College, London, UK
Anca Muscholl - University of Bordeaux, France
Agata Ciabattoni - University of Vienna, Austria
Libor Barto - University of Prague, Czech Republic
Satellite events
----------------
Three affiliated workshops will be held as co-located events in the
days following the conference:
LCC'16: Logic and Computational Complexity 2016 (September 2)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2-3)
Submission guidelines
---------------------
We expect that the CSL 2016 conference proceedings will be published
in Leibniz International Proceedings in Informatics (LIPIcs).
Authors are invited to submit papers of no more than 15 pages in LIPIcs
style (including references) presenting work not previously published,
fitting the scope of the conference.
The submission is in two stages:
* abstracts are due on April 8, 2016 (AoE);
* final papers are due on April 15, 2016 (AoE).
Both stages must be done via the EasyChair page for the conference:
https://easychair.org/conferences/?conf=csl2016
Submitted papers must be written in English and must provide sufficient
detail to allow the Programme Committee to assess the merits of the
paper. Full proofs may appear in a technical appendix which will be read
at the reviewers' discretion. Authors are strongly encouraged to include
a well written introduction which is directed at all members of the PC.
Papers must not be submitted concurrently to another conference with
refereed proceedings. The PC chairs should be informed of closely related
work submitted to a conference or a journal. Papers authored or
co-authored by members of the PC are not allowed.
Programme Committee
-------------------
Christel Baier – Technische Universität Dresden, Germany
Mickael Benedikt – University of Oxford, UK
Manuel Bodirsky – Technische Universität Dresden, Germany
Sam Buss – University of California, USA
Luis Caires – Universidade Nova de Lisboa, Portugal
Giovanna D'Agostino – University of Udine, Italy
Thomas Ehrhard – CNRS Université Paris Diderot, France
Emmanuel Filiot – Université Libre de Bruxelles, Belgium
Silvio Ghilardi – Università degli Studi di Milano, Italy
Valentin Goranko – Stockholm University, Sweden
Anna Ingólfsdóttir – Reykjavik University, Iceland
Laura Kovács – Chalmers University of Technology, Sweden
Marta Kwiatkowska – University of Oxford, UK
Christof Löding – RWTH Aachen University, Germany
Assia Mahboubi – INRIA Saclay Ile-de-France, France
Guy McCusker – University of Bath, UK
Magdalena Ortiz – TU Wien, Austria
Sophie Pinchinat – Université de Rennes 1, France
Laurent Regnier – Aix-Marseille Université, France (co-chair)
Sylvain Salvati – Université de Bordeaux, France
Ulrike Sattler – University of Manchester, UK
Peter Selinger – Dalhousie University, Canada
Thomas Streicher – Technische Universität Darmstadt, Germany
Jean-Marc Talbot – Aix-Marseille Université, France (co-chair)
Paweł Urzyczyn – Uniwersytet Warszawski, Poland
Luca Viganò – King's College London, UK
Organising Committee
--------------------
* Emmanuel Beffara
* Benjamin Monmege
* Luigi Santocanale
* Laurent Regnier (co-chair)
* Pierre-Alain Reynier
* Jean-Marc Talbot (co-chair)
* Lionel Vaux
(all from Aix-Marseille Université, Marseille, France)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] FSCD'16 Final Call for Papers
FINAL CALL FOR PAPERS
First International Conference on Formal Structures for
Computation and Deduction (FSCD'16)
22 June -- 26 June 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
*** ABSTRACT SUBMISSION DUE 29 JANUARY 2016 ***
**** PAPER SUBMISSION DUE 5 FEBRUARY 2016 ****
==========================================================================
IMPORTANT DATES
Abstract Submission: 29 January 2016
Paper Submission : 5 February 2016
Rebuttal : 21 - 23 March 2016
Notification : 6 April 2016
==========================================================================
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing and homotopy
type theory. The name of the new conference comes from an unpublished
but important book by Gerard Huet that strongly influenced many
researchers in the area.
Suggested, but not exclusive, list of topics for submission are:
1 Calculi
* Lambda calculus
* Logics (first-order, higher-order, equational, modal, linear,
classical, constructive, etc.)
* Rewriting systems (string, term, higher-order, graph, conditional,
modulo, infinitary, etc.)
* Proof theory (natural deduction, sequent calculus, proof nets, etc.)
* Type theory and logical frameworks
* Homotopy type theory
2. Methods in Computation and Deduction
* Type systems (polymorphism, dependent, recursive, intersection,
session, etc.)
* Induction, coinduction
* Matching, unification, completion, orderings
* Strategies (normalization, completeness, etc.)
* Tree automata
* Model building and model checking
* Proof search (resolution, paramodulation, narrowing, focusing, etc.)
* Constraint solving and decision procedures
3. Semantics
* Operational semantics and abstract machines
* Game Semantics and applications
* Domain theory and categorical models
* Quantitative models (timing, probabilities, resources, etc.)
* Quantum computation and emerging models in computation
4. Algorithmic Analysis and Transformations of Formal Systems
* Type Inference and type checking
* Abstract Interpretation
* Complexity analysis and implicit computational complexity
* Checking termination, confluence, derivational complexity and
related properties
* Symbolic computation
5. Tools and Applications
* Programming and proof environments (proof assistants, automated
theorem prover, proof checkers, specialized provers, dependently
typed languages, etc.)
* Verification tools (abstract interpretation, termination,
confluence, specialized provers, etc.)
* Libraries for proof assistants and interactive theorem provers
(support for variable bindings, nominal, polynomial, equality, etc.)
* Case studies in proof assistants and interactive theorem provers
(formalizations, mechanizations, certifications)
* Certifications (theorems, rewriting techniques, etc.)
* Applications of formal systems inside and outside of CS (biology,
linguistics, physics, education, etc.)
INVITED SPEAKERS
Amal Ahmed (USA)
Ichiro Hasuo (Japan)
Gerard Huet (France)
Tobias Nipkow (Germany)
PROGRAM CHAIRS
Delia Kesner (Univ. Paris-Diderot)
Brigitte Pientka (McGill University)
fscd16@easychair.org
PROGRAM COMMITTEE
Andreas Abel (Gothenburg Univ.)
Zena Ariola (Univ. Oregon)
Patrick Baillot (CNRS & ENS Lyon)
Andrej Bauer (Univ. Ljubljana)
Eduardo Bonelli (Univ. Quilmes)
Patricia Bouyer (ENS Cachan)
Ugo Dal Lago (Univ. Bologna)
Nachum Dershowitz (Univ. Tel Aviv)
Mariangiola Dezani-Ciancaglini (Univ. Torino)
Derek Dreyer (MPI-SWS)
Santiago Figueira (Univ. Buenos Aires)
Marcelo Fiore (Univ. Cambridge)
Juergen Giesl (Univ. Aachen)
Nao Hirokawa (JAIST)
Martin Hofmann (LMU Munchen)
Delia Kesner (Univ. Paris-Diderot)
Naoki Kobayashi (Univ. Tokyo)
Dan Licata (Wesleyan Univ.)
Chris Lynch (Clarkson Univ.)
Narciso Marti-Oliet (Univ. Complutense)
Aart Middeldorp (Univ. Innsbruck)
Dale Miller (INRIA Saclay)
Cesar Munoz (NASA)
Vivek Nigam (Univ. Paraiba)
Brigitte Pientka (McGill Univ.)
Jakob Rehof (Univ. Dortmund)
Xavier Rival (ENS Paris)
Peter Selinger (Dalhousie Univ.)
Paula Severi (Univ. Leicester)
Jakob Grue Simonsen (Univ. Copenhagen)
Matthieu Sozeau (INRIA Rocquencourt)
Sophie Tison (Univ. Lille)
Femke van Raamsdonk (VU Univ. Amsterdam)
Nobuko Yoshida (Imperial College)
CONFERENCE CHAIR
Sandra Alves (University of Porto)
FSCD STEERING COMMITTEE:
Thorsten Altenkirch (Univ. Nottingham)
Gilles Dowek (INRIA)
Santiago Escobar (Univ. Politecnica de Valencia)
Maribel Fernandez (King's College London)
Masahito Hasegawa (Univ. Kyoto)
Hugo Herbelin (INRIA)
Nao Hirokawa (JAIST)
Luke Ong (Chair, Univ. Oxford)
Jens Palsberg (UCLA)
Kristoffer Rose (Two Sigma Investments)
Rene Thiemann (Univ. Innsbruck)
Pawel Urzyczyn (Univ. Warsaw)
Femke van Raamsdonk (VU Univ. Amsterdam)
PUBLICATION
The proceedings will be published as an electronic volume in the
Leibniz International Proceedings in Informatics (LIPIcs). All LIPIcs
proceedings are open access.
SUBMISSION GUIDELINES
Submissions can be made in two categories: regular research papers and
system descriptions.
Submissions of research papers must present original research which is
unpublished and not submitted elsewhere. They must not exceed 15 pages
(including figures and bibliography). Submissions of research papers
will be judged on originality, significance, correctness, and readability.
Submission of system descriptions must describe a working system which
has not been published or submitted elsewhere. They must not exceed 10
pages and should contain a link to a working system. System
descriptions will be judged on originality, significance, usefulness,
and readability.
Proofs of theoretical results that do not fit within the page limit,
executables of systems, code of case studies, benchmarks used to
evaluate a given system, should be made available, via a reference to
a website or in an appendix of the paper. Reviewers will be encouraged
to consider this additional material, but are not obliged
to. Submissions must be self-contained within the respective page
limit; considering the additional material should not be necessary to
assess the merits of a submission.
Submissions must be formatted using the LIPIcs style files using the
instructions at
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
A condition of submission is that, if accepted, one of the authors
must attend the conference to give the presentation.
Papers should be submitted via easychair. The submission site is at
https://easychair.org/conferences/?conf=fscd16
CONFERENCE AWARDS
Two awards will be selected: one for the best paper and another one for
the best student paper.
SPECIAL ISSUE
After the conference, authors of selected papers will be invited to submit
extended versions of their work to a special issue published in the
open-access
journal Logical Methods in Computer Science (LMCS).
SATELLITE EVENTS
The following meetings and workshops are colocated with FSCD 2016:
CL&C, DCM, HDRA, HOR, IFIP Working Group 1.6, ITRS, Linearity, LFMTP,
LSFA, UNIF, WPTE, WWV.
ORGANISING COMMITTEE
Sandra Alves (Univ. Porto)
Sabine Broda (Univ. Porto)
Jose Espirito-Santo (Univ. do Minho)
Mario Florido (Univ. Porto)
Nelma Moreira (Univ. Porto)
Luis Pinto (Univ. do Minho)
Rogerio Reis (Univ. Porto)
Ana Paula Tomas (Univ. Porto)
Pedro Vasconcelos (Univ. Porto)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
First International Conference on Formal Structures for
Computation and Deduction (FSCD'16)
22 June -- 26 June 2016, Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
*** ABSTRACT SUBMISSION DUE 29 JANUARY 2016 ***
**** PAPER SUBMISSION DUE 5 FEBRUARY 2016 ****
==========================================================================
IMPORTANT DATES
Abstract Submission: 29 January 2016
Paper Submission : 5 February 2016
Rebuttal : 21 - 23 March 2016
Notification : 6 April 2016
==========================================================================
FSCD (http://fscdconference.org/) covers all aspects of formal
structures for computation and deduction from theoretical foundations
to applications. Building on two communities, RTA (Rewriting
Techniques and Applications) and TLCA (Typed Lambda Calculi and
Applications), FSCD embraces their core topics and broadens their
scope to closely related areas in logics, proof theory and new
emerging models of computation such as quantum computing and homotopy
type theory. The name of the new conference comes from an unpublished
but important book by Gerard Huet that strongly influenced many
researchers in the area.
Suggested, but not exclusive, list of topics for submission are:
1 Calculi
* Lambda calculus
* Logics (first-order, higher-order, equational, modal, linear,
classical, constructive, etc.)
* Rewriting systems (string, term, higher-order, graph, conditional,
modulo, infinitary, etc.)
* Proof theory (natural deduction, sequent calculus, proof nets, etc.)
* Type theory and logical frameworks
* Homotopy type theory
2. Methods in Computation and Deduction
* Type systems (polymorphism, dependent, recursive, intersection,
session, etc.)
* Induction, coinduction
* Matching, unification, completion, orderings
* Strategies (normalization, completeness, etc.)
* Tree automata
* Model building and model checking
* Proof search (resolution, paramodulation, narrowing, focusing, etc.)
* Constraint solving and decision procedures
3. Semantics
* Operational semantics and abstract machines
* Game Semantics and applications
* Domain theory and categorical models
* Quantitative models (timing, probabilities, resources, etc.)
* Quantum computation and emerging models in computation
4. Algorithmic Analysis and Transformations of Formal Systems
* Type Inference and type checking
* Abstract Interpretation
* Complexity analysis and implicit computational complexity
* Checking termination, confluence, derivational complexity and
related properties
* Symbolic computation
5. Tools and Applications
* Programming and proof environments (proof assistants, automated
theorem prover, proof checkers, specialized provers, dependently
typed languages, etc.)
* Verification tools (abstract interpretation, termination,
confluence, specialized provers, etc.)
* Libraries for proof assistants and interactive theorem provers
(support for variable bindings, nominal, polynomial, equality, etc.)
* Case studies in proof assistants and interactive theorem provers
(formalizations, mechanizations, certifications)
* Certifications (theorems, rewriting techniques, etc.)
* Applications of formal systems inside and outside of CS (biology,
linguistics, physics, education, etc.)
INVITED SPEAKERS
Amal Ahmed (USA)
Ichiro Hasuo (Japan)
Gerard Huet (France)
Tobias Nipkow (Germany)
PROGRAM CHAIRS
Delia Kesner (Univ. Paris-Diderot)
Brigitte Pientka (McGill University)
fscd16@easychair.org
PROGRAM COMMITTEE
Andreas Abel (Gothenburg Univ.)
Zena Ariola (Univ. Oregon)
Patrick Baillot (CNRS & ENS Lyon)
Andrej Bauer (Univ. Ljubljana)
Eduardo Bonelli (Univ. Quilmes)
Patricia Bouyer (ENS Cachan)
Ugo Dal Lago (Univ. Bologna)
Nachum Dershowitz (Univ. Tel Aviv)
Mariangiola Dezani-Ciancaglini (Univ. Torino)
Derek Dreyer (MPI-SWS)
Santiago Figueira (Univ. Buenos Aires)
Marcelo Fiore (Univ. Cambridge)
Juergen Giesl (Univ. Aachen)
Nao Hirokawa (JAIST)
Martin Hofmann (LMU Munchen)
Delia Kesner (Univ. Paris-Diderot)
Naoki Kobayashi (Univ. Tokyo)
Dan Licata (Wesleyan Univ.)
Chris Lynch (Clarkson Univ.)
Narciso Marti-Oliet (Univ. Complutense)
Aart Middeldorp (Univ. Innsbruck)
Dale Miller (INRIA Saclay)
Cesar Munoz (NASA)
Vivek Nigam (Univ. Paraiba)
Brigitte Pientka (McGill Univ.)
Jakob Rehof (Univ. Dortmund)
Xavier Rival (ENS Paris)
Peter Selinger (Dalhousie Univ.)
Paula Severi (Univ. Leicester)
Jakob Grue Simonsen (Univ. Copenhagen)
Matthieu Sozeau (INRIA Rocquencourt)
Sophie Tison (Univ. Lille)
Femke van Raamsdonk (VU Univ. Amsterdam)
Nobuko Yoshida (Imperial College)
CONFERENCE CHAIR
Sandra Alves (University of Porto)
FSCD STEERING COMMITTEE:
Thorsten Altenkirch (Univ. Nottingham)
Gilles Dowek (INRIA)
Santiago Escobar (Univ. Politecnica de Valencia)
Maribel Fernandez (King's College London)
Masahito Hasegawa (Univ. Kyoto)
Hugo Herbelin (INRIA)
Nao Hirokawa (JAIST)
Luke Ong (Chair, Univ. Oxford)
Jens Palsberg (UCLA)
Kristoffer Rose (Two Sigma Investments)
Rene Thiemann (Univ. Innsbruck)
Pawel Urzyczyn (Univ. Warsaw)
Femke van Raamsdonk (VU Univ. Amsterdam)
PUBLICATION
The proceedings will be published as an electronic volume in the
Leibniz International Proceedings in Informatics (LIPIcs). All LIPIcs
proceedings are open access.
SUBMISSION GUIDELINES
Submissions can be made in two categories: regular research papers and
system descriptions.
Submissions of research papers must present original research which is
unpublished and not submitted elsewhere. They must not exceed 15 pages
(including figures and bibliography). Submissions of research papers
will be judged on originality, significance, correctness, and readability.
Submission of system descriptions must describe a working system which
has not been published or submitted elsewhere. They must not exceed 10
pages and should contain a link to a working system. System
descriptions will be judged on originality, significance, usefulness,
and readability.
Proofs of theoretical results that do not fit within the page limit,
executables of systems, code of case studies, benchmarks used to
evaluate a given system, should be made available, via a reference to
a website or in an appendix of the paper. Reviewers will be encouraged
to consider this additional material, but are not obliged
to. Submissions must be self-contained within the respective page
limit; considering the additional material should not be necessary to
assess the merits of a submission.
Submissions must be formatted using the LIPIcs style files using the
instructions at
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
A condition of submission is that, if accepted, one of the authors
must attend the conference to give the presentation.
Papers should be submitted via easychair. The submission site is at
https://easychair.org/conferences/?conf=fscd16
CONFERENCE AWARDS
Two awards will be selected: one for the best paper and another one for
the best student paper.
SPECIAL ISSUE
After the conference, authors of selected papers will be invited to submit
extended versions of their work to a special issue published in the
open-access
journal Logical Methods in Computer Science (LMCS).
SATELLITE EVENTS
The following meetings and workshops are colocated with FSCD 2016:
CL&C, DCM, HDRA, HOR, IFIP Working Group 1.6, ITRS, Linearity, LFMTP,
LSFA, UNIF, WPTE, WWV.
ORGANISING COMMITTEE
Sandra Alves (Univ. Porto)
Sabine Broda (Univ. Porto)
Jose Espirito-Santo (Univ. do Minho)
Mario Florido (Univ. Porto)
Nelma Moreira (Univ. Porto)
Luis Pinto (Univ. do Minho)
Rogerio Reis (Univ. Porto)
Ana Paula Tomas (Univ. Porto)
Pedro Vasconcelos (Univ. Porto)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-15
[Caml-list] RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials
RV 2016
16th International Conference on Runtime Verification
September 23-30, Madrid, Spain
http://rv2016.imag.fr
Scope
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:
- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies
Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.
Invited Speakers
The program of RV 2016 will feature invited talks from:
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)
Overview
RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).
General Information on Submissions
All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.
Research Papers Track
Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee.
Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome.
The Program Committee of RV 2015 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.
Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.
Tool Papers Track
The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.
All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.
We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage.
Tool papers can be submitted into two categories:
Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.
Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.
Tutorial Track
Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.
A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.
Important Dates
Research and tool papers as well as tutorials will follow the following timeline:
Abstract deadline: May 8, 2016
Paper and tutorial deadline: May 15, 2016
Tutorial notification: June 1, 2016
Paper notification: July 11, 2016
Camera ready deadline: August 8, 2016
Summer school: September 23-25, 2016
Workshops and tutorials: September 26-27, 2016
Conference: September 28-30, 2016
Committees
Program Committee Chairs
Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain
Tool Committee Chair
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Local Organization Chair
Juan E. Tapiador, Universidad Carlos III de Madrid, Spain
Program Committee
Erika Abraham, RWTH Aachen University, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Andreas Bauer, NICTA & Australian National University, Australia
Saddek Bensalem, Univ. Grenoble Alpes, France
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Laura Bozzelli, Technical University of Madrid (UPM), Spain
Juan Caballero, IMDEA Software Institute, Spain
Wei-Ngan Chin, National University of Singapore, Singapore
Christian Colombo, University of Malta, Malta
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donzé, UC Berkeley EECS Department, USA
Yliès Falcone, Univ. Grenoble Alpes and Inria, France
Bernd Finkbeiner, Saarland University, Germany
Adrian Francalanza, University of Malta, Malta
Vijay Garg, The University of Texas at Austin, USA
Patrice Godefroid, Microsoft Research, USA
Susanne Graf, Univ. Grenoble Alpes and CNRS, France
Radu Grosu, Vienna University of Technology, Austria
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Johan Jaffar, National University of Singapore, Singapore
Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
Johannes Kinder, Royal Holloway University of London, UK
Felix Klaedtke, NEC Europe Ltd., Germany
Kim G. Larsen, Aalborg University, Denmark
Axel Legay, Inria Rennes – Bretagne Atlantique, France
Martin Leucker, University of Lübeck, Germany
Benjamin Livshits, Microsoft Research, USA
Joao Lourenço, Universidade Nova de Lisboa, Portugal
Rupak Majumdar, MPI-SWS, Germany
Leonardo Mariani, University of Milano Bicocca, Italy
David Naumann, Stevens Institute of Technology, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Lee Pike, Galois, Inc., USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gwen Salaün, Univ. Grenoble Alpes and Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Gerardo Schneider, University of Gothenburg, Sweden
Scott Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller, Stony Brook University, USA
Volder Stolz, University of Oslo, Norway
Jun Sun, Singapore University of Technology and Design, Singapore
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Serdar Tasiran, Koc Univ., Turkey
Michael Whalen, University of Minnesota, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Lenore Zuck, University of Illinois at Chicago, USA
Tool Committee
Steven Artz, EC Spride, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Martin Leucker, University of Luebeck, Germany
Gordon Pace, University of Malta, Malta
Giles Reger, The University of Manchester, UK
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Nikolai Tillmann, Microsoft Research, USA
Eugen Zalinescu, ETH Zurich, Switzerland
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
16th International Conference on Runtime Verification
September 23-30, Madrid, Spain
http://rv2016.imag.fr
Scope
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include:
- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- runtime enforcement, fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies
Application areas of runtime verification include cyber-physical systems, safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy.
Invited Speakers
The program of RV 2016 will feature invited talks from:
Gul Agha (University of Illinois at Urbana-Champaign, USA)
Oded Maler (CNRS and University of Grenoble-Alpes, France)
Fred B. Schneider (Cornell University, USA)
Overview
RV 2016 will be held September 23-30 in Madrid, Spain. RV 2016 will feature the first summer school on Runtime Verification (September 23-25), two workshop days (September 26-25), and three conference days (September 28-30).
General Information on Submissions
All papers and tutorials will appear in the conference proceedings in an LNCS volume. Submitted papers and tutorials must use the LNCS/Springer style. At least one author of each accepted paper and tutorial must attend RV 2016 to present the paper. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair system. The below page limitations include all text and figures, but exclude references. Additional details omitted due to space limitations may be included in a clearly marked appendix that will be reviewed at the discretion of reviewers.
Research Papers Track
Research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by at least 3 members of the Program Committee.
Regular Papers (up to 15 pages) should present original unpublished results. Theoretical papers, system and application papers as well as case studies on runtime verification are all welcome.
The Program Committee of RV 2015 will give a best paper award. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design.
Short Papers (up to 6 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special talk (15 minutes) and poster sessions.
Tool Papers Track
The aim of the RV 2016 tool track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. All tool papers will be reviewed by at least 3 members of the Tool Committee. An author of each accepted tool paper should give a 15-20 minutes demonstration during the conference.
All tool papers must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission.
We encourage tool papers to include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage.
Tool papers can be submitted into two categories:
Regular Tool Papers (up to 8 pages). A tool paper in this category should present a new tool, a new tool component or significant and novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form.
Tool Exhibition Papers (up to 4 pages). A tool paper in this category can have been previously published. A tool paper in this category should be oriented towards the tool usage and is an opportunity for the developers to present them at RV 2016.
Tutorial Track
Tutorials are two-to-three-hour presentations on a selected topic. Additionally, tutorial presenters will be offered to publish a paper of up to 20 pages in the LNCS conference proceedings.
A proposal for a tutorial must contain the subject of the tutorial, a proposed timeline, a note on previous similar tutorials (if applicable) and the differences to this incarnation, and a biography of the presenter. The proposal must not exceed 2 pages. Tutorial proposals will be reviewed by the Program Committee.
Important Dates
Research and tool papers as well as tutorials will follow the following timeline:
Abstract deadline: May 8, 2016
Paper and tutorial deadline: May 15, 2016
Tutorial notification: June 1, 2016
Paper notification: July 11, 2016
Camera ready deadline: August 8, 2016
Summer school: September 23-25, 2016
Workshops and tutorials: September 26-27, 2016
Conference: September 28-30, 2016
Committees
Program Committee Chairs
Yliès Falcone, Univ. Grenoble-Alpes and Inria, France
Cesar Sanchez, IMDEA Software, Madrid, Spain
Tool Committee Chair
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Local Organization Chair
Juan E. Tapiador, Universidad Carlos III de Madrid, Spain
Program Committee
Erika Abraham, RWTH Aachen University, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Andreas Bauer, NICTA & Australian National University, Australia
Saddek Bensalem, Univ. Grenoble Alpes, France
Eric Bodden, Fraunhofer SIT and Technische University Darmstadt, Germany
Borzoo Bonakdarpour, McMaster University, Canada
Laura Bozzelli, Technical University of Madrid (UPM), Spain
Juan Caballero, IMDEA Software Institute, Spain
Wei-Ngan Chin, National University of Singapore, Singapore
Christian Colombo, University of Malta, Malta
Jyotirmoy Deshmukh, Toyota Technical Center, USA
Alexandre Donzé, UC Berkeley EECS Department, USA
Yliès Falcone, Univ. Grenoble Alpes and Inria, France
Bernd Finkbeiner, Saarland University, Germany
Adrian Francalanza, University of Malta, Malta
Vijay Garg, The University of Texas at Austin, USA
Patrice Godefroid, Microsoft Research, USA
Susanne Graf, Univ. Grenoble Alpes and CNRS, France
Radu Grosu, Vienna University of Technology, Austria
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Klaus Havelund, NASA Jet Propulsion Laboratory, USA
Johan Jaffar, National University of Singapore, Singapore
Thierry Jéron, Inria Rennes – Bretagne Atlantique, France
Johannes Kinder, Royal Holloway University of London, UK
Felix Klaedtke, NEC Europe Ltd., Germany
Kim G. Larsen, Aalborg University, Denmark
Axel Legay, Inria Rennes – Bretagne Atlantique, France
Martin Leucker, University of Lübeck, Germany
Benjamin Livshits, Microsoft Research, USA
Joao Lourenço, Universidade Nova de Lisboa, Portugal
Rupak Majumdar, MPI-SWS, Germany
Leonardo Mariani, University of Milano Bicocca, Italy
David Naumann, Stevens Institute of Technology, USA
Dejan Nickovic, Austrian Institute of Technology, Austria
Gordon Pace, University of Malta, Malta
Doron Peled, Bar Ilan University, Israel
Lee Pike, Galois, Inc., USA
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Gwen Salaün, Univ. Grenoble Alpes and Inria, France
Cesar Sanchez, IMDEA Software Institute, Spain
Sriram Sankaranarayanan, University of Colorado Boulder, USA
Gerardo Schneider, University of Gothenburg, Sweden
Scott Smolka, Stony Brook University, USA
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Scott Stoller, Stony Brook University, USA
Volder Stolz, University of Oslo, Norway
Jun Sun, Singapore University of Technology and Design, Singapore
Juan Tapiador, Universidad Carlos III de Madrid, Spain
Serdar Tasiran, Koc Univ., Turkey
Michael Whalen, University of Minnesota, USA
Eugen Zalinescu, ETH Zurich, Switzerland
Lenore Zuck, University of Illinois at Chicago, USA
Tool Committee
Steven Artz, EC Spride, Germany
Howard Barringer, The University of Manchester, UK
Ezio Bartocci, TU Wien, Austria
Martin Leucker, University of Luebeck, Germany
Gordon Pace, University of Malta, Malta
Giles Reger, The University of Manchester, UK
Julien Signoles, CEA, France
Oleg Sokolsky, University of Pennsylvania, USA
Bernhard Steffen, University of Dortmund, Germany
Nikolai Tillmann, Microsoft Research, USA
Eugen Zalinescu, ETH Zurich, Switzerland
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] UNIF 2016 - Call for Papers
UNIF 2016 - Call for papers
The 30th International Workshop on Unification is the 30th event in a series
of international meetings devoted to unification theory and its applications.
Unification is concerned with the problem of making two terms equal, finding
solutions for equations, or making formulas equivalent. It is a fundamental
process used in a number of fields of computer science, including automated
reasoning, term rewriting, logic programming, natural language processing,
program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas and trends. It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the current state
of the art in unification theory. The workshop will be hosted by the 1st
International Conference on Formal Structures for Computation and Deduction
(FSCD, Porto, June 2016)
Description of the Topic
------------------------
Unification is one of the central notions in automated reasoning and lies at
the heart of many reasoning systems. Unification is concerned with the problem
of making two terms equal, either syntactically or modulo a theory. UNIF 2016
will be the 30th in a series of annual international workshops on unification.
Previous editions have taken place mostly in Europe (Austria, Denmark, France,
Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more
details on previous UNIF workshops, please see the UNIF homepage at
http://www.pps.jussieu.fr/~treinen/unif/.
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense, encompassing also research in constraint solving,
admissibility of inference rules, and applications such as type checking,
query answering and cryptographic protocol analysis. A non-exhaustive list
of topics of interest includes:
+ Unification algorithms, calculi and implementations
+ Equational unification and unification modulo theories
+ Unification in modal, temporal and description logics
+ Admissibility of Inference Rules
+ Narrowing
+ Matching algorithms
+ Constraint solving
+ Combination problems
+ Disunification
+ Higher-Order Unification
+ Type checking and reconstruction
+ Typed unification
+ Complexity issues
+ Query answering
+ Implementation techniques
+ Applications of unification
+ Antiunification/Generalization
Submission Details
------------------
Following the tradition of UNIF, we call for submissions of abstracts (5 pages)
in EasyChair style, to be submitted electronically as PDF files through the
EasyChair submission site:
https://easychair.org/conferences/?conf=unif2016
Abstracts will be evaluated by the Programme Committee (if necessary with
support from external reviewers) regarding their significance for the
workshop. Accepted abstracts will be presented at the workshop and included
in the informal proceedings of the workshop, available in printed form at
the workshop and in electronic form from the UNIF homepage:
http://www.pps.jussieu.fr/~treinen/unif/
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
Important Dates
---------------
+ Paper Submission: May 1, 2016
+ Notif. of Acceptance: May 29 2016
+ Final version: June 5, 2016
+ Conference: June 26, 2016
Organizers
----------
Silvio Ghilardi
Department of Mathematics
Universite degli Studi di Milano
Milano, Italy
email: silvio.ghilardi@unimi.it
homepage: http://users.mat.unimi.it/users/ghilardi/
phone: +39 02 5031 6142
Manfred Schmidt-Schauss
Department of Computer Science and Mathematics
Goethe University
Frankfurt, Germany
email: schauss@ki.informatik.uni-frankfurt.de
homepage: http://www.ki.informatik.uni-frankfurt.de
phone: +49 69 798 2859
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
The 30th International Workshop on Unification is the 30th event in a series
of international meetings devoted to unification theory and its applications.
Unification is concerned with the problem of making two terms equal, finding
solutions for equations, or making formulas equivalent. It is a fundamental
process used in a number of fields of computer science, including automated
reasoning, term rewriting, logic programming, natural language processing,
program analysis, types, etc.
The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and new
colleagues, to present recent (even unfinished) work, and to discuss new
ideas and trends. It is also a good opportunity for young researchers and
scientists working in related areas to get an overview of the current state
of the art in unification theory. The workshop will be hosted by the 1st
International Conference on Formal Structures for Computation and Deduction
(FSCD, Porto, June 2016)
Description of the Topic
------------------------
Unification is one of the central notions in automated reasoning and lies at
the heart of many reasoning systems. Unification is concerned with the problem
of making two terms equal, either syntactically or modulo a theory. UNIF 2016
will be the 30th in a series of annual international workshops on unification.
Previous editions have taken place mostly in Europe (Austria, Denmark, France,
Germany, Ireland, Italy, Poland, UK), but also in the USA and Japan. For more
details on previous UNIF workshops, please see the UNIF homepage at
http://www.pps.jussieu.fr/~treinen/unif/.
Traditionally, the scope of the UNIF workshops has covered the topic of
unification in a broad sense, encompassing also research in constraint solving,
admissibility of inference rules, and applications such as type checking,
query answering and cryptographic protocol analysis. A non-exhaustive list
of topics of interest includes:
+ Unification algorithms, calculi and implementations
+ Equational unification and unification modulo theories
+ Unification in modal, temporal and description logics
+ Admissibility of Inference Rules
+ Narrowing
+ Matching algorithms
+ Constraint solving
+ Combination problems
+ Disunification
+ Higher-Order Unification
+ Type checking and reconstruction
+ Typed unification
+ Complexity issues
+ Query answering
+ Implementation techniques
+ Applications of unification
+ Antiunification/Generalization
Submission Details
------------------
Following the tradition of UNIF, we call for submissions of abstracts (5 pages)
in EasyChair style, to be submitted electronically as PDF files through the
EasyChair submission site:
https://easychair.org/conferences/?conf=unif2016
Abstracts will be evaluated by the Programme Committee (if necessary with
support from external reviewers) regarding their significance for the
workshop. Accepted abstracts will be presented at the workshop and included
in the informal proceedings of the workshop, available in printed form at
the workshop and in electronic form from the UNIF homepage:
http://www.pps.jussieu.fr/~treinen/unif/
Based on the number and quality of submissions we will decide whether to
organize a special journal issue.
Important Dates
---------------
+ Paper Submission: May 1, 2016
+ Notif. of Acceptance: May 29 2016
+ Final version: June 5, 2016
+ Conference: June 26, 2016
Organizers
----------
Silvio Ghilardi
Department of Mathematics
Universite degli Studi di Milano
Milano, Italy
email: silvio.ghilardi@unimi.it
homepage: http://users.mat.unimi.it/users/ghilardi/
phone: +39 02 5031 6142
Manfred Schmidt-Schauss
Department of Computer Science and Mathematics
Goethe University
Frankfurt, Germany
email: schauss@ki.informatik.uni-frankfurt.de
homepage: http://www.ki.informatik.uni-frankfurt.de
phone: +49 69 798 2859
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-13
[Caml-list] AiML-2016: 1ST CALL FOR PAPERS
(sorry for multiple copies)
AiML-2016: 1ST CALL FOR PAPERS
11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016
http://phil.elte.hu/aiml2016/
Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based
on the conferences. Information about the AiML series can be obtained
at http://www.aiml.net. AiML-2016 is the 11th conference in the series.
TOPICS
We invite submission on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of
modal and temporal logics, modal and temporal logic programming,
model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (algebraic/categorical perspectives
on modal logic, coalgebraic modal logic, completeness and canonicity,
correspondence and duality theory, many-dimensional modal logics,
modal fixed point logics, model theory of modal logic, proof theory
of modal logic)
- specific instances and variations of modal logic (description logics,
modal logics over non-boolean bases, dynamic logics and other process
logics, epistemic and deontic logics, modal logics for agent-based
systems, modal logic and game theory, modal logic and grammar
formalisms, provability and interpretability logics, spatial and
temporal logics, hybrid logic, intuitionistic logic, substructural
logics, computationally light fragments of all such logics)
Papers on related subjects will also be considered.
PAPER SUBMISSIONS
There will be two types of submissions to AiML-2016:
(1) Full papers for publication in the proceedings and presentation at the
conference.
(2) Short presentations intended for presentation at the conference
but not for the published proceedings.
Both types of papers should be submitted electronically using the
EasyChair submission page at
https://easychair.org/conferences/?conf=aiml16
At least one author of each accepted paper or short presentation must
register for and attend the conference.
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and
publication in the proceedings, full papers reporting on original
research and not submitted elsewhere. The proceedings of AiML-2016 will
be published by College Publications
http://www.collegepublications.co.uk
in a volume to be made available at the conference.
The submissions should be at most 15 pages, with an optional technical
appendix of up to 5 pages, together with a plain-text abstract of
100-200 words. The submissions must be typeset in LaTeX, using the style
files and template that will be provided on the AiML-2016 website
http://phil.elte.hu/aiml2016/ in due time.
We also ask authors of full papers to submit the abstract in plain
text via EasyChair by 10 March.
(2) SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary
results, work in progress etc., and will be subject to light reviewing.
The accepted submissions will be made available at the conference, and the
authors will have the opportunity to give short presentations
(of up to 15 minutes) on them.
INVITED SPEAKERS INCLUDE:
Kit Fine (New York University, USA)
Sonja Smets (ILLC, Universiteit van Amsterdam)
Yde Venema (ILLC, Universiteit van Amsterdam)
LOCAL ORGANIZING COMMITTEE
Tamas Bitai (Eotvos University, Budapest, Hungary)
Reka Markovich (Eotvos University, Budapest, Hungary)
Andras Mate (Eotvos University, Budapest, Hungary)
Péter Mekis (Eotvos University, Budapest, Hungary)
Attila Molnar (Eotvos University, Budapest, Hungary)
Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences)
PROGRAMME COMMITTEE
Natasha Alechina (University of Nottingham)
Carlos Areces (FaMAF, Universidad Nacional de Córdoba)
Philippe Balbiani (IRIT, Toulouse, France)
Alexandru Baltag (FNWI ILLC)
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Thomas Bolander (Technical University of Denmark)
Torben Brauner (Roskilde University, Denmark)
Serenella Cerrito (Laboratoire IBISC, Evry France)
Stéphane Demri (LSV, CNRS, ENS Cachan)
David Fernandez-Duque (Instituto Tecnológico Autónomo de México)
Melvin Fitting (Lehman College, CUNY, USA)
David Gabelaia (gabelaia at gmail dot com) (The Free University of Tbilisi, Tbilisi, Georgia)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Valentin Goranko (Stockholm University)
Rajeev Gore (The Australian National University)
Andreas Herzig (IRIT, Toulouse, France)
Rosalie Iemhoff (Utrecht University)
Agi Kurucz (King's College London)
Roman Kuznets (TU Wien)
Martin Lange (University of Kassel, Germany)
Carsten Lutz (Universität Bremen)
Andras Mate (Eotvos University, Budapest, Hungary)
Angelo Montanari (University of Udine)
Larry Moss (Indiana University, USA)
Sergei Odintsov (Novosibirsk State University)
Hiroakira Ono (Japan Advanced Insitute of Science and Technology)
Mark Reynolds (The University of Western Australia)
Ilya Shapirovsky (Institute for the Information Transmission Problems)
Renate Schmidt (University of Manchester)
Valentin Shehtman (Institute for the Information Transmission Problems)
Thomas Studer (Universität Bern)
Heinrich Wansing (Ruhr University Bochum)
Michael Zakharyaschev (Birkbeck College London, UK)
PROGRAMME COMMITTEE CO-CHAIRS
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Stephane Demri (LSV, CNRS, ENS Cachan)
IMPORTANT DATES
Abstracts of full papers submission deadline: 10 March 2016
Full papers submission deadline: 17 March 2016
Full papers acceptance notification: 14 May 2016
Short presentations submission deadline: 16 May 2016
Short presentations acceptance notification: 30 May 2016
Final version of full papers and short presentations due: 8 June 2016
Conference: 29 August -- 2 September 2016
FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers
ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs,
sent to aiml16@easychair.org
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
AiML-2016: 1ST CALL FOR PAPERS
11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016
http://phil.elte.hu/aiml2016/
Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based
on the conferences. Information about the AiML series can be obtained
at http://www.aiml.net. AiML-2016 is the 11th conference in the series.
TOPICS
We invite submission on all aspects of modal logic, including:
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic (complexity and decidability of
modal and temporal logics, modal and temporal logic programming,
model checking, model generation, theorem proving for modal logics)
- theoretical aspects of modal logic (algebraic/categorical perspectives
on modal logic, coalgebraic modal logic, completeness and canonicity,
correspondence and duality theory, many-dimensional modal logics,
modal fixed point logics, model theory of modal logic, proof theory
of modal logic)
- specific instances and variations of modal logic (description logics,
modal logics over non-boolean bases, dynamic logics and other process
logics, epistemic and deontic logics, modal logics for agent-based
systems, modal logic and game theory, modal logic and grammar
formalisms, provability and interpretability logics, spatial and
temporal logics, hybrid logic, intuitionistic logic, substructural
logics, computationally light fragments of all such logics)
Papers on related subjects will also be considered.
PAPER SUBMISSIONS
There will be two types of submissions to AiML-2016:
(1) Full papers for publication in the proceedings and presentation at the
conference.
(2) Short presentations intended for presentation at the conference
but not for the published proceedings.
Both types of papers should be submitted electronically using the
EasyChair submission page at
https://easychair.org/conferences/?conf=aiml16
At least one author of each accepted paper or short presentation must
register for and attend the conference.
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and
publication in the proceedings, full papers reporting on original
research and not submitted elsewhere. The proceedings of AiML-2016 will
be published by College Publications
http://www.collegepublications.co.uk
in a volume to be made available at the conference.
The submissions should be at most 15 pages, with an optional technical
appendix of up to 5 pages, together with a plain-text abstract of
100-200 words. The submissions must be typeset in LaTeX, using the style
files and template that will be provided on the AiML-2016 website
http://phil.elte.hu/aiml2016/ in due time.
We also ask authors of full papers to submit the abstract in plain
text via EasyChair by 10 March.
(2) SHORT PRESENTATIONS.
These should be at most 5 pages. They may describe preliminary
results, work in progress etc., and will be subject to light reviewing.
The accepted submissions will be made available at the conference, and the
authors will have the opportunity to give short presentations
(of up to 15 minutes) on them.
INVITED SPEAKERS INCLUDE:
Kit Fine (New York University, USA)
Sonja Smets (ILLC, Universiteit van Amsterdam)
Yde Venema (ILLC, Universiteit van Amsterdam)
LOCAL ORGANIZING COMMITTEE
Tamas Bitai (Eotvos University, Budapest, Hungary)
Reka Markovich (Eotvos University, Budapest, Hungary)
Andras Mate (Eotvos University, Budapest, Hungary)
Péter Mekis (Eotvos University, Budapest, Hungary)
Attila Molnar (Eotvos University, Budapest, Hungary)
Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences)
PROGRAMME COMMITTEE
Natasha Alechina (University of Nottingham)
Carlos Areces (FaMAF, Universidad Nacional de Córdoba)
Philippe Balbiani (IRIT, Toulouse, France)
Alexandru Baltag (FNWI ILLC)
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Thomas Bolander (Technical University of Denmark)
Torben Brauner (Roskilde University, Denmark)
Serenella Cerrito (Laboratoire IBISC, Evry France)
Stéphane Demri (LSV, CNRS, ENS Cachan)
David Fernandez-Duque (Instituto Tecnológico Autónomo de México)
Melvin Fitting (Lehman College, CUNY, USA)
David Gabelaia (gabelaia at gmail dot com) (The Free University of Tbilisi, Tbilisi, Georgia)
Silvio Ghilardi (Università degli Studi di Milano, Italy)
Valentin Goranko (Stockholm University)
Rajeev Gore (The Australian National University)
Andreas Herzig (IRIT, Toulouse, France)
Rosalie Iemhoff (Utrecht University)
Agi Kurucz (King's College London)
Roman Kuznets (TU Wien)
Martin Lange (University of Kassel, Germany)
Carsten Lutz (Universität Bremen)
Andras Mate (Eotvos University, Budapest, Hungary)
Angelo Montanari (University of Udine)
Larry Moss (Indiana University, USA)
Sergei Odintsov (Novosibirsk State University)
Hiroakira Ono (Japan Advanced Insitute of Science and Technology)
Mark Reynolds (The University of Western Australia)
Ilya Shapirovsky (Institute for the Information Transmission Problems)
Renate Schmidt (University of Manchester)
Valentin Shehtman (Institute for the Information Transmission Problems)
Thomas Studer (Universität Bern)
Heinrich Wansing (Ruhr University Bochum)
Michael Zakharyaschev (Birkbeck College London, UK)
PROGRAMME COMMITTEE CO-CHAIRS
Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)
Stephane Demri (LSV, CNRS, ENS Cachan)
IMPORTANT DATES
Abstracts of full papers submission deadline: 10 March 2016
Full papers submission deadline: 17 March 2016
Full papers acceptance notification: 14 May 2016
Short presentations submission deadline: 16 May 2016
Short presentations acceptance notification: 30 May 2016
Final version of full papers and short presentations due: 8 June 2016
Conference: 29 August -- 2 September 2016
FURTHER INFORMATION. Please see http://phil.elte.hu/aiml2016/?page=call_for_papers
ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs,
sent to aiml16@easychair.org
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-12
[Caml-list] MSFP 2016: Final 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/
NOTE: the deadline for paper submissions has been extended by one day
to:
*Monday 18th January*
Prior submission of an abstract is not required
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:
================
Submission 18th 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.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
NOTE: the deadline for paper submissions has been extended by one day
to:
*Monday 18th January*
Prior submission of an abstract is not required
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:
================
Submission 18th 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.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] [[qest-announce] ] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
thank you for invitation
i offer a keynote talk on topics of my videolecture
Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.
http://www.igi-global.com/video/petri-nets-modeling-computing/135018
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
i offer a keynote talk on topics of my videolecture
Zaitsev D.A. Petri Nets for Modeling and Computing: Videolecture. USA: IGI-Global, August, 2015, 2 hrs 25 mins.
http://www.igi-global.com/video/petri-nets-modeling-computing/135018
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
Понедельник, 11 января 2016, 17:12 +01:00 от Marco Bernardo <bernardo@sti.uniurb.it>:
* *
* SFM-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************
GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.
The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is devoted to the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.
COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^
The school features the following lectures:
"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)
"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)
"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)
"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)
"Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools"
Michele Loreti (U Firenze, IT)
"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)
"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)
"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (IMT Lucca, IT)
"Aggregate Programming"
Jake Beal (BBN Technologies, US)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
LOCATION
^^^^^^^^
SFM-16:QUANTICOL will be held in the medieval hilltop town of Bertinoro.
This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Modena, Parma, Rimini, Ravenna,
Ferrara, Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.
Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.
ORGANIZATION
^^^^^^^^^^^^
Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)
Secretary:
* Monica Michelacci (CRU Bertinoro, IT)
APPLICATION
^^^^^^^^^^^
Prospective participants should send by 21 March 2016
the application form, available on the school website,
to the two e-mail addresses below:
Marco Bernardo
marco.bernardo AT uniurb.it
Monica Michelacci
mmichelacci AT ceub.it
The registration fee is 300 euros and includes the school material.
The accommodation fee is 350 euros and covers the period
June 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).
The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).
A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).
Notification of accepted/rejected applications and
grant requests will be communicated by March 31.
Registration to the school, including payment of fees,
is due by April 20.
No refund is possible for cancellation after May 15.
Sincerely,
Dmitry Zaitsev
Dr.Sci., Professor
Senior Member of the IEEE and ACM
http://daze.ho.ua
2016-01-11
[Caml-list] SFM-16:QUANTICOL first call for participation (Bertinoro, 20-24 June 2016)
***********************************************************
* *
* SFM-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************
GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.
The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is devoted to the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.
COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^
The school features the following lectures:
"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)
"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)
"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)
"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)
"Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools"
Michele Loreti (U Firenze, IT)
"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)
"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)
"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (IMT Lucca, IT)
"Aggregate Programming"
Jake Beal (BBN Technologies, US)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
LOCATION
^^^^^^^^
SFM-16:QUANTICOL will be held in the medieval hilltop town of Bertinoro.
This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Modena, Parma, Rimini, Ravenna,
Ferrara, Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.
Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.
ORGANIZATION
^^^^^^^^^^^^
Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)
Secretary:
* Monica Michelacci (CRU Bertinoro, IT)
APPLICATION
^^^^^^^^^^^
Prospective participants should send by 21 March 2016
the application form, available on the school website,
to the two e-mail addresses below:
Marco Bernardo
marco.bernardo AT uniurb.it
Monica Michelacci
mmichelacci AT ceub.it
The registration fee is 300 euros and includes the school material.
The accommodation fee is 350 euros and covers the period
June 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).
The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).
A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).
Notification of accepted/rejected applications and
grant requests will be communicated by March 31.
Registration to the school, including payment of fees,
is due by April 20.
No refund is possible for cancellation after May 15.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
* *
* SFM-16:QUANTICOL *
* *
* 16th International School on *
* Formal Methods for the Design of *
* Computer, Communication and Software Systems: *
* Quantitative Evaluation of Collective Adaptive Systems *
* *
* Bertinoro (Italy), 20-24 June 2016 *
* *
* http://www.sti.uniurb.it/events/sfm16quanticol/ *
* *
***********************************************************
* CALL FOR PARTICIPATION *
* (deadline: 21 March 2016) *
***********************************************************
GENERAL INFORMATION ABOUT SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.
The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is devoted to the quantitative evaluation of
collective adaptive systems and covers topics such as
self-organization in distributed systems, scalable quantitative
analysis, spatio-temporal models, and aggregate programming.
COURSES AND LECTURERS
^^^^^^^^^^^^^^^^^^^^^
The school features the following lectures:
"Self-Organization in Distributed Computing Systems"
Giovanna Di Marzo Serugendo (U Geneve, CH)
"Formal Analysis of Robust Adaptive Distributed Cyber-Physical Systems"
Carolyn Talcott (SRI International, US)
"Dependability of Adaptable and Evolvable Distributed Systems"
Carlo Ghezzi (Politecnico Milano, IT)
"Scalable Quantitative Analysis: Fluid and Hybrid Approximations"
Nicolas Gast (INRIA Grenoble Rhone-Alpes, FR)
Luca Bortolussi (U Trieste, IT)
"Modeling and Analysis of Collective Adaptive Systems with CARMA and its Tools"
Michele Loreti (U Firenze, IT)
"Spatial Representations and Analysis Techniques"
Vashti Galpin (U Edinburgh, UK)
"Spatial Logic and Spatial Model Checking"
Mieke Massink (CNR-ISTI Pisa, IT)
Vincenzo Ciancia (CNR-ISTI Pisa, IT)
"Spatio-Temporal Model Checking"
Radu Grosu (TU Wien, AT)
"Tool Support for Collective Adaptive Systems Modeling"
Mirco Tribastone (IMT Lucca, IT)
"Aggregate Programming"
Jake Beal (BBN Technologies, US)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
LOCATION
^^^^^^^^
SFM-16:QUANTICOL will be held in the medieval hilltop town of Bertinoro.
This place is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
Bertinoro is close to many splendid locations such as Urbino,
Gradara, San Leo, and the Republic of San Marino, as well as some
less well-known locations like the thermal springs of Fratta Terme.
Bertinoro can also be a base for visiting some of the better-known
Italian locations such as Bologna, Modena, Parma, Rimini, Ravenna,
Ferrara, Padova, Venezia, Verona, Firenze, Pisa, Lucca, and Siena.
Bertinoro itself is picturesque, with its narrow streets and
walkways winding around the central peak. The school will be held
at the Centro Residenziale Universitario (CRU), an ex-episcopal
fortress that has been converted into a modern conference center.
From the fortress, it is possible to enjoy a beautiful vista stretching
from the Apennines to the Adriatic Coast and the Alps over the Po Valley.
ORGANIZATION
^^^^^^^^^^^^
Scientific directors:
* Marco Bernardo (U Urbino, IT)
* Rocco De Nicola (IMT Lucca, IT)
* Jane Hillston (U Edinburgh, UK)
Secretary:
* Monica Michelacci (CRU Bertinoro, IT)
APPLICATION
^^^^^^^^^^^
Prospective participants should send by 21 March 2016
the application form, available on the school website,
to the two e-mail addresses below:
Marco Bernardo
marco.bernardo AT uniurb.it
Monica Michelacci
mmichelacci AT ceub.it
The registration fee is 300 euros and includes the school material.
The accommodation fee is 350 euros and covers the period
June 19-25 (6 nights), double room (to share with another participant),
half board (breakfast and lunch from June 20, lunch of June 25 excluded).
The reduced accommodation fee for participants who do not need
a room is 100 euros and covers the period June 20-24 (5 lunches).
A very limited number of grants is available to cover
the registration fee (no grant can be requested
to cover the accommodation fee or the travel expenses).
Notification of accepted/rejected applications and
grant requests will be communicated by March 31.
Registration to the school, including payment of fees,
is due by April 20.
No refund is possible for cancellation after May 15.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-05
[Caml-list] 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 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
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
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
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] 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:
================
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.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
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.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2016-01-04
[Caml-list] Compose Conference Call for Participation [NYC, Feb 4-5]
===============================================
Call for Participation
Compose Conference 2016
February 4-5, 2016
New York, NY
http://www.composeconference.org/
===============================================
The practice and craft of functional programming :: Conference
Compose is a conference for typed functional programmers, focused
specifically on Haskell, OCaml, F#, SML, and related technologies.
Typed functional programming has been taken up widely, by industry and
hobbyists alike. For many of us it has renewed our belief that code
should be beautiful, and that programming can be as enjoyable as it is
practical. Compose is about bringing together functional programmers
of all levels of skill and experience — from technical leads to
novices, and from long-time hackers to students just getting started.
It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.
* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making
abstract mathematics palatable
* Local Information (venue): http://www.composeconference.org/2016/
* Accepted Talks and Tutorials
Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing
Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interface
Stephen Compall: Add a type parameter! One 'simple' design change, a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference
* Full abstracts: http://www.composeconference.org/2016/speakers/
* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/composeconf
* On freenode irc, chat will fellow attendees at #composeconference
* Corporate sponsorships are welcome. Current sponsors list forthcoming.
* Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct
* Email us with any questions at info@composeconference.org
* Please forward this announcement to interested parties and lists.
Call for Participation
Compose Conference 2016
February 4-5, 2016
New York, NY
http://www.composeconference.org/
===============================================
The practice and craft of functional programming :: Conference
Compose is a conference for typed functional programmers, focused
specifically on Haskell, OCaml, F#, SML, and related technologies.
Typed functional programming has been taken up widely, by industry and
hobbyists alike. For many of us it has renewed our belief that code
should be beautiful, and that programming can be as enjoyable as it is
practical. Compose is about bringing together functional programmers
of all levels of skill and experience — from technical leads to
novices, and from long-time hackers to students just getting started.
It will feature a keynote by Eugenia Cheng on her work popularizing
mathematics, two days of great talks, and plans are underway for a
weekend hackathon/unconference.
* Invited Talks:
Eugenia Cheng: How to Bake 'How to Bake Pi': reflections on making
abstract mathematics palatable
* Local Information (venue): http://www.composeconference.org/2016/
* Accepted Talks and Tutorials
Aditya Siram: FLTKHS - Easy Native GUIs in Haskell, Today!
Austin Seipp: Cryptography and Verification with Cryptol
Kenneth Foner: 'There and Back Again' and What Happened After
Krzysztof Cieslak: Ionide and state of F# open source environment
Leonid Rozenberg: The Intersection of Machine Learning, Types and Testing
Luite Stegeman: Fun with GHCJSi
Markus Mottl: AD-OCaml - Parallel Algorithmic Differentiation for OCaml
Mindy Preston: Composing Network Operating Systems
Niki Vazou: Liquid Types for Haskell
Paulmichael Blasucci: (Nearly) Everything You Ever Wanted to Know
About F# Active Patterns but were Afraid to Ask
Rachel Reese: Chaos Testing at Jet
Riccardo Terrell: Functional Reactive Programming for Natural User Interface
Stephen Compall: Add a type parameter! One 'simple' design change, a
panoply of outcomes
Stephanie Weirich: Dynamic Typing in GHC
Tikhon Jelvis: Analyzing Programs with Z3
Zvonimir Pavlinovic, Tim King and Thomas Wies: Improving Type Error
Localization for Languages with Type Inference
* Full abstracts: http://www.composeconference.org/2016/speakers/
* Registration: http://composeconference.eventbrite.com
* Follow @composeconf on twitter for news: https://twitter.com/composeconf
* On freenode irc, chat will fellow attendees at #composeconference
* Corporate sponsorships are welcome. Current sponsors list forthcoming.
* Policies (diversity and anti-harassment):
http://www.composeconference.org/conduct
* Email us with any questions at info@composeconference.org
* Please forward this announcement to interested parties and lists.
Subscribe to:
Posts (Atom)