FLoC 2018 — The 2018 Federated Logic Conference
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/
In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
hosted the first Federated Logic Conference (FLoC). It was modelled
after the successful Federated Computer Research Conference (FCRC),
and synergetically brought together conferences that apply logic to
computer science.
The seventh Federated Logic Conference (FLoC'18) will be held in
Oxford, UK, in July 2018, at the Mathematical Institute and the
Blavatnik School of Government at the University of Oxford. FLoC 2018
brings together nine major international conferences related to
mathematical logic and computer science:
International Conference on Computer Aided Verification (CAV)
http://cavconference.org/2018/
IEEE Computer Security Foundations Symposium (CSF)
http://www.cs.ox.ac.uk/people/cas.cremers/csf2018/
International Symposium on Formal Methods (FM)
http://www.fm2018.org
International Conference on Formal Structures for Computation and
Deduction (FSCD)
http://www.cs.le.ac.uk/events/fscd2018/
International Conference on Logic Programming (ICLP)
https://www.cs.nmsu.edu/ALP/iclp2018/
International Joint Conference on Automated Reasoning (IJCAR)
http://ijcar2018.org
International Conference on Interactive Theorem Proving (ITP)
https://itp2018.inria.fr
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
http://lics.siglog.org/lics18/
International Conference on Theory and Applications of Satisfiability
Testing (SAT)
http://sat2018.azurewebsites.net/
Please refer to the individual websites for conference-specific Calls
for Papers, deadlines and information on how to submit.
In addition to conferences, FLoC 2018 will also feature 79 workshops
(7-8 July, 13 July, and 18-19 July) and the School on Foundations of
Programming and Software Systems (FoPSS, 30 June – 6 July).
The list of workshops can be found at http://www.floc2018.org/workshops.
A separate call for workshop papers will follow in February 2018.
IMPORTANT DATES
Conference papers due: see individual conference webpages
Conference papers notification: 31st March 2018
Workshop papers due: 15th April 2018
Workshop papers notification: 15th May 2018
Camera-ready versions: 31st May 2018
FLoC'18 Steering Committee
General Chair: Moshe Y. Vardi
Conference Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV Representative: Orna Grumberg
CSF Representative: Stephen Chong
FM Representative: Ana Cavalcanti
FSCD Representative: Luke Ong
ICLP Representative: Torsten Schaub
IJCAR Representative: Franz Baader
ITP Representative: Larry Paulson
LICS Representative: Martin Grohe
SAT Representative: Armin Biere
SIGLOG Representative: Prakash Panangaden
Programme Committee Chairs
General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV: Hana Chockler, Georg Weissenbacher
CSF: Stephen Chong, Stéphanie Delaune
FM: Jan Peleska, Bill Roscoe
FSCD: Hélène Kirchner
ICLP: Alessandro dal Palù, Paul Tarau
IJCAR: Didier Galmiche, Stephan Schulz, Roberto Sebastiani
ITP: Jeremy Avigad, Assia Mahboubi
LICS: Martin Hofmann
SAT: Olaf Beyersdorff, Christoph Wintersteiger
--
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-27
[Caml-list] CAV 2018 - Call for Papers
Call for papers
CAV 2018: The 30th International Conference on Computer Aided Verification
July 14-17 2018, Oxford, UK, Part of the Federated Logic Conference, FLoC 2018
http://cavconference.org/2018/
http://floc2018.org
Important dates:
Paper submission deadline: January 31, 2018 (firm)
Rebuttal period: March 15-17, 2018
Author notification: March 31st, 2018
CAV 2018 is the 30th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. The conference covers the spectrum from
theoretical results to concrete applications, with an emphasis on
practical verification tools and the algorithms and techniques that
are needed for their implementation. CAV considers it vital to
continue spurring advances in hardware and software verification while
expanding to new domains such as machine learning, autonomous systems,
and computer security. The proceedings of the conference will be
published in the Springer-Verlag Lecture Notes in Computer Science
series. A selection of papers is expected to be invited to a special
issue of Formal Methods in System Design and the Journal of the ACM.
CAV'18 will take place in Oxford, UK, and is a part of the Federated
Logic Conference (FLoC) 2018.
Topics of interest include but are not limited to:
+ Algorithms and tools for verifying models and implementations
+ Algorithms and tools for system synthesis
+ Algorithms and tools that combine verification and learning
+ Mathematical and logical foundations of verification and synthesis
+ Specifications and correctness criteria for programs and systems
+ Deductive verification using proof assistants
+ Hardware verification techniques
+ Program analysis and software verification
+ Software synthesis
+ Hybrid systems and embedded systems verification
+ Formal methods for cyber-physical systems
+ Compositional and abstraction-based techniques for verification
+ Probabilistic and statistical approaches to verification
+ Verification methods for parallel and concurrent systems
+ Testing and run-time analysis based on verification technology
+ Decision procedures and solvers for verification and synthesis
+ Applications and case studies in verification and synthesis
+ Verification in industrial practice
+ New application areas for algorithmic verification and synthesis
+ Formal models and methods for security
+ Formal models and methods for biological systems
Submissions on a wide range of topics are sought, particularly ones
that identify new research directions. CAV 2018 is not limited to
topics discussed in previous instances of the conference. Authors
concerned about the appropriateness of a topic may communicate with
the conference chairs prior to submission.
Program committee
See http://cavconference.org/2018/organization/
CAV Award
The CAV award is given annually at the CAV conference for
fundamental contributions to the field of Computer-Aided Verification.
For details please check http://cavconference.org/cav-award
CAV Award Committee
Kim Larsen (chair)
Natarajan Shankar
Piere Wolper
Somesh Jha
Paper Submission
- Full papers should be uploaded by the submission deadline.
- Tool papers require the submission of an artifact together with
the paper submission.
As in 2017, CAV will follow a lightweight double-blind review process.
Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is
not allowed. The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments. The PC chairs may solicit further reviews after the
rebuttal period.
Submissions will be in two categories: Regular Papers and Tool Papers.
Regular Papers
Regular Papers should not exceed 16 pages in LNCS format, not counting
references and appendices. Authors can include a clearly marked
appendix at the end of their submissions that is exempt from the page
limit restrictions. However, the reviewers are not obliged to read the
contents of these appendices. These papers should contain original
research and sufficient detail to assess the merits and relevance of
the contribution. Papers will be evaluated on basis of a combination
of correctness, technical depth, significance, novelty, clarity, and
elegance. We welcome papers on theory, case studies, and comparisons
with existing experimental research, as well as combinations of new
theory with experimental evaluation. A strong theoretical paper is
not required to have an experimental component. On the other hand,
strong papers reproducing and comparing existing results
experimentally do not require new theoretical insights.
Authors of accepted regular papers will be invited (but are
not required) to submit the relevant artifact for evaluation by the
artifact evaluation committee.
Tool Papers:
Tool Papers should not exceed 6 pages, not counting references. These
papers should describe system and implementation aspects of a tool
with a large (potential) user base (experiments not required, rehash
of theory strongly discouraged). Papers describing tools that have
already been presented (in any conference) will be accepted only if
significant and clear enhancements to the tool are reported and
implemented. Note that tool papers require the submission of an
artifact for evaluation by the submission deadline. Artifacts will be
evaluated concurrently with the review process and the program
committee will have access to the artifact evaluation while making
their decision. In special cases, where an artifact cannot be
submitted, the authors should contact the program chairs to find
alternate modes of artifact evaluation.
--
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
CAV 2018: The 30th International Conference on Computer Aided Verification
July 14-17 2018, Oxford, UK, Part of the Federated Logic Conference, FLoC 2018
http://cavconference.org/2018/
http://floc2018.org
Important dates:
Paper submission deadline: January 31, 2018 (firm)
Rebuttal period: March 15-17, 2018
Author notification: March 31st, 2018
CAV 2018 is the 30th in a series dedicated to the advancement of the
theory and practice of computer-aided formal analysis methods for
hardware and software systems. The conference covers the spectrum from
theoretical results to concrete applications, with an emphasis on
practical verification tools and the algorithms and techniques that
are needed for their implementation. CAV considers it vital to
continue spurring advances in hardware and software verification while
expanding to new domains such as machine learning, autonomous systems,
and computer security. The proceedings of the conference will be
published in the Springer-Verlag Lecture Notes in Computer Science
series. A selection of papers is expected to be invited to a special
issue of Formal Methods in System Design and the Journal of the ACM.
CAV'18 will take place in Oxford, UK, and is a part of the Federated
Logic Conference (FLoC) 2018.
Topics of interest include but are not limited to:
+ Algorithms and tools for verifying models and implementations
+ Algorithms and tools for system synthesis
+ Algorithms and tools that combine verification and learning
+ Mathematical and logical foundations of verification and synthesis
+ Specifications and correctness criteria for programs and systems
+ Deductive verification using proof assistants
+ Hardware verification techniques
+ Program analysis and software verification
+ Software synthesis
+ Hybrid systems and embedded systems verification
+ Formal methods for cyber-physical systems
+ Compositional and abstraction-based techniques for verification
+ Probabilistic and statistical approaches to verification
+ Verification methods for parallel and concurrent systems
+ Testing and run-time analysis based on verification technology
+ Decision procedures and solvers for verification and synthesis
+ Applications and case studies in verification and synthesis
+ Verification in industrial practice
+ New application areas for algorithmic verification and synthesis
+ Formal models and methods for security
+ Formal models and methods for biological systems
Submissions on a wide range of topics are sought, particularly ones
that identify new research directions. CAV 2018 is not limited to
topics discussed in previous instances of the conference. Authors
concerned about the appropriateness of a topic may communicate with
the conference chairs prior to submission.
Program committee
See http://cavconference.org/2018/organization/
CAV Award
The CAV award is given annually at the CAV conference for
fundamental contributions to the field of Computer-Aided Verification.
For details please check http://cavconference.org/cav-award
CAV Award Committee
Kim Larsen (chair)
Natarajan Shankar
Piere Wolper
Somesh Jha
Paper Submission
- Full papers should be uploaded by the submission deadline.
- Tool papers require the submission of an artifact together with
the paper submission.
As in 2017, CAV will follow a lightweight double-blind review process.
Simultaneous submission to other conferences with proceedings or
submission of material that has already been published elsewhere is
not allowed. The review process will include a feedback/rebuttal
period where authors will have the option to respond to reviewer
comments. The PC chairs may solicit further reviews after the
rebuttal period.
Submissions will be in two categories: Regular Papers and Tool Papers.
Regular Papers
Regular Papers should not exceed 16 pages in LNCS format, not counting
references and appendices. Authors can include a clearly marked
appendix at the end of their submissions that is exempt from the page
limit restrictions. However, the reviewers are not obliged to read the
contents of these appendices. These papers should contain original
research and sufficient detail to assess the merits and relevance of
the contribution. Papers will be evaluated on basis of a combination
of correctness, technical depth, significance, novelty, clarity, and
elegance. We welcome papers on theory, case studies, and comparisons
with existing experimental research, as well as combinations of new
theory with experimental evaluation. A strong theoretical paper is
not required to have an experimental component. On the other hand,
strong papers reproducing and comparing existing results
experimentally do not require new theoretical insights.
Authors of accepted regular papers will be invited (but are
not required) to submit the relevant artifact for evaluation by the
artifact evaluation committee.
Tool Papers:
Tool Papers should not exceed 6 pages, not counting references. These
papers should describe system and implementation aspects of a tool
with a large (potential) user base (experiments not required, rehash
of theory strongly discouraged). Papers describing tools that have
already been presented (in any conference) will be accepted only if
significant and clear enhancements to the tool are reported and
implemented. Note that tool papers require the submission of an
artifact for evaluation by the submission deadline. Artifacts will be
evaluated concurrently with the review process and the program
committee will have access to the artifact evaluation while making
their decision. In special cases, where an artifact cannot be
submitted, the authors should contact the program chairs to find
alternate modes of artifact evaluation.
--
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] Call for Participation: ICFP 2017
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
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
Subscribe to:
Posts (Atom)