CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS
ICFP 2018
23rd ACM SIGPLAN International Conference on Functional Programming
September 23-29, 2018
St. Louis, Missouri, United States
http://conf.researchr.org/home/icfp-2018
The 23rd ACM SIGPLAN International Conference on Functional Programming
will be held in St. Louis, Missouri, United States on September 23-29, 2018.
ICFP provides a forum for researchers and developers to hear about the latest
work on the design, implementations, principles, and uses of functional
programming.
Proposals are invited for workshops (and other co-located events, such
as tutorials) to be affiliated with ICFP 2018 and sponsored by
SIGPLAN. These events should be less formal and more focused than ICFP
itself, include sessions that enable interaction among the attendees,
and foster the exchange of new ideas. The preference is for one-day
events, but other schedules can also be considered.
The workshops are scheduled to occur on September 23 (the day
before ICFP) and September 27-29 (the three days after ICFP).
----------------------------------------------------------------------
Submission details
Deadline for submission: November 20, 2017
Notification of acceptance: December 18, 2017
Prospective organizers of workshops or other co-located events are
invited to submit a completed workshop proposal form in plain text
format to the ICFP 2017 workshop co-chairs
(Christophe Scholliers and David Christiansen), via email to
icfp-workshops-2018@googlegroups.com
by November 20, 2017. (For proposals of co-located events other than
workshops, please fill in the workshop proposal form and just leave
blank any sections that do not apply.) Please note that this is a firm
deadline.
Organizers will be notified if their event proposal is accepted by
December 18, 2017, and if successful, depending on the event, they
will be asked to produce a final report after the event has taken
place that is suitable for publication in SIGPLAN Notices.
The proposal form is available at:
http://www.icfpconference.org/icfp2018-files/icfp18-workshops-form.txt
Further information about SIGPLAN sponsorship is available at:
http://www.sigplan.org/Resources/Proposals/Sponsored/
----------------------------------------------------------------------
Selection committee
The proposals will be evaluated by a committee comprising the
following members of the ICFP 2018 organizing committee, together with
the members of the SIGPLAN executive committee.
Workshop Co-Chair: Christophe Scholliers (University of Ghent)
Workshop Co-Chair: David Christiansen (Indiana University)
General Chair: Robby Findler (Northwestern University)
Program Chair: Matthew Flatt (University of Utah)
----------------------------------------------------------------------
Further information
Any queries should be addressed to the workshop co-chairs (Christophe
Scholliers and David Christiansen), via email to
icfp-workshops-2018@googlegroups.com
--
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
2017-10-04
[Caml-list] ETAPS 2018 final joint call for papers
NEW! The proceedings of ETAPS 2018 will appear in gold open access in
LNCS/ARCoSS (with no added cost for authors specifically).
As an exception for this year only, the important dates of POST differ
from those of the other member conferences!
POST solicits regular research papers, systematization of knowledge
papers, position papers and tool demonstration papers.
******************************************************************
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018
Thessaloniki, Greece, 14-21 April 2018
http://www.etaps.org/2018
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.
-- MAIN CONFERENCES (16-20 April) --
* ESOP: European Symposium on Programming
(PC chair Amal Ahmed, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alessandra Russo, Imperial College London, UK,
and Andy Schürr, Technische Universität Darmstadt, Germany)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Christel Baier, Technische Univ. Dresden, Germany,
and Ugo Dal Lago, Università di Bologna, Italy)
* POST: Principles of Security and Trust
(PC chairs Lujo Bauer, Carnegie Mellon University, USA,
Ralf Küsters, University of Stuttgart, Germany)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
and Marieke Huisman, Universiteit Twente, The Netherlands)
TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speaker:
Martin Abadi (Google Research &
University of California at Santa Cruz, USA)
* FASE invited speaker:
Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker:
Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker:
Benjamin C. Pierce (University of Pennsylvania, USA)
-- IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017 23:59 AoE
* Papers due: 20 October 2017 23:59 AoE
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018
IMPORTANT DATES for POST
* Abstracts due: 22 November 2017 23:59 AoE
* Papers due: 24 November 2017 23:59 AoE
* Rebuttal: 12-16 January 2018
* Notification: 25 January 2018
* Camera-ready versions due: 23 February 2018
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS
have multiple types of research papers, see below.
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.
Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE and POST will use a double-blind review process.
The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
NB! The publisher's charges for gold open access will be paid by the
conference (funded with the participation fees of all
participants). There will be no added cost for authors
specifically. The overall rise in participation fee levels will be
small.
- Research papers
FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also *case
study papers* (with the same page limit as for regular resarch
papers). POST solicits also *systematization of knowledge papers*
(with the same page limit as for regular research papers) and
*position papers* (max 10 pp, excl bibliography of max 2 pp).
Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 6 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FoSSaCS do not accept tool demonstration papers.
-- SATELLITE EVENTS (14-15 April, 21 April) --
A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FoMLAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.
-- HOST INSTITUTION --
ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.
-- ORGANIZERS
Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.
--
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
LNCS/ARCoSS (with no added cost for authors specifically).
As an exception for this year only, the important dates of POST differ
from those of the other member conferences!
POST solicits regular research papers, systematization of knowledge
papers, position papers and tool demonstration papers.
******************************************************************
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018
Thessaloniki, Greece, 14-21 April 2018
http://www.etaps.org/2018
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.
-- MAIN CONFERENCES (16-20 April) --
* ESOP: European Symposium on Programming
(PC chair Amal Ahmed, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alessandra Russo, Imperial College London, UK,
and Andy Schürr, Technische Universität Darmstadt, Germany)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Christel Baier, Technische Univ. Dresden, Germany,
and Ugo Dal Lago, Università di Bologna, Italy)
* POST: Principles of Security and Trust
(PC chairs Lujo Bauer, Carnegie Mellon University, USA,
Ralf Küsters, University of Stuttgart, Germany)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
and Marieke Huisman, Universiteit Twente, The Netherlands)
TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speaker:
Martin Abadi (Google Research &
University of California at Santa Cruz, USA)
* FASE invited speaker:
Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker:
Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker:
Benjamin C. Pierce (University of Pennsylvania, USA)
-- IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017 23:59 AoE
* Papers due: 20 October 2017 23:59 AoE
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018
IMPORTANT DATES for POST
* Abstracts due: 22 November 2017 23:59 AoE
* Papers due: 24 November 2017 23:59 AoE
* Rebuttal: 12-16 January 2018
* Notification: 25 January 2018
* Camera-ready versions due: 23 February 2018
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS
have multiple types of research papers, see below.
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.
Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE and POST will use a double-blind review process.
The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. The
proceedings will be published in the Advanced Research in Computing
and Software Science (ARCoSS) subline of Springer's Lecture Notes in
Computer Science series.
NB! The publisher's charges for gold open access will be paid by the
conference (funded with the participation fees of all
participants). There will be no added cost for authors
specifically. The overall rise in participation fee levels will be
small.
- Research papers
FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also *case
study papers* (with the same page limit as for regular resarch
papers). POST solicits also *systematization of knowledge papers*
(with the same page limit as for regular research papers) and
*position papers* (max 10 pp, excl bibliography of max 2 pp).
Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 6 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FoSSaCS do not accept tool demonstration papers.
-- SATELLITE EVENTS (14-15 April, 21 April) --
A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FoMLAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.
-- HOST INSTITUTION --
ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.
-- ORGANIZERS
Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.
--
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
2017-10-02
[Caml-list] IJCAR 2018 - Call for Papers
CALL FOR PAPERS
The 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018. http://www.floc2018.org
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR technical program will consist of presentations of
high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events
in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Symposium on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
Topics:
-------
IJCAR 2018 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal, temporal,
many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution, model-
elimination, inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model generation,
model checking, semantic guidance, interactive theorem proving, logical
frameworks, AI-related methods for deductive systems, proof presentation,
automated theorem provers, combination of decision procedures, SAT and SMT
solving, etc.
- Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, etc.
We welcome papers combining automated-reasoning formalisms & techniques and
with those from other areas of CS and mathematics, including, e.g., computer
algebra, machine learning, formal languages, formal verification, termination.
In particular, high-quality conference papers on the topics of the IJCAR 2018
affiliated workshops (http://ijcar2018.org/#assocev) are welcome.
The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
Submission details:
-------------------
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2018.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from
http://www.springer.de/comp/lncs/authors.html
We solicit two categories of submissions:
REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including
bibliography, should contain original research, and sufficient detail to assess
the merits and relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data and software
available with their submission for reproducibility. The PC will take
availability of software and data into account when evaluating submissions.
Submissions reporting on case studies in an industrial context are strongly
invited, and should describe details, weaknesses and strength in sufficient
depth. Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including
bibliography, should describe the implemented tool and its novel features. One
author is expected to be able to perform a demonstration on demand to accompany
a tool presentation. Papers describing tools that have already been presented
in other conferences before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.
Best paper award:
-----------------
IJCAR 2018 will recognize the most outstanding submission with a best paper
award at the conference.
Invited speakers:
-----------------
Invited Speakers will be announced later on.
Important dates (provisional):
------------------------------
Abstract submission: January 22nd 2018
Paper submission: January 29th 2018
Notification: March 29th, 2018
Final version of papers due: April 23rd, 2018
IJCAR Conference: July 14-17th, 2018
FLoC Conference: July 6-19th, 2018
IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP!
Student travel awards:
----------------------
Woody Bledsoe Travel Awards will be available to support selected students in
attending the conference.
Organization:
-------------
Conference Chair:
Ian Horrocks, University of Oxford, Oxford, UK
Program Chairs:
Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France
Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany
Roberto Sebastiani, DISI, University of Trento, Trento, Italy
Local Arrangements Chairs:
Daniel Kroening, University of Oxford, Oxford, UK
Marta Kwiatkowska, University of Oxford, Oxford, UK
Workshop Chair:
Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy
Publicity Chair:
Geoff Sutcliffe, University of Miami
Program Committee:
Carlos Areces, FaMAFUniversidad Nacional de Cordoba
Alessandro Artale, Free University of Bolzano-Bozen
Arnon Avron, Tel-Aviv University
Franz Baader, TU Dresden
Clark Barrett, Stanford University
Peter Baumgartner, Data 61 and CSIRO
Christoph Benzmueller, Freie Universitaet Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft Research
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Maria Paola Bonacina, Universita degli Studi di Verona
Torben Brauener, Roskilde University
Agata Ciabattoni, TU Wien
Leonardo de Moura, Microsoft Research
Hans De Nivelle, University of Wroclaw
Stephane Demri, CNRS, LSV, ENS Paris-Saclay
Clare Dixon, University of Liverpool
Francois Fages, Inria Universite Paris-Saclay
Pascal Fontaine, Universite de Lorraine - LORIA
Didier Galmiche (Chair), Universite de Lorraine - LORIA
Vijay Ganesh, University of Waterloo
Silvio Ghilardi, Universite degli Studi di Milano
Juergen Giesl, RWTH Aachen
Laura Giordano, DISIT Universite del Piemonte Orientale
Valentin Goranko, Stockholm University
Rajeev Gore, The Australian National University
Alberto Griggio, FBK-IRST
John Harrison, Intel Corporation
Ian Horrocks, University of Oxford
Moa Johansson, Chalmers Tekniska Hogskola
Cezary Kaliszyk, University of Innsbruck
Deepak Kapur, University of New Mexico
Konstantin Korovin, The University of Manchester
Laura Kovacs Vienna, University of Technology
George Metcalfe, University of Bern
Dale Miller, INRIA and LIX/Ecole Polytechnique
Claudia Nalon, University of Brasilia
Albert Oliveras, - Technical University of Catalonia
Nicola Olivetti, LSIS Aix-Marseille University
Jens Otten, University of Oslo
Lawrence Paulson, University of Cambridge
Nicolas Peltier, CNRS, LIG
Frank Pfenning, Carnegie Mellon University
Silvio Ranise, FBK-Irst
Christophe Ringeissen, LORIA-INRIA
Philipp Ruemmer, Uppsala University
Katsuhiko Sano, Hokkaido University
Uli Sattler, The University of Manchester
Renate A. Schmidt, The University of Manchester
Stephan Schulz (Chair), DHBW Stuttgart
Roberto Sebastiani (Chair), DISI University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Thomas Sturm, CNRS
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Alwen Tiu, Nanyang Technological University
Ashish Tiwari, SRI International
Josef Urban, Czech Technical University in Prague
Luca Viganò, King's College London
Andrei Voronkov, The University of Manchester
Uwe Waldmann, Max Planck Institute for Informatics
Christoph Weidenbach, Max Planck Institute for Informatics
--
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 9th International Joint Conference on Automated Reasoning, IJCAR 2018
Oxford, UK, July 14-17, 2018. http://www.ijcar2018.org
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6-19, 2018. http://www.floc2018.org
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR technical program will consist of presentations of
high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events
in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Symposium on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
Topics:
-------
IJCAR 2018 invites submissions related to all aspects of automated reasoning,
including foundations, implementations, and applications. Original research
papers and descriptions of working automated deduction systems are solicited.
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal, temporal,
many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution, model-
elimination, inverse method, paramodulation, term rewriting, induction,
unification, constraint solving, decision procedures, model generation,
model checking, semantic guidance, interactive theorem proving, logical
frameworks, AI-related methods for deductive systems, proof presentation,
automated theorem provers, combination of decision procedures, SAT and SMT
solving, etc.
- Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, etc.
We welcome papers combining automated-reasoning formalisms & techniques and
with those from other areas of CS and mathematics, including, e.g., computer
algebra, machine learning, formal languages, formal verification, termination.
In particular, high-quality conference papers on the topics of the IJCAR 2018
affiliated workshops (http://ijcar2018.org/#assocev) are welcome.
The proceedings of IJCAR 2018 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
Submission details:
-------------------
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2018.
Authors are strongly encouraged to use LaTeX and the Springer "llncs" format,
which can be obtained from
http://www.springer.de/comp/lncs/authors.html
We solicit two categories of submissions:
REGULAR PAPERS. Submissions, not exceeding sixteen (16) pages including
bibliography, should contain original research, and sufficient detail to assess
the merits and relevance of the contribution. For papers reporting experimental
results, authors are strongly encouraged to make their data and software
available with their submission for reproducibility. The PC will take
availability of software and data into account when evaluating submissions.
Submissions reporting on case studies in an industrial context are strongly
invited, and should describe details, weaknesses and strength in sufficient
depth. Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is not
allowed.
SYSTEM DESCRIPTIONS. Submissions, not exceeding eight (8) pages including
bibliography, should describe the implemented tool and its novel features. One
author is expected to be able to perform a demonstration on demand to accompany
a tool presentation. Papers describing tools that have already been presented
in other conferences before will be accepted only if significant and clear
enhancements to the tool are reported and implemented.
Best paper award:
-----------------
IJCAR 2018 will recognize the most outstanding submission with a best paper
award at the conference.
Invited speakers:
-----------------
Invited Speakers will be announced later on.
Important dates (provisional):
------------------------------
Abstract submission: January 22nd 2018
Paper submission: January 29th 2018
Notification: March 29th, 2018
Final version of papers due: April 23rd, 2018
IJCAR Conference: July 14-17th, 2018
FLoC Conference: July 6-19th, 2018
IMPORTANT NOTICE: due to very strict FLoC constraints, deadlines are SHARP!
Student travel awards:
----------------------
Woody Bledsoe Travel Awards will be available to support selected students in
attending the conference.
Organization:
-------------
Conference Chair:
Ian Horrocks, University of Oxford, Oxford, UK
Program Chairs:
Didier Galmiche, LORIA, Universite de Lorraine, Nancy, France
Stephan Schulz, DHBW Stuttgart, Stuttgart, Germany
Roberto Sebastiani, DISI, University of Trento, Trento, Italy
Local Arrangements Chairs:
Daniel Kroening, University of Oxford, Oxford, UK
Marta Kwiatkowska, University of Oxford, Oxford, UK
Workshop Chair:
Alberto Griggio, Fondazione Bruno Kessler, Trento, Italy
Publicity Chair:
Geoff Sutcliffe, University of Miami
Program Committee:
Carlos Areces, FaMAFUniversidad Nacional de Cordoba
Alessandro Artale, Free University of Bolzano-Bozen
Arnon Avron, Tel-Aviv University
Franz Baader, TU Dresden
Clark Barrett, Stanford University
Peter Baumgartner, Data 61 and CSIRO
Christoph Benzmueller, Freie Universitaet Berlin
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft Research
Jasmin Christian Blanchette, Vrije Universiteit Amsterdam
Maria Paola Bonacina, Universita degli Studi di Verona
Torben Brauener, Roskilde University
Agata Ciabattoni, TU Wien
Leonardo de Moura, Microsoft Research
Hans De Nivelle, University of Wroclaw
Stephane Demri, CNRS, LSV, ENS Paris-Saclay
Clare Dixon, University of Liverpool
Francois Fages, Inria Universite Paris-Saclay
Pascal Fontaine, Universite de Lorraine - LORIA
Didier Galmiche (Chair), Universite de Lorraine - LORIA
Vijay Ganesh, University of Waterloo
Silvio Ghilardi, Universite degli Studi di Milano
Juergen Giesl, RWTH Aachen
Laura Giordano, DISIT Universite del Piemonte Orientale
Valentin Goranko, Stockholm University
Rajeev Gore, The Australian National University
Alberto Griggio, FBK-IRST
John Harrison, Intel Corporation
Ian Horrocks, University of Oxford
Moa Johansson, Chalmers Tekniska Hogskola
Cezary Kaliszyk, University of Innsbruck
Deepak Kapur, University of New Mexico
Konstantin Korovin, The University of Manchester
Laura Kovacs Vienna, University of Technology
George Metcalfe, University of Bern
Dale Miller, INRIA and LIX/Ecole Polytechnique
Claudia Nalon, University of Brasilia
Albert Oliveras, - Technical University of Catalonia
Nicola Olivetti, LSIS Aix-Marseille University
Jens Otten, University of Oslo
Lawrence Paulson, University of Cambridge
Nicolas Peltier, CNRS, LIG
Frank Pfenning, Carnegie Mellon University
Silvio Ranise, FBK-Irst
Christophe Ringeissen, LORIA-INRIA
Philipp Ruemmer, Uppsala University
Katsuhiko Sano, Hokkaido University
Uli Sattler, The University of Manchester
Renate A. Schmidt, The University of Manchester
Stephan Schulz (Chair), DHBW Stuttgart
Roberto Sebastiani (Chair), DISI University of Trento
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Thomas Sturm, CNRS
Geoff Sutcliffe, University of Miami
Cesare Tinelli, The University of Iowa
Alwen Tiu, Nanyang Technological University
Ashish Tiwari, SRI International
Josef Urban, Czech Technical University in Prague
Luca Viganò, King's College London
Andrei Voronkov, The University of Manchester
Uwe Waldmann, Max Planck Institute for Informatics
Christoph Weidenbach, Max Planck Institute for Informatics
--
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
2017-10-01
[Caml-list] FLOPS 2018: Second Call for Papers
SECOND Call For Papers
FLOPS 2018: 14th International Symposium on Functional and Logic Programming
In-Cooperation with ACM SIGPLAN
9-11 May, 2018, Nagoya, Japan
http://www.sqlab.jp/FLOPS2018/
Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.
FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming. FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.
Scope
FLOPS solicits original papers in all areas of the declarative
programming:
* functional, logic, functional-logic programming, re-writing
systems, formal methods and model checking, program transformations
and program refinements, developing programs with the help of theorem
provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
techniques, memory management, run-time systems), applications and
case studies.
FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.
Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.
Proceedings
The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink.
Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).
Important dates
13 November 2017 (any time zone): Abstract Submission
20 November 2017 (any time zone): Submission deadline
15 January 2018: Author notification
9-11 May 2018: FLOPS Symposium
Invited Talks
To be announced
Submission
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines. Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018
Program Committee
Andreas Rossberg Google, Germany
Atsushi Ohori Tohoku University, Japan
Bruno C. D. S. Oliveira The University of Hong Kong, China
Carsten Fuhs Birkbeck, University of London, UK
Chung-chieh Shan Indiana University, USA
Didier Remy INRIA, France
Harald Søndergaard The University of Melbourne, Australia
Jacques Garrigue Nagoya University, Japan
Jan Midtgaard University of Southern Denmark, Denmark
Joachim Breitner University of Pennsylvania, USA
John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair)
Jorge A Navas SRI International, USA
Kazunori Ueda Waseda University, Japan
Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore
María Alpuente Universitat Politècnica de València, Spain
María Garcia De La Banda Monash University, Australia
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair)
Meng Wang University of Kent, UK
Michael Codish Ben-Gurion University of the Negev, Israel
Michael Leuschel University of Düsseldorf, Germany
Naoki Kobayashi University of Tokyo, Japan
Nikolaj Bjørner Microsoft Research, USA
Robert Glück University of Copenhagen, Denmark
Samir Genaim Universidad Complutense de Madrid, Spain
Siau Cheng Khoo National University of Singapore, Singapore
Organizers
Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair)
John Gallagher Roskilde University and IMDEA Software Institute (co-chair)
Makoto Tatsuta National Institute of Informatics, Japan (General Chair)
Koji Nakazawa Nagoya University, Japan (Local Chair)
--
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
FLOPS 2018: 14th International Symposium on Functional and Logic Programming
In-Cooperation with ACM SIGPLAN
9-11 May, 2018, Nagoya, Japan
http://www.sqlab.jp/FLOPS2018/
Writing down detailed computational steps is not the only way of
programming. The alternative, being used increasingly in practice, is
to start by writing down the desired properties of the result. The
computational steps are then (semi-)automatically derived from these
higher-level specifications. Examples of this declarative style
include functional and logic programming, program transformation and
re-writing, and extracting programs from proofs of their correctness.
FLOPS aims to bring together practitioners, researchers and
implementors of the declarative programming, to discuss mutually
interesting results and common problems: theoretical advances, their
implementations in language systems and tools, and applications of
these systems in practice. The scope includes all aspects of the
design, semantics, theory, applications, implementations, and teaching
of declarative programming. FLOPS specifically aims to
promote cross-fertilization between theory and practice and among
different styles of declarative programming.
Scope
FLOPS solicits original papers in all areas of the declarative
programming:
* functional, logic, functional-logic programming, re-writing
systems, formal methods and model checking, program transformations
and program refinements, developing programs with the help of theorem
provers or SAT/SMT solvers;
* foundations, language design, implementation issues (compilation
techniques, memory management, run-time systems), applications and
case studies.
FLOPS promotes cross-fertilization among different styles of
declarative programming. Therefore, submissions must be written to be
understandable by the wide audience of declarative programmers and
researchers. Submission of system descriptions and declarative pearls
are especially encouraged.
Submissions should fall into one of the following categories:
* Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
* System descriptions: they should contain a link to a working
system and will be judged on originality, usefulness, and design.
* Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM SIGPLAN
Republication Policy.
Proceedings
The proceedings will be published by Springer International Publishing
in the Lecture Notes in Computer Science (LNCS) series, as a printed
volume as well as online in the digital library SpringerLink.
Post-proceedings: The authors of 4-7 best papers will be invited to
submit the extended version of their FLOPS paper to a special issue of
the journal Science of Computer Programming (SCP).
Important dates
13 November 2017 (any time zone): Abstract Submission
20 November 2017 (any time zone): Submission deadline
15 January 2018: Author notification
9-11 May 2018: FLOPS Symposium
Invited Talks
To be announced
Submission
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. The
formatting has to conform to Springer's guidelines. Regular research
papers should be supported by proofs and/or experimental results. In
case of lack of space, this supporting information should be made
accessible otherwise (e.g., a link to a Web page, or an appendix).
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=flops2018
Program Committee
Andreas Rossberg Google, Germany
Atsushi Ohori Tohoku University, Japan
Bruno C. D. S. Oliveira The University of Hong Kong, China
Carsten Fuhs Birkbeck, University of London, UK
Chung-chieh Shan Indiana University, USA
Didier Remy INRIA, France
Harald Søndergaard The University of Melbourne, Australia
Jacques Garrigue Nagoya University, Japan
Jan Midtgaard University of Southern Denmark, Denmark
Joachim Breitner University of Pennsylvania, USA
John Gallagher Roskilde University, Denmark and IMDEA Software Institute, Spain (co-chair)
Jorge A Navas SRI International, USA
Kazunori Ueda Waseda University, Japan
Kenny Zhuo Ming Lu School of Information Technology, Nanyang Polytechnic, Singapore
María Alpuente Universitat Politècnica de València, Spain
María Garcia De La Banda Monash University, Australia
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany (co-chair)
Meng Wang University of Kent, UK
Michael Codish Ben-Gurion University of the Negev, Israel
Michael Leuschel University of Düsseldorf, Germany
Naoki Kobayashi University of Tokyo, Japan
Nikolaj Bjørner Microsoft Research, USA
Robert Glück University of Copenhagen, Denmark
Samir Genaim Universidad Complutense de Madrid, Spain
Siau Cheng Khoo National University of Singapore, Singapore
Organizers
Martin Sulzmann Karlsruhe University of Applied Sciences (co-chair)
John Gallagher Roskilde University and IMDEA Software Institute (co-chair)
Makoto Tatsuta National Institute of Informatics, Japan (General Chair)
Koji Nakazawa Nagoya University, Japan (Local Chair)
--
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
2017-09-28
[Caml-list] PEPM 2018 Final Call for Papers
PEPM 2018 FINAL CALL FOR PAPERS
===============================
The submission site is now open: https://pepm18.hotcrp.com
Only one week until the paper submission deadline (6th October AoE)!
Highlights
----------
PEPM 2018 welcomes submissions on
* semantics based and machine-learning based program synthesis and program
optimisation, and
* modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types,
and contract specifications,
in addition to traditional PEPM topics.
Do submit a short paper if you want to get feedback for your work in progress!
If requested, short papers can be left out of the proceedings so that the
results can be published elsewhere.
New in this call
----------------
Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard.
Short papers should include the words "short paper" somewhere in their title,
and will be evaluated primarily on the basis of their ideas rather than
finished execution.
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018
===============================================================================
* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
which has a history going back to 1991 and has co-located with POPL every year
since 2006, originates in the discoveries of practically useful automated
techniques for evaluating programs with only partial input. Over the years,
the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box execution,
but also as data structures that can be generated, analysed, and transformed
while establishing or maintaining important semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and program
optimisation.
* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.
More generally, topics of interest for PEPM 2018 include, but are not limited
to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution, refactoring,
decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, embedded and resource-limited computation, and
security.
This list of categories is not exhaustive, and we encourage submissions
describing new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko
(https://josh-hs-ko.github.io).
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted: Regular Research Papers and Short
Papers.
* Regular Research Papers should describe new results, and will be judged on
originality, correctness, significance, and clarity. Regular research
papers must not exceed 12 pages (excluding bibliography).
* Short Papers may include tool demonstrations and presentations of exciting
if not fully polished research, and of interesting academic, industrial,
and open-source applications that are new or unfamiliar; they will be
evaluated primarily on the basis of their ideas rather than finished
execution. Short papers must not exceed 6 pages (excluding bibliography),
and should include the words "short paper" somewhere in their title.
Both kinds of submissions should be typeset using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm18.hotcrp.com/
PEPM 2018 will employ lightweight double-blind reviewing according to the rules
of POPL 2018. Quoting from POPL 2018's call for papers:
"submitted papers must adhere to two rules:
1. author names and institutions must be omitted, and
2. references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on
the work of ...").
The purpose of this process is to help the PC and external reviewers come to
an initial judgment about the paper without bias, not to make it impossible
for them to discover the authors if they were to try. Nothing should be done
in the name of anonymity that weakens the submission or makes the job of
reviewing the paper more difficult. In particular, important background
references should not be omitted or anonymized. In addition, authors should
feel free to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas."
See POPL 2018's Submission and Reviewing FAQ page for more information:
http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ
Submissions are welcome from PC members (except the two co-chairs) provided
that there are non-PC co-authors.
Accepted papers will appear in formal proceedings published by ACM, and be
included in the ACM Digital Library. Authors of short papers, however, can ask
for their papers to be left out of the formal proceedings.
At least one author of each accepted contribution must attend the workshop and
present the work. In the case of tool demonstration papers, a live
demonstration of the described tool is expected.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
Important dates
---------------
* Paper submission deadline : Friday 6th October 2017 (AoE) (firm)
* Author notification : Saturday 4th November 2017
* Workshop : Monday 8th – Tuesday 9th January 2018
The proceedings will be published 2 weeks pre-conference.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work. (For
those rare conferences whose proceedings are published in the ACM Digital
Library after the conference is over, the official publication date remains the
first day of the conference.)
Best paper award
----------------
PEPM 2018 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Invited speakers
----------------
Alex Aiken (Stanford University)
Conal Elliott (Target)
Jan Midtgaard (University of Southern Denmark)
Programme committee
-------------------
Nada Amin (EPFL)
Shigeru Chiba (University of Tokyo)
Ezgi Çiçek (Max Planck Institute for Software Systems)
Olivier Danvy (Yale-NUS College)
Ronald Garcia (University of British Columbia)
Simon Gay (University of Glasgow)
Andy Gill (X, the Moonshot Factory)
Fritz Henglein (co-chair) (University of Copenhagen)
Anastasia Izmaylova (IMC Financial Markets)
Johan Jeuring (Utrecht University)
Gabriele Keller (University of New South Wales)
Oleg Kiselyov (Tohoku University)
Hsiang-Shang Ko (co-chair) (National Institute of Informatics)
Ralf Lämmel (University of Koblenz-Landau)
Julia Lawall (Inria)
Simon Peyton Jones (Microsoft Research Cambridge)
Frank Pfenning (Carnegie Mellon University)
Sriram Rajamani (Microsoft Research India)
Norman Ramsey (Tufts University)
Thomas Reps (University of Wisconsin-Madison)
Sergei Romanenko (Keldysh Institute of Applied Mathematics)
Tiark Rompf (Purdue University)
Wolfram Schulte (Facebook)
Peter Sestoft (IT University of Copenhagen)
Harald Søndergaard (University of Melbourne)
Kohei Suenaga (Kyoto University)
Martin Vechev (ETH Zurich)
Marcos Viera (University of the Republic)
Nobuko Yoshida (Imperial College London)
--
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 submission site is now open: https://pepm18.hotcrp.com
Only one week until the paper submission deadline (6th October AoE)!
Highlights
----------
PEPM 2018 welcomes submissions on
* semantics based and machine-learning based program synthesis and program
optimisation, and
* modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types,
and contract specifications,
in addition to traditional PEPM topics.
Do submit a short paper if you want to get feedback for your work in progress!
If requested, short papers can be left out of the proceedings so that the
results can be published elsewhere.
New in this call
----------------
Invited talks by Alex Aiken, Conal Elliott, and Jan Midtgaard.
Short papers should include the words "short paper" somewhere in their title,
and will be evaluated primarily on the basis of their ideas rather than
finished execution.
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018
===============================================================================
* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
which has a history going back to 1991 and has co-located with POPL every year
since 2006, originates in the discoveries of practically useful automated
techniques for evaluating programs with only partial input. Over the years,
the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box execution,
but also as data structures that can be generated, analysed, and transformed
while establishing or maintaining important semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and program
optimisation.
* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.
More generally, topics of interest for PEPM 2018 include, but are not limited
to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution, refactoring,
decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, embedded and resource-limited computation, and
security.
This list of categories is not exhaustive, and we encourage submissions
describing new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko
(https://josh-hs-ko.github.io).
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted: Regular Research Papers and Short
Papers.
* Regular Research Papers should describe new results, and will be judged on
originality, correctness, significance, and clarity. Regular research
papers must not exceed 12 pages (excluding bibliography).
* Short Papers may include tool demonstrations and presentations of exciting
if not fully polished research, and of interesting academic, industrial,
and open-source applications that are new or unfamiliar; they will be
evaluated primarily on the basis of their ideas rather than finished
execution. Short papers must not exceed 6 pages (excluding bibliography),
and should include the words "short paper" somewhere in their title.
Both kinds of submissions should be typeset using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm18.hotcrp.com/
PEPM 2018 will employ lightweight double-blind reviewing according to the rules
of POPL 2018. Quoting from POPL 2018's call for papers:
"submitted papers must adhere to two rules:
1. author names and institutions must be omitted, and
2. references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on
the work of ...").
The purpose of this process is to help the PC and external reviewers come to
an initial judgment about the paper without bias, not to make it impossible
for them to discover the authors if they were to try. Nothing should be done
in the name of anonymity that weakens the submission or makes the job of
reviewing the paper more difficult. In particular, important background
references should not be omitted or anonymized. In addition, authors should
feel free to disseminate their ideas or draft versions of their paper as they
normally would. For instance, authors may post drafts of their papers on the
web or give talks on their research ideas."
See POPL 2018's Submission and Reviewing FAQ page for more information:
http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ
Submissions are welcome from PC members (except the two co-chairs) provided
that there are non-PC co-authors.
Accepted papers will appear in formal proceedings published by ACM, and be
included in the ACM Digital Library. Authors of short papers, however, can ask
for their papers to be left out of the formal proceedings.
At least one author of each accepted contribution must attend the workshop and
present the work. In the case of tool demonstration papers, a live
demonstration of the described tool is expected.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
Important dates
---------------
* Paper submission deadline : Friday 6th October 2017 (AoE) (firm)
* Author notification : Saturday 4th November 2017
* Workshop : Monday 8th – Tuesday 9th January 2018
The proceedings will be published 2 weeks pre-conference.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work. (For
those rare conferences whose proceedings are published in the ACM Digital
Library after the conference is over, the official publication date remains the
first day of the conference.)
Best paper award
----------------
PEPM 2018 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Invited speakers
----------------
Alex Aiken (Stanford University)
Conal Elliott (Target)
Jan Midtgaard (University of Southern Denmark)
Programme committee
-------------------
Nada Amin (EPFL)
Shigeru Chiba (University of Tokyo)
Ezgi Çiçek (Max Planck Institute for Software Systems)
Olivier Danvy (Yale-NUS College)
Ronald Garcia (University of British Columbia)
Simon Gay (University of Glasgow)
Andy Gill (X, the Moonshot Factory)
Fritz Henglein (co-chair) (University of Copenhagen)
Anastasia Izmaylova (IMC Financial Markets)
Johan Jeuring (Utrecht University)
Gabriele Keller (University of New South Wales)
Oleg Kiselyov (Tohoku University)
Hsiang-Shang Ko (co-chair) (National Institute of Informatics)
Ralf Lämmel (University of Koblenz-Landau)
Julia Lawall (Inria)
Simon Peyton Jones (Microsoft Research Cambridge)
Frank Pfenning (Carnegie Mellon University)
Sriram Rajamani (Microsoft Research India)
Norman Ramsey (Tufts University)
Thomas Reps (University of Wisconsin-Madison)
Sergei Romanenko (Keldysh Institute of Applied Mathematics)
Tiark Rompf (Purdue University)
Wolfram Schulte (Facebook)
Peter Sestoft (IT University of Copenhagen)
Harald Søndergaard (University of Melbourne)
Kohei Suenaga (Kyoto University)
Martin Vechev (ETH Zurich)
Marcos Viera (University of the Republic)
Nobuko Yoshida (Imperial College London)
--
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
2017-09-26
[Caml-list] Commonsense-2017 - Call for Participation
Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017):
Call for Participation
You are invited to participate in Commonsense-2017, to be held at the
University College London, November 6-8, 2017.
The biennial Commonsense Symposia series provides a forum for exploring
one of the long-term goals of Artificial Intelligence, endowing computers
with common sense. Commonsense knowledge and reasoning are relevant for
many applications of current interest, such as robot and human
collaboration, transparent machine-learning systems that can explain their
conclusions, social media and story understanding software, and dialogue
systems.
Dates
November 6-8, 2017.
Location
Commonsense-2017 will take place on the campus of University College
London:
Haldane Room
Wilkins Building, Gower Street, London WC1E 6BT
Map: https://www.ucl.ac.uk/maps/haldane-room
Registration
Registration costs for this symposium are 25.00, and must be made via the
UCL online store:
https://www.ucl.ac.uk/infostudies/commonsense-2017/registration/
Local accommodation
Numerous hotels are within walking distance of UCL. Please see the
following suggestions, and contact hotels directly for booking:
https://www.ucl.ac.uk/infostudies/commonsense-2017/hotels/
Invited speakers:
Sebastian Riedel, University College London
Murray Shanahan, Imperial College London
Conference Chairs
Andrew S. Gordon, University of Southern California
Rob Miller, University College London
Gyorgy Turan, University of Illinois at Chicago and University of Szeged
Program Committee
Eyal Amir, University of Illinois at Urbana-Champaign
Chitta Baral, Arizona State University
Vaishak Belle, University of Edinburgh
Brandon Bennett, University of Leeds
Gbor Berend, University of Szeged
Nicola Bicocchi, Unversity of New Brunswick
Antonis Bikakis, University College London
Bert Bredeweg, University of Amsterdam
Erik Cambria, Nanyang Technological University
Cungen Cao, Chinese Academy of Sciences
Nathanael Chambers, United States Naval Academy
William Cohen, Carnegie Mellon University
Tony Cohn, University of Leeds
Ernest Davis, New York University
Gerard de Melo, Rutgers University
Valeria De Paiva, University of Birmingham
Luke Dickens, University College London
Esra Erdem, Sabanci University
Nina Gierasimczuk, Technical University of Denmark
Jonathan Gordon, USC Information Sciences Institute
Catherine Havasi, Luminoso Technologies
Jose Hernandez-Orallo, Universitat Politecnica de Valencia
Jeff Horty, University of Maryland
Daniela Inclezan, Miami University
Naoya Inoue, Tohoku University
Benjamin Johnston, University of Technology Sydney
Antonis Kakas, University of Cyprus
Gerhard Lakemeyer, RWTH Aachen University
Henry Lieberman, Massachusetts Institute of Technology
Vladimir Lifschitz, University of Texas
Fangzhen Lin, Hong Kong University of Science and Technology
Quan Liu, University of Science and Technology of China
Loizos Michael, Open University of Cyprus
Niloofar Montazeri, University of California Riverside
Leora Morgenstern, Leidos
Charlie Ortiz, Nuance Communications
Sebastian Pado, Stuttgart University
Theodore Patkos, Institute of Computer Science, FORTH
Pavlos Peppas, University of Patras
Dimitris Plexousakis, Institute of Computer Science, FORTH
Alan Ritter, Ohio State University
Chiaki Sakama, Wakayama University
Steven Schockaert, Cardiff University
Bob Sloan, University of Illinois at Chicago
Mark Steedman, University of Edinburgh
Michael Thielscher, University of New South Wales
Richmond Thomason, University of Michigan
Lucy Vanderwende, Microsoft Research
Laure Vieu, Institut de Recherche en Informatique de Toulouse
Stefan Woltran, Technische Universitt Wien
Website: http://commonsensereasoning.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
Call for Participation
You are invited to participate in Commonsense-2017, to be held at the
University College London, November 6-8, 2017.
The biennial Commonsense Symposia series provides a forum for exploring
one of the long-term goals of Artificial Intelligence, endowing computers
with common sense. Commonsense knowledge and reasoning are relevant for
many applications of current interest, such as robot and human
collaboration, transparent machine-learning systems that can explain their
conclusions, social media and story understanding software, and dialogue
systems.
Dates
November 6-8, 2017.
Location
Commonsense-2017 will take place on the campus of University College
London:
Haldane Room
Wilkins Building, Gower Street, London WC1E 6BT
Map: https://www.ucl.ac.uk/maps/haldane-room
Registration
Registration costs for this symposium are 25.00, and must be made via the
UCL online store:
https://www.ucl.ac.uk/infostudies/commonsense-2017/registration/
Local accommodation
Numerous hotels are within walking distance of UCL. Please see the
following suggestions, and contact hotels directly for booking:
https://www.ucl.ac.uk/infostudies/commonsense-2017/hotels/
Invited speakers:
Sebastian Riedel, University College London
Murray Shanahan, Imperial College London
Conference Chairs
Andrew S. Gordon, University of Southern California
Rob Miller, University College London
Gyorgy Turan, University of Illinois at Chicago and University of Szeged
Program Committee
Eyal Amir, University of Illinois at Urbana-Champaign
Chitta Baral, Arizona State University
Vaishak Belle, University of Edinburgh
Brandon Bennett, University of Leeds
Gbor Berend, University of Szeged
Nicola Bicocchi, Unversity of New Brunswick
Antonis Bikakis, University College London
Bert Bredeweg, University of Amsterdam
Erik Cambria, Nanyang Technological University
Cungen Cao, Chinese Academy of Sciences
Nathanael Chambers, United States Naval Academy
William Cohen, Carnegie Mellon University
Tony Cohn, University of Leeds
Ernest Davis, New York University
Gerard de Melo, Rutgers University
Valeria De Paiva, University of Birmingham
Luke Dickens, University College London
Esra Erdem, Sabanci University
Nina Gierasimczuk, Technical University of Denmark
Jonathan Gordon, USC Information Sciences Institute
Catherine Havasi, Luminoso Technologies
Jose Hernandez-Orallo, Universitat Politecnica de Valencia
Jeff Horty, University of Maryland
Daniela Inclezan, Miami University
Naoya Inoue, Tohoku University
Benjamin Johnston, University of Technology Sydney
Antonis Kakas, University of Cyprus
Gerhard Lakemeyer, RWTH Aachen University
Henry Lieberman, Massachusetts Institute of Technology
Vladimir Lifschitz, University of Texas
Fangzhen Lin, Hong Kong University of Science and Technology
Quan Liu, University of Science and Technology of China
Loizos Michael, Open University of Cyprus
Niloofar Montazeri, University of California Riverside
Leora Morgenstern, Leidos
Charlie Ortiz, Nuance Communications
Sebastian Pado, Stuttgart University
Theodore Patkos, Institute of Computer Science, FORTH
Pavlos Peppas, University of Patras
Dimitris Plexousakis, Institute of Computer Science, FORTH
Alan Ritter, Ohio State University
Chiaki Sakama, Wakayama University
Steven Schockaert, Cardiff University
Bob Sloan, University of Illinois at Chicago
Mark Steedman, University of Edinburgh
Michael Thielscher, University of New South Wales
Richmond Thomason, University of Michigan
Lucy Vanderwende, Microsoft Research
Laure Vieu, Institut de Recherche en Informatique de Toulouse
Stefan Woltran, Technische Universitt Wien
Website: http://commonsensereasoning.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
2017-09-11
Re: [Caml-list] ETAPS 2018 joint call for papers
Dear Tarmo (and lists),
I am worried by the choice of Springer Gold OA proceedings. Does this mean that authors will have to pay author fees (Author Processing Charge, APC)? I would not submit to conference(s) with mandatory APC, as I believe that they make the situation of scientific publishing in our field worse than its current state (currently, for many papers that are made available on author webpages or on arXiv, no one needs to pay).On Wed, Aug 23, 2017 at 10:47 PM, Tarmo Uustalu <tarmo@cs.ioc.ee> wrote:
NEW! The proceedings of ETAPS 2018 will appear in *gold open access*.
As an exception for this year only, the important dates of POST differ
from the other member conferences!
************************************************************ ******
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018
Thessaloniki, Greece, 14-21 April 2018
http://www.etaps.org/2018
************************************************************ ******
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.
-- MAIN CONFERENCES (16-20 April) --
* ESOP: European Symposium on Programming
(PC chair Amal Ahmed, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alessandra Russo, Imperial College London, UK,
and Andy Schürr, Technische Universität Darmstadt, Germany)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Christel Baier, Technische Univ. Dresden, Germany,
and Ugo Dal Lago, Università di Bologna, Italy)
* POST: Principles of Security and Trust
(PC chairs Lujo Bauer, Carnegie Mellon University, USA,
Ralf Küsters, University of Stuttgart, Germany)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
and Marieke Huisman, Universiteit Twente, The Netherlands)
TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speaker:
Martin Abadi (Google Research &
University of California at Santa Cruz, USA)
* FASE invited speaker:
Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker:
Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker:
Benjamin C. Pierce (University of Pennsylvania, USA)
-- IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017
* Papers due: 20 October 2017
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018
IMPORTANT DATES for POST
* Abstracts due: 22 November 2017
* Papers due: 24 November 2017
* Rebuttal: 12-16 January 2018
* Notification: 25 January 2018
* Camera-ready versions due: 23 February 2018
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers.
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.
Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE and POST will use a double-blind review process.
The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. It
is most likely that the proceedings will be published in the Advanced
Research in Computing and Software Science (ARCoSS) subline of
Springer's Lecture Notes in Computer Science series.
- Research papers
FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also *case study
papers* (at most 15 pp, excluding bibliography of max 2 pp).
Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 6 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FoSSaCS do not accept tool demonstration papers.
-- SATELLITE EVENTS (14-15 April, 21 April) --
A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FAEPAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.
-- HOST INSTITUTION --
ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.
-- ORGANIZERS
Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.
--
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
Subscribe to:
Posts (Atom)