**********************************************************************
LPAR-23: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning
Submission deadline: 15 February, 2020
Conference dates: 22-27 May, 2020
Location: Alicante, Spain
**********************************************************************
The series of International Conferences on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR) is a forum where, year
after year, some of the most renowned researchers in the areas of
logic, automated reasoning, computational logic, programming languages
and their applications come to present cutting-edge results, to
discuss advances in these fields, and to exchange ideas in a
scientifically emerging part of the world.
The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May
2020. The proceedings will be published by EasyChair Publications, in
the EPiC Series in Computing. The volume will be open access and the
authors will retain copyright.
Submission Guidelines
=====================
All papers must be original and not simultaneously submitted to
another journal or conference. The following paper categories are
welcome:
Regular papers describing solid new research results. They can be up
to 15 pages long in EasyChair style, including figures but excluding
references and appendices (that reviewers are not required to
read). Where applicable, regular papers are supported by experimental
validation. Experimental and tool papers describing implementations of
systems, report experiments with implemented systems, or compare
implemented systems. Experimental and tool papers should be supported
by a link to the artifact/experimental evaluation available to the
reviewers.
The length of regular papers is limited to 15 pages in the EasyChair
style (excluding the blibliography and appendices). The length of
experimental and tool papers is limited to 8 pages in the EasyChair
style (excluding the bibliography and appendices).
Both types of papers must be electronically submitted in PDF via
EasyChair:
https://easychair.org/conferences/?conf=lpar23
Authors of accepted papers are required to ensure that at least one of
them will be present at the conference.
List of Topics
==============
New results in the fields of computational logic and applications are
welcome. Also welcome are more exploratory presentations, which may
examine open questions and raise fundamental concerns about existing
theories and practices. Topics of interest include, but are not
limited to:
Abduction and interpolation methods
Answer set programming
Automated reasoning
Constraint programming
Contextual reasoning
Decision procedures
Description logics
Foundations of security
Hardware verification
Implementations of logic
Inconsistency- and exception tolerant reasoning
Interactive theorem proving
Knowledge representation and reasoning
Logic and computational complexity
Logic and databases
Logic and games
Logic and machine learning
Logic and the web
Logic and types
Logic in artificial intelligence
Logic of distributed systems
Logic of knowledge and belief
Logic programming
Logical aspects of concurrency
Logical foundations of programming
Modal and temporal logics
Model checking
Non-monotonic reasoning
Ontologies and large knowledge bases
Paraconsistent logics
Probabilistic and fuzzy reasoning
Program analysis
Rewriting
Satisfiability checking
Satisfiability modulo theories
Software verification
Specification using logic
Unification theory
Program Committee Chairs
========================
Elvira Albert, Complutense University of Madrid
Laura Kovacs, TU Wien
Publication
===========
The LPAR-23 proceedings will be published by EasyChair Publication, in the
EasyChair EPiC Series in Computing.
Contact
=======
For more details about the conference, venue and organization, see the
conference webpage
https://easychair.org/smart-program/LPAR23/index.html
2019-12-30
2019-12-24
[Caml-list] HCVS 2020: Call For Papers
HCVS 2020: Call For Papers
7th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2020
Sunday 26 April 2020 - Dublin, Ireland
https://www.sci.unich.it/hcvs20/
Many Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses, and many recent advances in the
Constraint/Logic Programming, Verification, and Automated Deduction
communities have centered around efficiently solving problems
presented as Horn clauses.
This workshop aims to bring together researchers working in the
communities of Constraint/Logic Programming (e.g., ICLP and CP),
Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE), on the topic of Horn clause based analysis,
verification and synthesis.
Horn clauses have been advocated by these communities at different
times and from different perspectives, and this workshop is organized
to stimulate interaction and a fruitful exchange and integration
of experiences.
The workshop follows six previous meetings: HCVS 2019 in Prague,
Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP
and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE),
HCVS 2016 in Eindhoven, The Netherlands (ETAPS), HCVS 2015 in
San Francisco, CA, USA (CAV), and HCVS 2014 in Vienna, Austria (VSL).
Aims and Scope
--------------
Topics of interest include but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause-based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as
presentations covering previously published results that are of
interest to the workshop.
Important dates
---------------
- Paper submission: 26th February 2020
- Paper notification: 25th March 2020
- Camera-ready: 1st April 2020
- Workshop: 26th April 2020
Submission
----------
Submission has to be done in one of the following formats:
- Regular papers (up to 12 pages plus bibliography in EPTCS format), which
should present previously unpublished work (completed or in progress),
including descriptions of research, tools, and applications.
- Tool papers (up to 4 pages plus bibliography in EPTCS format), including the
papers written by the CHC-COMP participants, which can outline the theoretical
framework, the architecture, the usage, and experiments of the tool.
- Extended abstracts (up to 3 pages in EPTCS format), which describe work
in progress or aim to initiate discussions.
- Presentation-only papers, i.e., papers already submitted or presented at
a conference or another workshop. Such papers can be submitted in any format,
and will not be included in the workshop post-proceedings.
All submitted papers will be reviewed by the program committee and will be
selected for inclusion in accordance with the referee reports.
Authors of accepted papers are required to ensure that at least one of them
will be present at the workshop. Papers must be submitted through the
EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2020
7th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2020
Sunday 26 April 2020 - Dublin, Ireland
https://www.sci.unich.it/hcvs20/
Many Program Verification and Synthesis problems of interest can be
modeled directly using Horn clauses, and many recent advances in the
Constraint/Logic Programming, Verification, and Automated Deduction
communities have centered around efficiently solving problems
presented as Horn clauses.
This workshop aims to bring together researchers working in the
communities of Constraint/Logic Programming (e.g., ICLP and CP),
Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated
Deduction (e.g., CADE), on the topic of Horn clause based analysis,
verification and synthesis.
Horn clauses have been advocated by these communities at different
times and from different perspectives, and this workshop is organized
to stimulate interaction and a fruitful exchange and integration
of experiences.
The workshop follows six previous meetings: HCVS 2019 in Prague,
Czech Republic (ETAPS 2019), HCVS 2018 in Oxford, UK (CAV, ICLP
and IJCAR at FLoC 2018), HCVS 2017 in Gothenburg, Sweden (CADE),
HCVS 2016 in Eindhoven, The Netherlands (ETAPS), HCVS 2015 in
San Francisco, CA, USA (CAV), and HCVS 2014 in Vienna, Austria (VSL).
Aims and Scope
--------------
Topics of interest include but are not limited to the use of Horn
clauses, constraints, and related formalisms in the following areas:
- Analysis and verification of programs and systems of various kinds
(e.g., imperative, object-oriented, functional, logic, higher-order,
concurrent)
- Program synthesis
- Program testing
- Program transformation
- Constraint solving
- Type systems
- Case studies and tools
- Challenging problems
We solicit regular papers describing theory and implementation of
Horn-clause-based analysis and tool descriptions. We also solicit
extended abstracts describing work-in-progress, as well as
presentations covering previously published results that are of
interest to the workshop.
Important dates
---------------
- Paper submission: 26th February 2020
- Paper notification: 25th March 2020
- Camera-ready: 1st April 2020
- Workshop: 26th April 2020
Submission
----------
Submission has to be done in one of the following formats:
- Regular papers (up to 12 pages plus bibliography in EPTCS format), which
should present previously unpublished work (completed or in progress),
including descriptions of research, tools, and applications.
- Tool papers (up to 4 pages plus bibliography in EPTCS format), including the
papers written by the CHC-COMP participants, which can outline the theoretical
framework, the architecture, the usage, and experiments of the tool.
- Extended abstracts (up to 3 pages in EPTCS format), which describe work
in progress or aim to initiate discussions.
- Presentation-only papers, i.e., papers already submitted or presented at
a conference or another workshop. Such papers can be submitted in any format,
and will not be included in the workshop post-proceedings.
All submitted papers will be reviewed by the program committee and will be
selected for inclusion in accordance with the referee reports.
Authors of accepted papers are required to ensure that at least one of them
will be present at the workshop. Papers must be submitted through the
EasyChair system using the web page:
https://easychair.org/conferences/?conf=hcvs2020
2019-12-20
[Caml-list] Third call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Hello,
best regards,
Jurriaan Hage
http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html
*NEW* Invited Speaker
We are happy to announce the invited speaker for TFPIE 2020, Thorsten
Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be talking
about his new book, Conceptual Programming With Python.
*NEW* Registration
This year TFPIE takes place outside of the Lambda Days/TFP organisation,
although it takes place near their location. This means you do need to register
separately for TFPIE; it also means you can register for TFPIE without
registering for TFP/LambdaDays, and vice versa.
Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process. Registration is 25 euro per person.
TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:
FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
The pedagogy of teaching FP
FP and e-learning: MOOCs, automated assessment etc.
Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations. What's your
best lecture topic in an FP related course? Do you have a fun way to present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.
Dates
Submission deadline: January 14th 2020, Anywhere on Earth.
Notification: January 17th 2020
TFPIE Registration Deadline: January 20th 2020
Workshop: February 12th 2020
Submission for formal review: April 19th 2020, Anywhere on Earth.
Notification of full article: June 6th 2020
Camera ready: July 1st 2020
Program Committee
Olaf Chitil - University of Kent
Youyou Cong - Tokyo Institute of Technology
Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen
Jurriaan Hage (Chair) - Utrecht University
Marco T. Morazan - Seton Hall University, USA
Sharon Tuttle - Humboldt State University, USA
Janis Voigtlaender - University of Duisburg-Essen
Viktoria Zsok - Eotvos Lorand University
Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/
Please, find below the third call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Chair of TFPIE 2020
========================================================================
TFPIE 2020 Call for papers
February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)
*NEW* Invited Speaker
We are happy to announce the invited speaker for TFPIE 2020, Thorsten
Altenkirch, who also speaks at Lambda Days. At TFPIE 2020 he shall be talking
about his new book, Conceptual Programming With Python.
*NEW* Registration
This year TFPIE takes place outside of the Lambda Days/TFP organisation,
although it takes place near their location. This means you do need to register
separately for TFPIE; it also means you can register for TFPIE without
registering for TFP/LambdaDays, and vice versa.
Registration is mandatory for at least one author of every paper that is
presented at the workshop. Only papers that have been presented at TFPIE may be
submitted to the post-reviewing process. Registration is 25 euro per person.
TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:
FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
The pedagogy of teaching FP
FP and e-learning: MOOCs, automated assessment etc.
Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations. What's your
best lecture topic in an FP related course? Do you have a fun way to present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.
Dates
Submission deadline: January 14th 2020, Anywhere on Earth.
Notification: January 17th 2020
TFPIE Registration Deadline: January 20th 2020
Workshop: February 12th 2020
Submission for formal review: April 19th 2020, Anywhere on Earth.
Notification of full article: June 6th 2020
Camera ready: July 1st 2020
Program Committee
Olaf Chitil - University of Kent
Youyou Cong - Tokyo Institute of Technology
Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen
Jurriaan Hage (Chair) - Utrecht University
Marco T. Morazan - Seton Hall University, USA
Sharon Tuttle - Humboldt State University, USA
Janis Voigtlaender - University of Duisburg-Essen
Viktoria Zsok - Eotvos Lorand University
Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/
2019-12-19
[Caml-list] IJCAR 2020 - Call for Papers
===============================================================================
CALL FOR PAPERS
IJCAR 2020
The 10th International Joint Conference on Automated Reasoning
Paris, France, June 29-July 5, 2020
https://ijcar2020.org
===============================================================================
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR 2020 technical program will consist of presentations of
high-quality original research papers, short papers describing interesting work
in progress, system descriptions, and invited talks. IJCAR 2020 (+ workshops,
tutorials, etc.) will take place in Paris (France) from June 29 to July 5 2020.
It will be co-located with the conference FSCD.
IJCAR 2020 is the merger of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* ITP (International Conference on Interactive Theorem Proving)
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)
TOPICS
======
IJCAR 2020 invites submissions related to all aspects of automated or
interactive reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working automated
deduction systems or proof assistants 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.
* 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 proving, combination of decision or proof procedures, SAT
and SMT solving, integration of proof assistants with automated provers and
other symbolic tools, etc.
* Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, education, formalization of
mathematics etc.
The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
IMPORTANT DATES
===============
* Abstract submission: January 16, 2020
* Paper submission: January 23, 2020
* Rebuttal: March 6-10, 2020
* Notification: March 20, 2020
* Final version of papers due: April 10, 2020
* IJCAR Conference + Workshops: June 29 - July 5, 2020
INVITED SPEAKERS
================
* Clark Barrett (Stanford University, USA)
* John Harrison (Amazon Web Services, USA) Joint IJCAR-FSCD speaker
* Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil)
* Ruzica Piskac (Yale University, USA)
* Rene Thiemann (University of Innsbruck, Austria) Joint FSCD-IJCAR speaker
SUBMISSION GUIDELINES
=====================
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2020
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 three categories of submissions:
REGULAR PAPERS.
Submissions, not exceeding fifteen (15) pages excluding 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. In particular submissions describing
formal proofs are expected to be accompanied by the source files of the
formalization. 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 seven (7) pages excluding bibliography, should
describe the implemented tool and its novel features. Submissions in this
category should bear the phrase "(system description)" beneath the title. 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.
SHORT PAPERS.
Submissions, not exceeding five (5) pages excluding bibliography, and
describing interesting work in progress. Such a preliminary report may consist
of an extended abstract. Each of these papers should bear the phrase "(short
paper)" beneath the title. Accepted submissions in this category will be
presented as short talks and published in the main proceedings. There will be
no downgrading from regular papers or system descriptions to short papers.
All submissions should meet high academic standards; proofs of theoretical
results that do not fit in the page limit, executables of systems, and input
data of experiments should be made available, via a reference to a website or
in an appendix of the paper.
BEST PAPER AWARD
================
IJCAR 2020 will recognize the most outstanding submission with a best paper
award at the conference.
STUDENT TRAVEL AWARDS
====================
Woody Bledsoe Travel Awards will be available to support selected students
attending the conference.
SPECIAL ISSUE
=============
The authors of a selection of the best IJCAR 2020 papers will be invited to
submit an extended version of their paper after the conference, to be published
in a special issue of Logical Methods in Computer Science.
ORGANIZATION
============
Conference Chair:
* Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)
Programme Chairs:
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France),
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
Workshop, Tutorial and Competition Chairs:
* Giulio Manzonetto (Université Paris-Nord, France)
* Andrew Reynolds (University of Iowa, USA)
Programme Committee:
* Takahito Aoto (Niigata University, Japan)
* Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
* Jeremy Avigad (Carnegie Mellon University, USA)
* Franz Baader (TU Dresden, Germany)
* Peter Baumgartner (Data 61 and CSIRO, Australia)
* Christoph Benzmüller (Freie Universität Berlin, Germany)
* Yves Bertot (INRIA, Sophia Antipolis, France)
* Armin Biere (Johannes Kepler University Linz, Austria)
* Nikolaj Bjorner (Microsoft Research, USA)
* Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
* Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
* James Brotherston (University College London, UK)
* Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
* Agata Ciabattoni (Vienna University of Technology, Austria)
* Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
* Leonardo de Moura (Microsoft Research, USA)
* Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
* Gilles Dowek (Inria and ENS Paris-Saclay, France)
* Marcelo Finger (University of São Paulo, Brazil)
* Pascal Fontaine (Universite de Lorraine, CNRS, Inria, LORIA, France)
* Didier Galmiche (Universite de Lorraine - LORIA, France)
* Silvio Ghilardi (Universita degli Studi di Milano, Italy)
* Martin Giese (Universitetet i Oslo, Norway)
* Juergen Giesl (RWTH Aachen University, Germany)
* Valentin Goranko (Stockholm University, Sweden)
* Rajeev Gore (The Australian National University, Australia)
* Stefan Hetzl (Vienna University of Technology, Austria)
* Marijn J. H. Heule (The University of Texas at Austin, USA)
* Cezary Kaliszyk (University of Innsbruck, Austria)
* Deepak Kapur (University of New Mexico, USA)
* Laura Kovacs (Vienna University of Technology, Austria)
* Andreas Lochbihler (Digital Asset (Switzerland) GmbH)
* Christopher Lynch (Clarkson University, USA)
* Assia Mahboubi (Inria, France)
* Panagiotis Manolios (Northeastern University, USA)
* Dale Miller (Inria and LIX/Ecole Polytechnique, France)
* Claudia Nalon (University of Brasilia, Brazil)
* Tobias Nipkow (Technical University of Munich, Germany)
* Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
* Jens Otten (University of Oslo, Norway)
* Lawrence Paulson (University of Cambridge, UK)
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France)
* Frank Pfenning (Carnegie Mellon University, USA)
* Andrei Popescu (Middlesex University London, UK)
* Andrew Reynolds (University of Iowa, USA)
* Christophe Ringeissen (LORIA-INRIA, France)
* Christine Rizkallah (University of New South Wales, Australia)
* Katsuhiko Sano (Hokkaido University, Japan)
* Renate Schmidt (The University of Manchester, UK)
* Stephan Schulz (DHBW Stuttgart, Germany)
* Roberto Sebastiani (DISI, University of Trento, Italy)
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
* Matthieu Sozeau (INRIA Paris, France)
* Martin Suda (Czech Technical University, Czech Republic)
* Geoff Sutcliffe (University of Miami, USA)
* Sofiene Tahar (Concordia University, Canada)
* Cesare Tinelli (The University of Iowa, USA)
* Christian Urban (King's College London, UK)
* Josef Urban (Czech Technical University in Prague, Czech Republic)
* Uwe Waldmann (Max Planck Institute for Informatics, Germany)
* Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
CALL FOR PAPERS
IJCAR 2020
The 10th International Joint Conference on Automated Reasoning
Paris, France, June 29-July 5, 2020
https://ijcar2020.org
===============================================================================
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR 2020 technical program will consist of presentations of
high-quality original research papers, short papers describing interesting work
in progress, system descriptions, and invited talks. IJCAR 2020 (+ workshops,
tutorials, etc.) will take place in Paris (France) from June 29 to July 5 2020.
It will be co-located with the conference FSCD.
IJCAR 2020 is the merger of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* ITP (International Conference on Interactive Theorem Proving)
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)
TOPICS
======
IJCAR 2020 invites submissions related to all aspects of automated or
interactive reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working automated
deduction systems or proof assistants 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.
* 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 proving, combination of decision or proof procedures, SAT
and SMT solving, integration of proof assistants with automated provers and
other symbolic tools, etc.
* Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, education, formalization of
mathematics etc.
The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
IMPORTANT DATES
===============
* Abstract submission: January 16, 2020
* Paper submission: January 23, 2020
* Rebuttal: March 6-10, 2020
* Notification: March 20, 2020
* Final version of papers due: April 10, 2020
* IJCAR Conference + Workshops: June 29 - July 5, 2020
INVITED SPEAKERS
================
* Clark Barrett (Stanford University, USA)
* John Harrison (Amazon Web Services, USA) Joint IJCAR-FSCD speaker
* Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil)
* Ruzica Piskac (Yale University, USA)
* Rene Thiemann (University of Innsbruck, Austria) Joint FSCD-IJCAR speaker
SUBMISSION GUIDELINES
=====================
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2020
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 three categories of submissions:
REGULAR PAPERS.
Submissions, not exceeding fifteen (15) pages excluding 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. In particular submissions describing
formal proofs are expected to be accompanied by the source files of the
formalization. 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 seven (7) pages excluding bibliography, should
describe the implemented tool and its novel features. Submissions in this
category should bear the phrase "(system description)" beneath the title. 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.
SHORT PAPERS.
Submissions, not exceeding five (5) pages excluding bibliography, and
describing interesting work in progress. Such a preliminary report may consist
of an extended abstract. Each of these papers should bear the phrase "(short
paper)" beneath the title. Accepted submissions in this category will be
presented as short talks and published in the main proceedings. There will be
no downgrading from regular papers or system descriptions to short papers.
All submissions should meet high academic standards; proofs of theoretical
results that do not fit in the page limit, executables of systems, and input
data of experiments should be made available, via a reference to a website or
in an appendix of the paper.
BEST PAPER AWARD
================
IJCAR 2020 will recognize the most outstanding submission with a best paper
award at the conference.
STUDENT TRAVEL AWARDS
====================
Woody Bledsoe Travel Awards will be available to support selected students
attending the conference.
SPECIAL ISSUE
=============
The authors of a selection of the best IJCAR 2020 papers will be invited to
submit an extended version of their paper after the conference, to be published
in a special issue of Logical Methods in Computer Science.
ORGANIZATION
============
Conference Chair:
* Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)
Programme Chairs:
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France),
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
Workshop, Tutorial and Competition Chairs:
* Giulio Manzonetto (Université Paris-Nord, France)
* Andrew Reynolds (University of Iowa, USA)
Programme Committee:
* Takahito Aoto (Niigata University, Japan)
* Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
* Jeremy Avigad (Carnegie Mellon University, USA)
* Franz Baader (TU Dresden, Germany)
* Peter Baumgartner (Data 61 and CSIRO, Australia)
* Christoph Benzmüller (Freie Universität Berlin, Germany)
* Yves Bertot (INRIA, Sophia Antipolis, France)
* Armin Biere (Johannes Kepler University Linz, Austria)
* Nikolaj Bjorner (Microsoft Research, USA)
* Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
* Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
* James Brotherston (University College London, UK)
* Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
* Agata Ciabattoni (Vienna University of Technology, Austria)
* Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
* Leonardo de Moura (Microsoft Research, USA)
* Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
* Gilles Dowek (Inria and ENS Paris-Saclay, France)
* Marcelo Finger (University of São Paulo, Brazil)
* Pascal Fontaine (Universite de Lorraine, CNRS, Inria, LORIA, France)
* Didier Galmiche (Universite de Lorraine - LORIA, France)
* Silvio Ghilardi (Universita degli Studi di Milano, Italy)
* Martin Giese (Universitetet i Oslo, Norway)
* Juergen Giesl (RWTH Aachen University, Germany)
* Valentin Goranko (Stockholm University, Sweden)
* Rajeev Gore (The Australian National University, Australia)
* Stefan Hetzl (Vienna University of Technology, Austria)
* Marijn J. H. Heule (The University of Texas at Austin, USA)
* Cezary Kaliszyk (University of Innsbruck, Austria)
* Deepak Kapur (University of New Mexico, USA)
* Laura Kovacs (Vienna University of Technology, Austria)
* Andreas Lochbihler (Digital Asset (Switzerland) GmbH)
* Christopher Lynch (Clarkson University, USA)
* Assia Mahboubi (Inria, France)
* Panagiotis Manolios (Northeastern University, USA)
* Dale Miller (Inria and LIX/Ecole Polytechnique, France)
* Claudia Nalon (University of Brasilia, Brazil)
* Tobias Nipkow (Technical University of Munich, Germany)
* Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
* Jens Otten (University of Oslo, Norway)
* Lawrence Paulson (University of Cambridge, UK)
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France)
* Frank Pfenning (Carnegie Mellon University, USA)
* Andrei Popescu (Middlesex University London, UK)
* Andrew Reynolds (University of Iowa, USA)
* Christophe Ringeissen (LORIA-INRIA, France)
* Christine Rizkallah (University of New South Wales, Australia)
* Katsuhiko Sano (Hokkaido University, Japan)
* Renate Schmidt (The University of Manchester, UK)
* Stephan Schulz (DHBW Stuttgart, Germany)
* Roberto Sebastiani (DISI, University of Trento, Italy)
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
* Matthieu Sozeau (INRIA Paris, France)
* Martin Suda (Czech Technical University, Czech Republic)
* Geoff Sutcliffe (University of Miami, USA)
* Sofiene Tahar (Concordia University, Canada)
* Cesare Tinelli (The University of Iowa, USA)
* Christian Urban (King's College London, UK)
* Josef Urban (Czech Technical University in Prague, Czech Republic)
* Uwe Waldmann (Max Planck Institute for Informatics, Germany)
* Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
2019-12-13
[Caml-list] CICM 2020, July 26-31: First Call for Papers & Call for Workshop and Tutorial Proposals
[Please accept our apologies if you receive multiple copies of this email]
Joint Call for
(i) Papers (formal papers - informal papers - doctoral programme)
(ii) Workshop and Tutorial Proposals
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
--------------------------------------------------------------------------------
(i) Call for Papers (formal papers - informal papers - doctoral programme)
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It offers a
venue for discussing problems and solutions in each of these areas and their
integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College London)
Christian Szegedy (Google AI)
tba
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this area and
invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers will be
published in a volume of Springer LNAI:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and selected for
presentation based on their relevance for the community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to present early
results and receive constructive feedback and mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can make early
travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we plan to publish the CICM 2020 proceedings with Springer
LNCS.
--------------------------------------------------------------------------------
(ii) Call for Workshop and Tutorial Proposals
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It offers a
venue for discussing problems and solutions in each of these areas and their
integration.
CICM has been held annually as a joint meeting since 2008, co-locating related
conferences and workshops to advance work in these subjects. Previous meetings
have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France
2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra
(Portugal 2014), Washington DC (USA 2015), Bialystok (Poland 2016), Edinburgh
(UK 2018) and Prague (Czech Republic 2019).
Workshop Proposals
==================
CICM encourages submissions of any kind of topically suitable workshop,
including those focusing on formal results, open discussions, or practical
systems. Some of the workshops that have been held at past CICM meetings are:
Automated Reasoning: Bridging the Gap between Theory and Practice
Compact Computer Algebra
Empirically Successful Automated Reasoning for Mathematics
Formal Mathematics for Mathematicians
Intelligent Proof Search
Mathematical user Interfaces
Mathematics Information Retrieval
OpenMath
Pen-Based Mathematical Computation
Programming languages for Mechanized Mathematics Systems
Proof Engineering
SCIEnce
The Notion of Proof
User Interfaces for Theorem Provers
Workshop on Formal Mathematics for Mathematicians
Proposals for workshops to be held at CICM 2020 are solicited. Both
well-established workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title
+ Names and affiliations of organizers
+ Brief description of workshop goals and/or topics
+ Proposed workshop duration (half a day up to two days)
+ If the workshop has met previously, the recent conference affiliations
+ Preferred date (if any)
Tutorial Proposals
==================
Tutorial topics should have a direct relevance to any topic in the scope of
CICM. Tutorials may be focus on theoretical methods or practical systems. We
especially welcome tutorials with a hands-on component.
Please provide the following information:
+ Tutorial title
+ Names and affiliations of organizers
+ Brief description of tutorial's goals and/or topics
+ Tutorial duration (half or up to two days)
+ Relationship to previous tutorials (if any)
+ Preferred date (if any)
CICM will take care of copying and distributing informal printed proceedings for
workshops/tutorials (if the organizers wish that) as well as permanently
archiving open access online proceedings with CEUR-WS.org.
Important Dates
===============
Proposals should be submitted by February 01, 2020.
All proposals should be submitted via
https://easychair.org/conferences/?conf=cicm13
More details on the conference are available from
http://www.cicm-conference.org/2020
Joint Call for
(i) Papers (formal papers - informal papers - doctoral programme)
(ii) Workshop and Tutorial Proposals
13th Conference on Intelligent Computer Mathematics
- CICM 2020 -
July 26-31, 2020
Bertinoro, Italy
http://www.cicm-conference.org/2020
--------------------------------------------------------------------------------
(i) Call for Papers (formal papers - informal papers - doctoral programme)
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It offers a
venue for discussing problems and solutions in each of these areas and their
integration.
CICM 2020 Invited Speakers:
Kevin Buzzard (Imperial College London)
Christian Szegedy (Google AI)
tba
CICM 2020 Programme committee:
see https://www.cicm-conference.org/2020/cicm.php?event=&menu=pc
CICM 2020 invites submissions in all topics relating to intelligent computer
mathematics, in particular but not limited to
* theorem proving and computer algebra
* mathematical knowledge management
* digital mathematical libraries
CICM appreciates the varying nature of the relevant research in this area and
invites submissions of different forms:
1) Formal submissions will be reviewed rigorously and accepted papers will be
published in a volume of Springer LNAI:
* regular papers (up to 15 pages including references) present
novel research results
* project and survey papers (up to 15 pages + bibliography)
summarize existing results
* system and dataset descriptions (up to 5 pages including
references) present digital artifacts
* system entry (1 page according to the given LaTeX template)
provides metadata and a quick overview of a new tool or a new
release of an existent tool
2) Informal submissions will be reviewed with a positive bias and selected for
presentation based on their relevance for the community.
* informal papers may present work-in-progress, project
announcements, position statements, etc.
* posters and system demos will be presented in parallel in special
sessions
3) The doctoral programme provides PhD students with a forum to present early
results and receive constructive feedback and mentoring.
*** Important Dates ***
Formal submissions
- Abstract deadline: March 01
- Full paper deadline: March 08
- Reviews sent to authors: April 17
- Rebuttals due: April 21
- Notification of acceptance: April 24
- Camera-ready copies due: May 03
- Conference: July 26-31
Informal submissions and doctoral programme
Two separate submission rounds are offered so that some authors can make early
travel plans while other authors submit spontaneously.
- First round submission deadline: April 15
- Notification of acceptance: May 1
- Second round submission deadline: June 15
- Notification of acceptance: July 1
All submissions should be made via easychair at
https://easychair.org/conferences/?conf=cicm13
As in previous years, we plan to publish the CICM 2020 proceedings with Springer
LNCS.
--------------------------------------------------------------------------------
(ii) Call for Workshop and Tutorial Proposals
--------------------------------------------------------------------------------
Digital and computational solutions are becoming the prevalent means for the
generation, communication, processing, storage and curation of mathematical
information.
CICM brings together the many separate communities that have developed
theoretical and practical solutions for mathematical applications such as
computation, deduction, knowledge management, and user interfaces. It offers a
venue for discussing problems and solutions in each of these areas and their
integration.
CICM has been held annually as a joint meeting since 2008, co-locating related
conferences and workshops to advance work in these subjects. Previous meetings
have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France
2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra
(Portugal 2014), Washington DC (USA 2015), Bialystok (Poland 2016), Edinburgh
(UK 2018) and Prague (Czech Republic 2019).
Workshop Proposals
==================
CICM encourages submissions of any kind of topically suitable workshop,
including those focusing on formal results, open discussions, or practical
systems. Some of the workshops that have been held at past CICM meetings are:
Automated Reasoning: Bridging the Gap between Theory and Practice
Compact Computer Algebra
Empirically Successful Automated Reasoning for Mathematics
Formal Mathematics for Mathematicians
Intelligent Proof Search
Mathematical user Interfaces
Mathematics Information Retrieval
OpenMath
Pen-Based Mathematical Computation
Programming languages for Mechanized Mathematics Systems
Proof Engineering
SCIEnce
The Notion of Proof
User Interfaces for Theorem Provers
Workshop on Formal Mathematics for Mathematicians
Proposals for workshops to be held at CICM 2020 are solicited. Both
well-established workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title
+ Names and affiliations of organizers
+ Brief description of workshop goals and/or topics
+ Proposed workshop duration (half a day up to two days)
+ If the workshop has met previously, the recent conference affiliations
+ Preferred date (if any)
Tutorial Proposals
==================
Tutorial topics should have a direct relevance to any topic in the scope of
CICM. Tutorials may be focus on theoretical methods or practical systems. We
especially welcome tutorials with a hands-on component.
Please provide the following information:
+ Tutorial title
+ Names and affiliations of organizers
+ Brief description of tutorial's goals and/or topics
+ Tutorial duration (half or up to two days)
+ Relationship to previous tutorials (if any)
+ Preferred date (if any)
CICM will take care of copying and distributing informal printed proceedings for
workshops/tutorials (if the organizers wish that) as well as permanently
archiving open access online proceedings with CEUR-WS.org.
Important Dates
===============
Proposals should be submitted by February 01, 2020.
All proposals should be submitted via
https://easychair.org/conferences/?conf=cicm13
More details on the conference are available from
http://www.cicm-conference.org/2020
2019-12-12
[Caml-list] FSCD 2020 - Second Call for Papers
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
Updated information on: Invited speakers
==================================================================
CALL FOR PAPERS
Fifth International Conference on
Formal Structures for Computation and Deduction (FSCD 2020)
June 29 – July 5, 2020, Paris, France
IMPORTANT DATES
---------------
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
Abstract: February 6, 2020
Submission: February 9, 2020
Rebuttal: March 27-29, 2020
Notification: April 13, 2020
Final version: April 27, 2020
INVITED SPEAKERS
----------------
- René Thiemann: FSCD-IJCAR joint speaker
- John Harrison: FSCD-IJCAR joint speaker
- Brigitte Pienta
- Andrew Pitts
- Simona Ronchi della Rocca
FSCD (http://fscdconference.org/ ) covers all aspects of formal structures for computation
and deduction from theoretical foundations to applications. Building on two communities, RTA
(Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications),
FSCD embraces their core topics and broadens their scope to closely related areas in logics,
models of computation, semantics and verification in new challenging areas.
The suggested, but not exclusive, list of topics for submission is:
1. Calculi: Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.);
Lambda calculus; Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.);
Proof theory (natural deduction, sequent calculus, proof nets, etc.); Type theory and logical frameworks;
Homotopy type theory; Quantum calculi.
2. Methods in Computation and Deduction: Type systems (poly- morphism, dependent, recursive, intersection, session, etc.);
Induction, coinduction; Matching, unification, completion, order- ings; Strategies (normalization, completeness, etc.);
Tree automata; Model building and model checking; Proof search and theorem proving;
Constraint solving and decision procedures.
3. Semantics: Operational semantics and abstract machines; Game Semantics and applications;
3. Semantics: Operational semantics and abstract machines; Game Semantics and applications;
Domain theory and categorical models; Quantitative models (timing, probabilities, etc.);
Quantum computation and emerging models in computation.
4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking;
4. Algorithmic Analysis and Transformations of Formal Systems: Type Inference and type checking;
Abstract Interpretation; Complexity analysis and implicit computational complexity;
Checking termination, confluence, derivational complexity and related properties; Symbolic computation.
5. Tools and Applications: Programming and proof environments; Verification tools;
5. Tools and Applications: Programming and proof environments; Verification tools;
Proof assistants and interactive theorem provers; Applications in industry;
Applications of formal sys- tems in other sciences.
6. Semantics and Verification in new challenging areas: Certification; Security; Blockchain protocols;
6. Semantics and Verification in new challenging areas: Certification; Security; Blockchain protocols;
Data Bases; Deep learning and machine learning algorithms; Planning.
PUBLICATION
—————
The proceedings will be published as an electronic volume in the Leibniz International
Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access.
SPECIAL ISSUE
-------------
Authors of selected papers will be invited to submit an extended version to a special issue of
Logical Methods in Computer Science.
SUBMISSION GUIDELINES
---------------------
Submissions can be made in two categories. Regular research papers are limited to 15 pages
(including references, with the possibility to add an annex for technical details, e.g. proofs)
and must present original research which is unpublished and not submitted elsewhere.
System descriptions are limited to 15 pages (including references) and must present new software
tools in which FSCD topics play an important role, or significantly new versions of such tools.
Complete instructions on submitting a paper can be found on the conference web site.
BEST PAPER AWARD BY JUNIOR RESEARCHERS
--------------------------------------
The program committee will select a paper in which at least one author is a junior researcher,
i.e. either a student or whose PhD award date is less than three years from the first day of the meeting.
Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s).
PROGRAM COMMITTEE CHAIR
-----------------------
Zena M. Ariola, University of Oregon
PROGRAM COMMITTEE
-----------------
M. Alpuente, Technical Univ. of Valencia
S. Alves, University of Porto
A. Bauer, University of Ljubljana
M. P. Bonacina, Università degli studi di Verona
P-L. Curien, CNRS - Univ. of Paris Diderot
P. Dybjer, Chalmers Univ. of Technology
U. De'Liguoro, University of Torino
M. Fernández, King's College London
M. Gaboardi, Boston University
D. Ghica, University of Birmingham
S. Ghilezan, University of Novi Sad
J. Giesl, RWTH Aachen University
S. Guerrini, University of Paris 13
R. Harper, Carnegie Mellon University
M. Hasegawa, Kyoto University
N. Hirokawa, JAIST
P. Johann, Appalachian State University
O. Kammar, University of Edinburgh
D. Kesner, University of Paris Diderot
C. Kop, Radboud University
O. Laurent, ENS Lyon
D. Licata, Wesleyan University
A. Middeldorp, University of Innsbruck
J. Mitchell, Stanford University
K. Nakata, SAP Postdam
M. Pagani, University of Paris Diderot
E. Pimentel, Fed. Univ. Rio Grande do Norte
F. van Raamsdonk, Vrije University Amsterdam
G. Rosu, University of Illinois
A. Sabry, Indiana University
A. Stump, University of Iowa
P. Urzyczyn, University of Warsaw
T. Uustalu, Reykjavik University
S. Zdancewic, University of Pennsylvania
A. Bauer, University of Ljubljana
M. P. Bonacina, Università degli studi di Verona
P-L. Curien, CNRS - Univ. of Paris Diderot
P. Dybjer, Chalmers Univ. of Technology
U. De'Liguoro, University of Torino
M. Fernández, King's College London
M. Gaboardi, Boston University
D. Ghica, University of Birmingham
S. Ghilezan, University of Novi Sad
J. Giesl, RWTH Aachen University
S. Guerrini, University of Paris 13
R. Harper, Carnegie Mellon University
M. Hasegawa, Kyoto University
N. Hirokawa, JAIST
P. Johann, Appalachian State University
O. Kammar, University of Edinburgh
D. Kesner, University of Paris Diderot
C. Kop, Radboud University
O. Laurent, ENS Lyon
D. Licata, Wesleyan University
A. Middeldorp, University of Innsbruck
J. Mitchell, Stanford University
K. Nakata, SAP Postdam
M. Pagani, University of Paris Diderot
E. Pimentel, Fed. Univ. Rio Grande do Norte
F. van Raamsdonk, Vrije University Amsterdam
G. Rosu, University of Illinois
A. Sabry, Indiana University
A. Stump, University of Iowa
P. Urzyczyn, University of Warsaw
T. Uustalu, Reykjavik University
S. Zdancewic, University of Pennsylvania
CONFERENCE CHAIR
----------------
Stefano Guerrini, University of Paris 13
WORKSHOP CHAIR
--------------
Giulio Manzonetto, University of Paris 13
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
J. Vicary, Oxford University
PUBLICITY CHAIR
---------------
S. Alves, University of Porto
FSCD STEERING COMMITTEE
-----------------------
S. Alves (University of Porto),
M. Ayala-Rincón (University of Brasilia)
C. Fuhs (Birkbeck, London University)
H. Geuvers (Radboud University)
D. Kesner (Chair, University of Paris Diderot )
H. Kirchner (Inria)
C. Kop (Radboud University)
D. Mazza (University of Paris 13)
D. Miller (Inria)
L. Ong (Oxford University)
J. Rehof (TU Dortmund)
S. Staton (Oxford University)
2019-12-10
[Caml-list] MSFP 2020 - Second Call for Papers
Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020
https://msfp-workshop.github.io/msfp2020/
** Deadline: 9th January (abstract), 16th January (paper) **
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Important Dates:
================
Abstract deadline: 9th January (Thursday)
Paper deadline: 16th January (Thursday)
Notification: 27th February (Thursday)
Final version: 26th March (Thursday)
Workshop: 25th April (Saturday)
Invited Speakers:
=================
Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA
Program Committee:
==================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Sam Lindley (Sam.Lindley@ed.ac.uk)
and Max New (maxnew@ccs.neu.edu) if you have any questions about the
scope of the workshop.
We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.
Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.
A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).
We are using EasyChair to manage submissions. To submit a paper, use
this link:
https://easychair.org/conferences/?conf=msfp2020
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020
https://msfp-workshop.github.io/msfp2020/
** Deadline: 9th January (abstract), 16th January (paper) **
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Important Dates:
================
Abstract deadline: 9th January (Thursday)
Paper deadline: 16th January (Thursday)
Notification: 27th February (Thursday)
Final version: 26th March (Thursday)
Workshop: 25th April (Saturday)
Invited Speakers:
=================
Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA
Program Committee:
==================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Sam Lindley (Sam.Lindley@ed.ac.uk)
and Max New (maxnew@ccs.neu.edu) if you have any questions about the
scope of the workshop.
We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.
Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.
A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).
We are using EasyChair to manage submissions. To submit a paper, use
this link:
https://easychair.org/conferences/?conf=msfp2020
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2019-11-25
[Caml-list] Artificial Intelligence and Theorem Proving 2020 - Second Call for Papers
SECOND CALL FOR CONTRIBUTIONS
Artificial Intelligence and Theorem Proving,
AITP 2020
March 22-27, 2020, Aussois, France
http://aitp-conference.org/2020
Deadline: December 3, 2019
https://easychair.org/conferences/?conf=aitp2020
BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics
and science is our inevitable future. New combinations of AI and reasoning
methods and tools deployed over large mathematical and scientific corpora will
be instrumental to this task. The AITP conference is the forum for discussing
how to get there as soon as possible, and the forces driving the progress
towards that.
TOPICS
- AI, machine learning and big-data methods in theorem proving and mathematics.
- Collaboration between automated and interactive theorem proving, in
particular their AI/ML aspects.
- Common-sense reasoning and reasoning in science.
- Alignment and joint processing of formal, semi-formal, and informal libraries,
Formal Abstracts.
- Methods for large-scale computer understanding of mathematics and science.
- Combinations of linguistic/learning-based and semantic/reasoning methods
- Formal verification of AI and machine learning algorithms, explainable AI.
SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics,
Formal Abstracts, linguistic processing of mathematics/science, modern AI and
big-data methods, and several sessions with contributed talks. The focused
sessions will be based on invited talks and discussion oriented.
CONFIRMED PARTICIPANTS/SPEAKERS (TBC)
João Araújo, Universidade Nova de Lisboa
Kevin Buzzard, Imperial College London
Michael R. Douglas*, Stony Brook University
Vlad Firoiu, DeepMind
Ben Goertzel, SingularityNET
Georges Gonthier, INRIA
Thomas C. Hales, University of Pittsburgh
John Harrison, Amazon
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Michael Kinyon, University of Denver
Joao Marques Silva, ANITI, University of Toulouse
David McAllester, Toyota Technological Institute at Chicago
Tomáš Mikolov, Facebook AI Research
Lawrence C. Paulson, University of Cambridge
Alison Pease, University of Dundee
J.D. Phillips, Northern Michigan University
Markus Rabe, Google Research
Stephan Schulz, DHBW Stuttgart
Daniel Selsam, Microsoft Research
Martin Suda, Czech Technical University in Prague
David Stanovský, Charles University in Prague
Christian Szegedy, Google Research
Robert Veroff, University of New Mexico
Petr Vojtěchovský, University of Denver
*: To be confirmed.
CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended
abstracts/short papers of 2 pages formatted with easychair.cls. Submission is
via EasyChair (https://easychair.org/conferences/?conf=aitp2020).
DATES
Submission deadline: December 3, 2019
Author notification: January 10, 2020
Conference registration: January 21, 2020
Camera-ready versions: March 1, 2020
Conference: March 22 - 27, 2020
POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).
PROGRAM COMMITTEE (TBC)
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Thibault Gauthier, Czech Technical University in Prague
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Cezary Kaliszyk (co-chair), University of Innsbruck
Michael Kinyon, University of Denver
Peter Koepke, University of Bonn
Michael Kohlhase, FAU Erlangen-Nürnberg
Konstantin Korovin, The University of Manchester
Ramana Kumar (co-chair), DeepMind
Sarah Loos, Google Research
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University in Prague
Sarah Winkler, University of Innsbruck
LOCATION AND PRICE
The conference will take place from March 22 to March 27 2020 in the CNRS Paul-
Langevin Conference Center ...
https://www.caes.cnrs.fr/sejours/centre-paul-langevin/
... located in the mountain village of Aussois in Savoy. Dominated by the "Dent
Parrachée", one of the highest peaks of La Vanoise, Aussois is located on a
sunny plateau at 1500m altitude, offering a magnificent panorama of the
surrounding mountains and a direct access to the downhill ski slopes or cross
country slopes in winter. The total price for accommodation, food and
registration for the five days will be around 600 EUR.
ARRIVAL/DEPARTURE
Aussois is less than 2h from the airports of Lyon, Geneve, Chambery, Annecy,
Grenoble and Turin. There are trains and buses from these airports. Aussois is
7km from the Modane TGV station with direct trains from/to Paris. We will
organize a bus for the participants from there to Aussois. Further buses to
these airports/station can be found at http://www.altibus.com/ .
ORGANIZERS
Cezary Kaliszyk and Josef Urban
Artificial Intelligence and Theorem Proving,
AITP 2020
March 22-27, 2020, Aussois, France
http://aitp-conference.org/2020
Deadline: December 3, 2019
https://easychair.org/conferences/?conf=aitp2020
BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics
and science is our inevitable future. New combinations of AI and reasoning
methods and tools deployed over large mathematical and scientific corpora will
be instrumental to this task. The AITP conference is the forum for discussing
how to get there as soon as possible, and the forces driving the progress
towards that.
TOPICS
- AI, machine learning and big-data methods in theorem proving and mathematics.
- Collaboration between automated and interactive theorem proving, in
particular their AI/ML aspects.
- Common-sense reasoning and reasoning in science.
- Alignment and joint processing of formal, semi-formal, and informal libraries,
Formal Abstracts.
- Methods for large-scale computer understanding of mathematics and science.
- Combinations of linguistic/learning-based and semantic/reasoning methods
- Formal verification of AI and machine learning algorithms, explainable AI.
SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics,
Formal Abstracts, linguistic processing of mathematics/science, modern AI and
big-data methods, and several sessions with contributed talks. The focused
sessions will be based on invited talks and discussion oriented.
CONFIRMED PARTICIPANTS/SPEAKERS (TBC)
João Araújo, Universidade Nova de Lisboa
Kevin Buzzard, Imperial College London
Michael R. Douglas*, Stony Brook University
Vlad Firoiu, DeepMind
Ben Goertzel, SingularityNET
Georges Gonthier, INRIA
Thomas C. Hales, University of Pittsburgh
John Harrison, Amazon
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Michael Kinyon, University of Denver
Joao Marques Silva, ANITI, University of Toulouse
David McAllester, Toyota Technological Institute at Chicago
Tomáš Mikolov, Facebook AI Research
Lawrence C. Paulson, University of Cambridge
Alison Pease, University of Dundee
J.D. Phillips, Northern Michigan University
Markus Rabe, Google Research
Stephan Schulz, DHBW Stuttgart
Daniel Selsam, Microsoft Research
Martin Suda, Czech Technical University in Prague
David Stanovský, Charles University in Prague
Christian Szegedy, Google Research
Robert Veroff, University of New Mexico
Petr Vojtěchovský, University of Denver
*: To be confirmed.
CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended
abstracts/short papers of 2 pages formatted with easychair.cls. Submission is
via EasyChair (https://easychair.org/conferences/?conf=aitp2020).
DATES
Submission deadline: December 3, 2019
Author notification: January 10, 2020
Conference registration: January 21, 2020
Camera-ready versions: March 1, 2020
Conference: March 22 - 27, 2020
POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).
PROGRAM COMMITTEE (TBC)
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Thibault Gauthier, Czech Technical University in Prague
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Cezary Kaliszyk (co-chair), University of Innsbruck
Michael Kinyon, University of Denver
Peter Koepke, University of Bonn
Michael Kohlhase, FAU Erlangen-Nürnberg
Konstantin Korovin, The University of Manchester
Ramana Kumar (co-chair), DeepMind
Sarah Loos, Google Research
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University in Prague
Sarah Winkler, University of Innsbruck
LOCATION AND PRICE
The conference will take place from March 22 to March 27 2020 in the CNRS Paul-
Langevin Conference Center ...
https://www.caes.cnrs.fr/sejours/centre-paul-langevin/
... located in the mountain village of Aussois in Savoy. Dominated by the "Dent
Parrachée", one of the highest peaks of La Vanoise, Aussois is located on a
sunny plateau at 1500m altitude, offering a magnificent panorama of the
surrounding mountains and a direct access to the downhill ski slopes or cross
country slopes in winter. The total price for accommodation, food and
registration for the five days will be around 600 EUR.
ARRIVAL/DEPARTURE
Aussois is less than 2h from the airports of Lyon, Geneve, Chambery, Annecy,
Grenoble and Turin. There are trains and buses from these airports. Aussois is
7km from the Modane TGV station with direct trains from/to Paris. We will
organize a bus for the participants from there to Aussois. Further buses to
these airports/station can be found at http://www.altibus.com/ .
ORGANIZERS
Cezary Kaliszyk and Josef Urban
2019-11-19
[Caml-list] ICGT 2020: Preliminary call for papers
=======================================================
13th International Conference on Graph Transformation
ICGT 2020
https://staf2020.hvl.no/events/icgt2020/
co-located with STAF 2020, June 22-26 Bergen, Norway
=======================================================
Aims and Scope
-------------------------------------------------------
The use of graphs and graph-like structures as a formalism for
specification and modelling is widespread in all areas of computer
science as well as in many fields of computational research and
engineering. Relevant examples include software architectures, pointer
structures, state space graphs, control/data flow graphs, UML and other
domain-specific models, network layouts, topologies of cyber-physical
environments, and molecular structures. Often, these graphs undergo
dynamic change, ranging from reconfiguration and evolution to various
kinds of behaviour, all of which may be captured by rule-based graph
manipulation. Thus, graphs and graph transformation form a fundamental
universal modelling paradigm that serves as a means for formal reasoning
and analysis, ranging from the verification of certain properties of
interest to the discovery of fundamentally new insights.
The International Conference on Graph Transformation aims at fostering
exchange and collaboration of researchers from different backgrounds
working with graphs and graph transformation, either in contributing to
their theoretical foundations or by applying established formalisms to
classical or novel areas. The conference not only serves as a
well-established scientific publication outlet, but also as a platform
to boost inter- and intra-disciplinary research and to leeway for new ideas.
The 13th International Conference on Graph Transformation (ICGT 2020)
will be held in Bergen, Norway, as part of STAF 2020 (Software
Technologies: Applications and Foundations). The conference takes place
under the auspices of EATCS and IFIP WG 1.3. Proceedings will be
published by Springer in the Lecture Notes in Computer Science (LNCS)
series.
Topics of Interest
-------------------------------------------------------
In order to foster a lively exchange of perspectives on the subject of
the conference, the programme committee of ICGT 2020 encourages all
kinds of contributions related to graphs and graph transformation,
either from a theoretical point of view or a practical one.
Topics of interest include, but are not limited to the following subjects:
- General models of graph transformation (e.g. adhesive categories and
hyperedge replacement systems)
- Analysis and verification of graph transformation systems
- Graph theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Computational models based on graphs
- Structuring and modularization of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Business process models and notations
- Bigraphs and bigraphical reactive systems
- Graph databases and graph queries
- Model-driven development and model transformation
- Model checking, program analysis and verification, simulation and
animation
- Syntax, semantics and implementation of programming languages,
including domain-specific and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (e.g. pattern matching, graph traversal, network
analysis)
- Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
- Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
Important Dates (Tentative)
-------------------------------------------------------
Abstract submission: February 21, 2020
Paper submission: February 28, 2020
Notification: April 10, 2020
Camera-ready: May 01, 2020
Conference: June 22-26, 2020
Submission Guidelines
-------------------------------------------------------
Papers can be submitted at
http://www.easychair.org/conferences/?conf=icgt2020 using Springer's
LNCS format (http://www.springer.com/lncs). For regular and tool
demonstration papers, simultaneous submission to other conferences with
proceedings or submission of material that has already been published
elsewhere is not allowed. The page limits are strict and include references.
Papers are solicited in three categories:
- Regular papers (limited to 16 pages in Springer LNCS format)
describe innovative contributions and are evaluated with respect to
their originality, significance, and technical soundness. We also
solicit case studies describing applications of graph transformation in
any application domain. Additional material intended for reviewers but
not for publication in the final version may be included in a clearly
marked appendix.
- Tool presentation papers (limited to 8 pages in Springer LNCS format)
demonstrate the main features and functionality of graph-based tools. A
tool presentation paper may have an appendix with a detailed demo
description (up to 4 pages), which will be reviewed but not included in
the proceedings.
- New ideas papers (limited to 2 pages in Springer LNCS format)
report on relevant contributions to the theory or applications of graph
transformation, which may have been published (or accepted for
publication) in a peer-reviewed conference other than ICGT, as a book
chapter or journal article since 2018. Papers in this category will be
selected for presentation at the conference according to their relevance
to the graph transformation community, and they will be considered for
the special issues. Submissions will consist of a 2-page abstract. In
case of extended abstracts of published papers, the submission must
refer to the published paper and include the original paper in PDF.
Special Issues
-------------------------------------------------------
We are pleased to confirm two special issues for ICGT2020, devoted to
the theoretical and application-oriented sides of the conference,
respectively. The former is going to appear in Theoretical Computer
Science
(https://www.journals.elsevier.com/theoretical-computer-science), the
latter has been proposed as special issue in Science of Computer
Programming
(https://www.journals.elsevier.com/science-of-computer-programming).
Program chairs
-------------------------------------------------------
- Fabio Gadducci (University of Pisa, Italy)
- Timo Kehrer (Humboldt-Universität zu Berlin, Germany)
13th International Conference on Graph Transformation
ICGT 2020
https://staf2020.hvl.no/events/icgt2020/
co-located with STAF 2020, June 22-26 Bergen, Norway
=======================================================
Aims and Scope
-------------------------------------------------------
The use of graphs and graph-like structures as a formalism for
specification and modelling is widespread in all areas of computer
science as well as in many fields of computational research and
engineering. Relevant examples include software architectures, pointer
structures, state space graphs, control/data flow graphs, UML and other
domain-specific models, network layouts, topologies of cyber-physical
environments, and molecular structures. Often, these graphs undergo
dynamic change, ranging from reconfiguration and evolution to various
kinds of behaviour, all of which may be captured by rule-based graph
manipulation. Thus, graphs and graph transformation form a fundamental
universal modelling paradigm that serves as a means for formal reasoning
and analysis, ranging from the verification of certain properties of
interest to the discovery of fundamentally new insights.
The International Conference on Graph Transformation aims at fostering
exchange and collaboration of researchers from different backgrounds
working with graphs and graph transformation, either in contributing to
their theoretical foundations or by applying established formalisms to
classical or novel areas. The conference not only serves as a
well-established scientific publication outlet, but also as a platform
to boost inter- and intra-disciplinary research and to leeway for new ideas.
The 13th International Conference on Graph Transformation (ICGT 2020)
will be held in Bergen, Norway, as part of STAF 2020 (Software
Technologies: Applications and Foundations). The conference takes place
under the auspices of EATCS and IFIP WG 1.3. Proceedings will be
published by Springer in the Lecture Notes in Computer Science (LNCS)
series.
Topics of Interest
-------------------------------------------------------
In order to foster a lively exchange of perspectives on the subject of
the conference, the programme committee of ICGT 2020 encourages all
kinds of contributions related to graphs and graph transformation,
either from a theoretical point of view or a practical one.
Topics of interest include, but are not limited to the following subjects:
- General models of graph transformation (e.g. adhesive categories and
hyperedge replacement systems)
- Analysis and verification of graph transformation systems
- Graph theoretical properties of graph languages
- Automata on graphs and parsing of graph languages
- Logical aspects of graph transformation
- Computational models based on graphs
- Structuring and modularization of graph transformation
- Hierarchical graphs and decomposition of graphs
- Parallel, concurrent, and distributed graph transformation
- Term graph and string diagram rewriting
- Petri nets and other models of concurrency
- Business process models and notations
- Bigraphs and bigraphical reactive systems
- Graph databases and graph queries
- Model-driven development and model transformation
- Model checking, program analysis and verification, simulation and
animation
- Syntax, semantics and implementation of programming languages,
including domain-specific and visual languages
- Graph transformation languages and tool support
- Efficient algorithms (e.g. pattern matching, graph traversal, network
analysis)
- Applications and case studies in software engineering (e.g. software
architectures, refactoring, access control, and service-orientation)
- Applications to computing paradigms (e.g. bio-inspired, quantum,
ubiquitous, and visual)
Important Dates (Tentative)
-------------------------------------------------------
Abstract submission: February 21, 2020
Paper submission: February 28, 2020
Notification: April 10, 2020
Camera-ready: May 01, 2020
Conference: June 22-26, 2020
Submission Guidelines
-------------------------------------------------------
Papers can be submitted at
http://www.easychair.org/conferences/?conf=icgt2020 using Springer's
LNCS format (http://www.springer.com/lncs). For regular and tool
demonstration papers, simultaneous submission to other conferences with
proceedings or submission of material that has already been published
elsewhere is not allowed. The page limits are strict and include references.
Papers are solicited in three categories:
- Regular papers (limited to 16 pages in Springer LNCS format)
describe innovative contributions and are evaluated with respect to
their originality, significance, and technical soundness. We also
solicit case studies describing applications of graph transformation in
any application domain. Additional material intended for reviewers but
not for publication in the final version may be included in a clearly
marked appendix.
- Tool presentation papers (limited to 8 pages in Springer LNCS format)
demonstrate the main features and functionality of graph-based tools. A
tool presentation paper may have an appendix with a detailed demo
description (up to 4 pages), which will be reviewed but not included in
the proceedings.
- New ideas papers (limited to 2 pages in Springer LNCS format)
report on relevant contributions to the theory or applications of graph
transformation, which may have been published (or accepted for
publication) in a peer-reviewed conference other than ICGT, as a book
chapter or journal article since 2018. Papers in this category will be
selected for presentation at the conference according to their relevance
to the graph transformation community, and they will be considered for
the special issues. Submissions will consist of a 2-page abstract. In
case of extended abstracts of published papers, the submission must
refer to the published paper and include the original paper in PDF.
Special Issues
-------------------------------------------------------
We are pleased to confirm two special issues for ICGT2020, devoted to
the theoretical and application-oriented sides of the conference,
respectively. The former is going to appear in Theoretical Computer
Science
(https://www.journals.elsevier.com/theoretical-computer-science), the
latter has been proposed as special issue in Science of Computer
Programming
(https://www.journals.elsevier.com/science-of-computer-programming).
Program chairs
-------------------------------------------------------
- Fabio Gadducci (University of Pisa, Italy)
- Timo Kehrer (Humboldt-Universität zu Berlin, Germany)
2019-11-14
[Caml-list] Second call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)
Hello,
best regards,
Jurriaan Hage
http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html
TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:
FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
The pedagogy of teaching FP
FP and e-learning: MOOCs, automated assessment etc.
Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations. What's your
best lecture topic in an FP related course? Do you have a fun way to present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.
Dates
Submission deadline: January 14th 2020, Anywhere on Earth.
Notification: January 17th 2020
TFPIE Registration Deadline: January 20th 2020
Workshop: February 12th 2020
Submission for formal review: April 19th 2020, Anywhere on Earth.
Notification of full article: June 6th 2020
Camera ready: July 1st 2020
Program Committee
Olaf Chitil - University of Kent
Youyou Cong - Tokyo Institute of Technology
Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen
Jurriaan Hage (Chair) - Utrecht University
Marco T. Morazan - Seton Hall University, USA
Sharon Tuttle - Humboldt State University, USA
Janis Voigtlaender - University of Duisburg-Essen
Viktoria Zsok - Eotvos Lorand University
Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/
Please, find below the second call for draft papers for TFPIE 2020.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.best regards,
Jurriaan Hage
Chair of TFPIE 2020
========================================================================
TFPIE 2020 Call for papers
February 12th 2020, Krakow, Poland
(co-located with TFP 2020 and Lambda Days)
TFPIE 2020 welcomes submissions describing techniques used in the classroom,
tools used in and/or developed for the classroom and any creative use of
functional programming (FP) to aid education in or outside Computer Science.
Topics of interest include, but are not limited to:
FP and beginning CS students
FP and Computational Thinking
FP and Artificial Intelligence
FP in Robotics
FP and Music
Advanced FP for undergraduates
FP in graduate education
Engaging students in research using FP
FP in Programming Languages
FP in the high school curriculum
FP as a stepping stone to other CS topics
FP and Philosophy
The pedagogy of teaching FP
FP and e-learning: MOOCs, automated assessment etc.
Best Lectures - more details below
In addition to papers, we are requesting best lecture presentations. What's your
best lecture topic in an FP related course? Do you have a fun way to present FP
concepts to novices or perhaps an especially interesting presentation of a
difficult topic? In either case, please consider sharing it. Best lecture topics
will be selected for presentation based on a short abstract describing the
lecture and its interest to TFPIE attendees. The length of the presentation
should be comparable to that of a paper. On top of the lecture itself,
the presentation can also provide commentary on the lecture.
Submissions
Potential presenters are invited to submit an extended abstract (4-6 pages) or a
draft paper (up to 20 pages) in EPTCS style. The authors of accepted
presentations will have their preprints and their slides made available on the
workshop's website. Papers and abstracts can be submitted via easychair at the
following link: https://easychair.org/conferences/?conf=tfpie2020 . After the
workshop, presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles that will be
published in the Electronic Proceedings in Theoretical Computer Science (EPTCS).
Articles rejected for presentation and extended abstracts will not be formally
reviewed by the PC.
Dates
Submission deadline: January 14th 2020, Anywhere on Earth.
Notification: January 17th 2020
TFPIE Registration Deadline: January 20th 2020
Workshop: February 12th 2020
Submission for formal review: April 19th 2020, Anywhere on Earth.
Notification of full article: June 6th 2020
Camera ready: July 1st 2020
Program Committee
Olaf Chitil - University of Kent
Youyou Cong - Tokyo Institute of Technology
Marko van Eekelen - Open University of the Netherlands and Radboud University Nijmegen
Jurriaan Hage (Chair) - Utrecht University
Marco T. Morazan - Seton Hall University, USA
Sharon Tuttle - Humboldt State University, USA
Janis Voigtlaender - University of Duisburg-Essen
Viktoria Zsok - Eotvos Lorand University
Note: information on TFP is available at http://www.cse.chalmers.se/~rjmh/tfp/
2019-10-30
[Caml-list] MSFP 2020 - First Call for Papers
Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020
https://msfp-workshop.github.io/msfp2020/
** Deadline: 9th January (abstract), 16th January (paper) **
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Important Dates:
================
Abstract deadline: 9th January (Thursday)
Paper deadline: 16th January (Thursday)
Notification: 27th February (Thursday)
Final version: 26th March (Thursday)
Workshop: 25th April (Saturday)
Invited Speakers:
=================
- Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France
- Second invited speaker TBC
Program Committee:
==================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Sam Lindley (Sam.Lindley@ed.ac.uk)
and Max New (maxnew@ccs.neu.edu) if you have any questions about the
scope of the workshop.
We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.
Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.
A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).
We are using EasyChair to manage submissions. To submit a paper, use
this link:
https://easychair.org/conferences/?conf=msfp2020
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Saturday 25th April 2020, Dublin, Ireland
A satellite workshop of ETAPS 2020
https://msfp-workshop.github.io/msfp2020/
** Deadline: 9th January (abstract), 16th January (paper) **
The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
Important Dates:
================
Abstract deadline: 9th January (Thursday)
Paper deadline: 16th January (Thursday)
Notification: 27th February (Thursday)
Final version: 26th March (Thursday)
Workshop: 25th April (Saturday)
Invited Speakers:
=================
- Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique, France
- Second invited speaker TBC
Program Committee:
==================
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Sam Lindley (Sam.Lindley@ed.ac.uk)
and Max New (maxnew@ccs.neu.edu) if you have any questions about the
scope of the workshop.
We accept two categories of submission: full papers of no more than 15
pages that will appear in the proceedings, and extended abstracts of
no more than 2 pages that we will post on the website, but which do
not constitute formal publications and will not appear in the
proceedings. References and appendices are not included in page
limits. Appendices may not be read by reviewers.
Submissions must report previously unpublished work and not be
submitted concurrently to another conference with refereed
proceedings. Accepted papers must be presented at the workshop by one
of the authors. The proceedings will be published under the auspices
of EPTCS with a Creative Commons license.
A short abstract should be submitted a week in advance of the paper
deadline (for both full paper and extended abstract submissions).
We are using EasyChair to manage submissions. To submit a paper, use
this link:
https://easychair.org/conferences/?conf=msfp2020
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
2019-10-16
[Caml-list] Artificial Intelligence and Theorem Proving 2020 - Call for Papers
CALL FOR CONTRIBUTIONS
Artificial Intelligence and Theorem Proving
AITP 2020
March 22-27, 2020, Aussois, France
http://aitp-conference.org/2020
Deadline: December 3, 2019
https://easychair.org/conferences/?conf=aitp2020
BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics
and science is our inevitable future. New combinations of AI and reasoning
methods and tools deployed over large mathematical and scientific corpora will
be instrumental to this task. The AITP conference is the forum for discussing
how to get there as soon as possible, and the force driving the progress
towards that.
TOPICS
- AI, machine learning and big-data methods in theorem proving and mathematics.
- Collaboration between automated and interactive theorem proving, in
particular their AI/ML aspects.
- Common-sense reasoning and reasoning in science.
- Alignment and joint processing of formal, semi-formal, and informal
libraries, Formal Abstracts.
- Methods for large-scale computer understanding of mathematics and science.
- Combinations of linguistic/learning-based and semantic/reasoning methods
- Formal verification of AI and machine learning algorithms, explainable AI .
SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics,
Formal Abstracts, linguistic processing of mathematics/science, modern AI and
big-data methods, and several sessions with contributed talks. The focused
sessions will be based on invited talks and discussion oriented.
CONFIRMED PARTICIPANTS/SPEAKERS (TBC)
João Araújo, Universidade Nova de Lisboa
Kevin Buzzard, Imperial College London
Michael R. Douglas*, Stony Brook University
Vlad Firoiu, DeepMind
Ben Goertzel, SingularityNET
Georges Gonthier, INRIA
Thomas C. Hales, University of Pittsburgh
John Harrison, Amazon
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Michael Kinyon, University of Denver
Joao Marques Silva, ANITI, University of Toulouse
David McAllester, Toyota Technological Institute at Chicago
Tomáš Mikolov, Facebook AI Research
Lawrence C. Paulson, University of Cambridge
Alison Pease, University of Dundee
Markus Rabe, Google Research
Stephan Schulz, DHBW Stuttgart
Daniel Selsam, Microsoft Research
Martin Suda, Czech Technical University in Prague
Robert Veroff, University of New Mexico
Petr Vojtchovsky, University of Denver
*: To be confirmed.
CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended
abstracts/short papers of 2 pages formatted with easychair.cls. Submission is
via EasyChair (https://easychair.org/conferences/?conf=aitp2020).
DATES
Submission deadline: December 3, 2019
Author notification: January 10, 2020
Conference registration: January 21, 2020
Camera-ready versions: March 1, 2020
Conference: March 22 - 27, 2020
POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).
PROGRAM COMMITTEE (TBC)
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Tibault Gauthier, Czech Technical University in Prague
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Cezary Kaliszyk (co-chair), University of Innsbruck
Peter Koepke, University of Bonn
Konstantin Korovin, The University of Manchester
Ramana Kumar (co-chair), DeepMind
Sarah Loos, Google Research
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University in Prague
Sarah Winkler, University of Innsbruck
LOCATION AND PRICE
The conference will take place from March 22 to March 27 2020 in the CNRS
Paul-Langevin Conference Center
(https://www.caes.cnrs.fr/sejours/centre-paul-langevin/) located in the
mountain village of Aussois in Savoy. Dominated by the "Dent Parrachee", one
of the highest peaks of La Vanoise, Aussois is located on a sunny plateau at
1500 m altitude, offering a magnificent panorama of the surrounding mountains
and a direct access to the downhill ski slopes or cross country slopes in
winter. The total price for accommodation, food and registration for the five
days will be around 600 EUR.
ARRIVAL/DEPARTURE
Aussois is less than 2h from the airports of Lyon, Geneve, Chambery, Annecy,
Grenoble and Turin. There are trains and buses from these airports. Aussois is
7km from the Modane TGV station with direct trains from/to Paris. We will
organize a bus for the participants from there to Aussois. Further buses to
these airports/station can be found at http://www.altibus.com/ .
ORGANIZERS
Cezary Kaliszyk and Josef Urban
Artificial Intelligence and Theorem Proving
AITP 2020
March 22-27, 2020, Aussois, France
http://aitp-conference.org/2020
Deadline: December 3, 2019
https://easychair.org/conferences/?conf=aitp2020
BACKGROUND
Large-scale semantic processing and strong computer assistance of mathematics
and science is our inevitable future. New combinations of AI and reasoning
methods and tools deployed over large mathematical and scientific corpora will
be instrumental to this task. The AITP conference is the forum for discussing
how to get there as soon as possible, and the force driving the progress
towards that.
TOPICS
- AI, machine learning and big-data methods in theorem proving and mathematics.
- Collaboration between automated and interactive theorem proving, in
particular their AI/ML aspects.
- Common-sense reasoning and reasoning in science.
- Alignment and joint processing of formal, semi-formal, and informal
libraries, Formal Abstracts.
- Methods for large-scale computer understanding of mathematics and science.
- Combinations of linguistic/learning-based and semantic/reasoning methods
- Formal verification of AI and machine learning algorithms, explainable AI .
SESSIONS
There will be several focused sessions on AI for ATP, ITP and mathematics,
Formal Abstracts, linguistic processing of mathematics/science, modern AI and
big-data methods, and several sessions with contributed talks. The focused
sessions will be based on invited talks and discussion oriented.
CONFIRMED PARTICIPANTS/SPEAKERS (TBC)
João Araújo, Universidade Nova de Lisboa
Kevin Buzzard, Imperial College London
Michael R. Douglas*, Stony Brook University
Vlad Firoiu, DeepMind
Ben Goertzel, SingularityNET
Georges Gonthier, INRIA
Thomas C. Hales, University of Pittsburgh
John Harrison, Amazon
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Michael Kinyon, University of Denver
Joao Marques Silva, ANITI, University of Toulouse
David McAllester, Toyota Technological Institute at Chicago
Tomáš Mikolov, Facebook AI Research
Lawrence C. Paulson, University of Cambridge
Alison Pease, University of Dundee
Markus Rabe, Google Research
Stephan Schulz, DHBW Stuttgart
Daniel Selsam, Microsoft Research
Martin Suda, Czech Technical University in Prague
Robert Veroff, University of New Mexico
Petr Vojtchovsky, University of Denver
*: To be confirmed.
CONTRIBUTED TALKS
We solicit contributed talks. Selection of those will be based on extended
abstracts/short papers of 2 pages formatted with easychair.cls. Submission is
via EasyChair (https://easychair.org/conferences/?conf=aitp2020).
DATES
Submission deadline: December 3, 2019
Author notification: January 10, 2020
Conference registration: January 21, 2020
Camera-ready versions: March 1, 2020
Conference: March 22 - 27, 2020
POST-PROCEEDINGS
We will consider an open call for post-proceedings in an established series of
conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR).
PROGRAM COMMITTEE (TBC)
Jasmin Christian Blanchette, INRIA Nancy
Ulrich Furbach, University of Koblenz
Tibault Gauthier, Czech Technical University in Prague
Thomas C. Hales (co-chair), University of Pittsburgh
Sean Holden, University of Cambridge
Mikoláš Janota, University of Lisbon
Cezary Kaliszyk (co-chair), University of Innsbruck
Peter Koepke, University of Bonn
Konstantin Korovin, The University of Manchester
Ramana Kumar (co-chair), DeepMind
Sarah Loos, Google Research
Stephan Schulz (co-chair), DHBW Stuttgart
Geoff Sutcliffe, University of Miami
Josef Urban (co-chair), Czech Technical University in Prague
Sarah Winkler, University of Innsbruck
LOCATION AND PRICE
The conference will take place from March 22 to March 27 2020 in the CNRS
Paul-Langevin Conference Center
(https://www.caes.cnrs.fr/sejours/centre-paul-langevin/) located in the
mountain village of Aussois in Savoy. Dominated by the "Dent Parrachee", one
of the highest peaks of La Vanoise, Aussois is located on a sunny plateau at
1500 m altitude, offering a magnificent panorama of the surrounding mountains
and a direct access to the downhill ski slopes or cross country slopes in
winter. The total price for accommodation, food and registration for the five
days will be around 600 EUR.
ARRIVAL/DEPARTURE
Aussois is less than 2h from the airports of Lyon, Geneve, Chambery, Annecy,
Grenoble and Turin. There are trains and buses from these airports. Aussois is
7km from the Modane TGV station with direct trains from/to Paris. We will
organize a bus for the participants from there to Aussois. Further buses to
these airports/station can be found at http://www.altibus.com/ .
ORGANIZERS
Cezary Kaliszyk and Josef Urban
2019-10-14
[Caml-list] IJCAR 2020 - Call for Papers
===============================================================================
CALL FOR PAPERS
IJCAR 2020
The 10th International Joint Conference on Automated Reasoning
Paris, France, June 29-July 5, 2020
https://ijcar2020.org
===============================================================================
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR 2020 technical program will consist of presentations of
high-quality original research papers, short papers describing interesting work
in progress, system descriptions, and invited talks. IJCAR 2020 (+ workshops,
tutorials, etc.) will take place in Paris (France) from June 29 to July 5 2020.
It will be co-located with the conference FSCD.
IJCAR 2020 is the merger of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* ITP (International Conference on Interactive Theorem Proving)
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)
TOPICS
======
IJCAR 2020 invites submissions related to all aspects of automated or
interactive reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working automated
deduction systems or proof assistants 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.
* 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 proving, combination of decision or proof procedures, SAT
and SMT solving, integration of proof assistants with automated provers and
other symbolic tools, etc.
* Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, education, formalization of
mathematics etc.
The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
IMPORTANT DATES
===============
* Abstract submission: January 16, 2020
* Paper submission: January 23, 2020
* Rebuttal: March 6-10, 2020
* Notification: March 20, 2020
* Final version of papers due: April 10, 2020
* IJCAR Conference + Workshops: June 29 - July 5, 2020
SUBMISSION GUIDELINES
=====================
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2020
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 three categories of submissions:
REGULAR PAPERS.
Submissions, not exceeding fifteen (15) pages excluding 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. In particular submissions describing
formal proofs are expected to be accompanied by the source files of the
formalization. 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 seven (7) pages excluding bibliography, should
describe the implemented tool and its novel features. Submissions in this
category should bear the phrase "(system description)" beneath the title. 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.
SHORT PAPERS.
Submissions, not exceeding five (5) pages excluding bibliography, and
describing interesting work in progress. Such a preliminary report may consist
of an extended abstract. Each of these papers should bear the phrase "(short
paper)" beneath the title. Accepted submissions in this category will be
presented as short talks and published in the main proceedings. There will be
no downgrading from regular papers or system descriptions to short papers.
All submissions should meet high academic standards; proofs of theoretical
results that do not fit in the page limit, executables of systems, and input
data of experiments should be made available, via a reference to a website or
in an appendix of the paper.
BEST PAPER AWARD
================
IJCAR 2020 will recognize the most outstanding submission with a best paper
award at the conference.
STUDENT TRAVEL AWARDS
====================
Woody Bledsoe Travel Awards will be available to support selected students
attending the conference.
SPECIAL ISSUE
=============
The authors of a selection of the best IJCAR 2020 papers will be invited to
submit an extended version of their paper after the conference, to be published
in a special issue of Logical Methods in Computer Science.
ORGANIZATION
============
Conference Chair:
* Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)
Programme Chairs:
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France),
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
Workshop, Tutorial and Competition Chairs:
* Giulio Manzonetto (Université Paris-Nord, France)
* Andrew Reynolds (University of Iowa, USA)
Programme Committee:
* Takahito Aoto (Niigata University, Japan)
* Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
* Jeremy Avigad (Carnegie Mellon University, USA)
* Franz Baader (TU Dresden, Germany)
* Peter Baumgartner (Data 61 and CSIRO, Australia)
* Christoph Benzmüller (Freie Universität Berlin, Germany)
* Armin Biere (Johannes Kepler University Linz, Austria)
* Nikolaj Bjorner (Microsoft Research, USA)
* Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
* Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
* James Brotherston (University College London, UK)
* Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
* Agata Ciabattoni (Vienna University of Technology, Austria)
* Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
* Leonardo de Moura (Microsoft Research, USA)
* Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
* Gilles Dowek (Inria and ENS Paris-Saclay, France)
* Marcelo Finger (University of São Paulo, Brazil)
* Pascal Fontaine (Universite de Lorraine, CNRS, Inria, LORIA, France)
* Didier Galmiche (Universite de Lorraine - LORIA, France)
* Silvio Ghilardi (Universita degli Studi di Milano, Italy)
* Martin Giese (Universitetet i Oslo, Norway)
* Juergen Giesl (RWTH Aachen University, Germany)
* Valentin Goranko (Stockholm University, Sweden)
* Rajeev Gore (The Australian National University, Australia)
* Stefan Hetzl (Vienna University of Technology, Austria)
* Marijn J. H. Heule (The University of Texas at Austin, USA)
* Cezary Kaliszyk (University of Innsbruck, Austria)
* Deepak Kapur (University of New Mexico, USA)
* Laura Kovacs (Vienna University of Technology, Austria)
* Christopher Lynch (Clarkson University, USA)
* Assia Mahboubi (Inria, France)
* Panagiotis Manolios (Northeastern University, USA)
* Dale Miller (Inria and LIX/Ecole Polytechnique, France)
* Claudia Nalon (University of Brasilia, Brazil)
* Tobias Nipkow (Technical University of Munich, Germany)
* Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
* Jens Otten (University of Oslo, Norway)
* Lawrence Paulson (University of Cambridge, UK)
* Frank Pfenning (Carnegie Mellon University, USA)
* Andrei Popescu (Middlesex University London, UK)
* Andrew Reynolds (University of Iowa, USA)
* Christophe Ringeissen (LORIA-INRIA, France)
* Katsuhiko Sano (Hokkaido University, Japan)
* Renate Schmidt (The University of Manchester, UK)
* Stephan Schulz (DHBW Stuttgart, Germany)
* Roberto Sebastiani (DISI, University of Trento, Italy)
* Martin Suda (Czech Technical University, Czech Republic)
* Geoff Sutcliffe (University of Miami, USA)
* Sofiene Tahar (Concordia University, Canada)
* Cesare Tinelli (The University of Iowa, USA)
* Christian Urban (King's College London, UK)
* Josef Urban (Czech Technical University in Prague, Czech Republic)
* Uwe Waldmann (Max Planck Institute for Informatics, Germany)
* Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
CALL FOR PAPERS
IJCAR 2020
The 10th International Joint Conference on Automated Reasoning
Paris, France, June 29-July 5, 2020
https://ijcar2020.org
===============================================================================
IJCAR is the premier international joint conference on all topics in automated
reasoning. The IJCAR 2020 technical program will consist of presentations of
high-quality original research papers, short papers describing interesting work
in progress, system descriptions, and invited talks. IJCAR 2020 (+ workshops,
tutorials, etc.) will take place in Paris (France) from June 29 to July 5 2020.
It will be co-located with the conference FSCD.
IJCAR 2020 is the merger of leading events in automated reasoning:
* CADE (Conference on Automated Deduction)
* FroCoS (Symposium on Frontiers of Combining Systems)
* ITP (International Conference on Interactive Theorem Proving)
* TABLEAUX (Conference on Analytic Tableaux and Related Methods)
TOPICS
======
IJCAR 2020 invites submissions related to all aspects of automated or
interactive reasoning, including foundations, implementations, and
applications. Original research papers and descriptions of working automated
deduction systems or proof assistants 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.
* 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 proving, combination of decision or proof procedures, SAT
and SMT solving, integration of proof assistants with automated provers and
other symbolic tools, etc.
* Applications of interest include: verification, formal methods, program
analysis and synthesis, computer mathematics, declarative programming,
deductive databases, knowledge representation, education, formalization of
mathematics etc.
The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS
series (www.springer.com/lncs).
IMPORTANT DATES
===============
* Abstract submission: January 16, 2020
* Paper submission: January 23, 2020
* Rebuttal: March 6-10, 2020
* Notification: March 20, 2020
* Final version of papers due: April 10, 2020
* IJCAR Conference + Workshops: June 29 - July 5, 2020
SUBMISSION GUIDELINES
=====================
Submission is electronic, through
https://easychair.org/conferences/?conf=ijcar2020
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 three categories of submissions:
REGULAR PAPERS.
Submissions, not exceeding fifteen (15) pages excluding 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. In particular submissions describing
formal proofs are expected to be accompanied by the source files of the
formalization. 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 seven (7) pages excluding bibliography, should
describe the implemented tool and its novel features. Submissions in this
category should bear the phrase "(system description)" beneath the title. 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.
SHORT PAPERS.
Submissions, not exceeding five (5) pages excluding bibliography, and
describing interesting work in progress. Such a preliminary report may consist
of an extended abstract. Each of these papers should bear the phrase "(short
paper)" beneath the title. Accepted submissions in this category will be
presented as short talks and published in the main proceedings. There will be
no downgrading from regular papers or system descriptions to short papers.
All submissions should meet high academic standards; proofs of theoretical
results that do not fit in the page limit, executables of systems, and input
data of experiments should be made available, via a reference to a website or
in an appendix of the paper.
BEST PAPER AWARD
================
IJCAR 2020 will recognize the most outstanding submission with a best paper
award at the conference.
STUDENT TRAVEL AWARDS
====================
Woody Bledsoe Travel Awards will be available to support selected students
attending the conference.
SPECIAL ISSUE
=============
The authors of a selection of the best IJCAR 2020 papers will be invited to
submit an extended version of their paper after the conference, to be published
in a special issue of Logical Methods in Computer Science.
ORGANIZATION
============
Conference Chair:
* Kaustuv Chaudhuri (INRIA, Ecole Polytechnique)
Programme Chairs:
* Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France),
* Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany)
Workshop, Tutorial and Competition Chairs:
* Giulio Manzonetto (Université Paris-Nord, France)
* Andrew Reynolds (University of Iowa, USA)
Programme Committee:
* Takahito Aoto (Niigata University, Japan)
* Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina)
* Jeremy Avigad (Carnegie Mellon University, USA)
* Franz Baader (TU Dresden, Germany)
* Peter Baumgartner (Data 61 and CSIRO, Australia)
* Christoph Benzmüller (Freie Universität Berlin, Germany)
* Armin Biere (Johannes Kepler University Linz, Austria)
* Nikolaj Bjorner (Microsoft Research, USA)
* Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands)
* Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
* James Brotherston (University College London, UK)
* Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France)
* Agata Ciabattoni (Vienna University of Technology, Austria)
* Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden)
* Leonardo de Moura (Microsoft Research, USA)
* Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France)
* Gilles Dowek (Inria and ENS Paris-Saclay, France)
* Marcelo Finger (University of São Paulo, Brazil)
* Pascal Fontaine (Universite de Lorraine, CNRS, Inria, LORIA, France)
* Didier Galmiche (Universite de Lorraine - LORIA, France)
* Silvio Ghilardi (Universita degli Studi di Milano, Italy)
* Martin Giese (Universitetet i Oslo, Norway)
* Juergen Giesl (RWTH Aachen University, Germany)
* Valentin Goranko (Stockholm University, Sweden)
* Rajeev Gore (The Australian National University, Australia)
* Stefan Hetzl (Vienna University of Technology, Austria)
* Marijn J. H. Heule (The University of Texas at Austin, USA)
* Cezary Kaliszyk (University of Innsbruck, Austria)
* Deepak Kapur (University of New Mexico, USA)
* Laura Kovacs (Vienna University of Technology, Austria)
* Christopher Lynch (Clarkson University, USA)
* Assia Mahboubi (Inria, France)
* Panagiotis Manolios (Northeastern University, USA)
* Dale Miller (Inria and LIX/Ecole Polytechnique, France)
* Claudia Nalon (University of Brasilia, Brazil)
* Tobias Nipkow (Technical University of Munich, Germany)
* Albert Oliveras (Universitat Politècnica de Catalunya, Spain)
* Jens Otten (University of Oslo, Norway)
* Lawrence Paulson (University of Cambridge, UK)
* Frank Pfenning (Carnegie Mellon University, USA)
* Andrei Popescu (Middlesex University London, UK)
* Andrew Reynolds (University of Iowa, USA)
* Christophe Ringeissen (LORIA-INRIA, France)
* Katsuhiko Sano (Hokkaido University, Japan)
* Renate Schmidt (The University of Manchester, UK)
* Stephan Schulz (DHBW Stuttgart, Germany)
* Roberto Sebastiani (DISI, University of Trento, Italy)
* Martin Suda (Czech Technical University, Czech Republic)
* Geoff Sutcliffe (University of Miami, USA)
* Sofiene Tahar (Concordia University, Canada)
* Cesare Tinelli (The University of Iowa, USA)
* Christian Urban (King's College London, UK)
* Josef Urban (Czech Technical University in Prague, Czech Republic)
* Uwe Waldmann (Max Planck Institute for Informatics, Germany)
* Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
2019-09-29
[Caml-list] FMFun 2019 - Call for Papers
-----------------------------------------------------------------------------------
Call for Papers - FMFun 2019 =================================================================================== 1st International Workshop "Formal Methods - Fun for Everybody" =================================================================================== https://fefm.github.io Bergen, Norway, 2-3 December 2019 Co-located with iFM 2019 ----------------------------------------------------------------------------------- Submission link: https://easychair.org/conferences/?conf=fmfun2019. Short and regular papers abstract submission deadline: Monday 7 October 2019 Short and regular papers submission deadline: Monday 14 October 2019 Short and regular paper notification: Friday 1 November 2019 Presentation Submission deadline: Saturday 2 November 2019 Presentation Notification: Wednesday 6 November 2019 ----------------------------------------------------------------------------------- The largest transformations that universities make to industrial practices is through releasing legions of graduates every year. These graduates challenge established processes, and pave ways for new approaches. The standard CS graduate leaves university with either no knowledge of Formal Methods or a hatred for Formal Methods. Unless this situation is changed, Formal Methods will never be accepted in industry. This workshop explores ways of how to utilize this pathway to transformation for spreading Formal Methods. In current practice, FM are often taught by theoreticians, who (ab)use their FM courses to teach theoretical concepts rather than putting FMs in a SE context. The workshop's vision is that FMs ought to be taught in such a way that every student can have fun with it. But how can this be achieved? In order to answer this question the workshop welcomes participants from Formal methods as well as from education to exchange their views and perspectives. We aim to formulate a joint white paper that collects the outcomes of discussion and activities at the workshop. This white paper shall be circulated to educational bodies in charge of giving recommendations on curriculum development and will be published in the postproceedings. ----------------------------------------------------------------------------------- TOPICS AND WORKSHOP FORMAT ----------------------------------------------------------------------------------- The workshop invites contributions that address this question, which include but are not limited to Experience reports by teachers and students; New teaching approaches, e.g. games; Education-oriented research or classroom experience ; Innovative teaching techniques or pedagogical tools ; Curricular innovations or initiatives; Innovative industry-education collaboration interventions; Didactics and methods of teaching and assessment; Combination of teaching and research; Post-hoc analysis of successes and failures in teaching and learning; Collaborative Learning; Technology transfer to industry; Developing student skills, e.g. on abstract thinking and logical reasoning; Comparison of formal methods from a teaching/learning perspective; Children education and formal methods; for university and pre-university education. The workshop will consist of contributed and invited talks, including a living lab on teaching Formal Methods with Fun and facilitated discussions Leading to the formulation of the white paper. ----------------------------------------------------------------------------------- SUBMISSION AND PUBLICATION ----------------------------------------------------------------------------------- Authors are invited to submit research contributions or experience reports, via Easychair (https://easychair.org/my/conference?conf=fmfun2019). All papers should be written in English and prepared using the specific LNCS templates available at http://www.springer.de/comp/lncs/authors.html. The workshop welcomes three different categories of submissions: a) Regular papers: up to 15 pages + references; b) Short papers: 6-8 pages + references; c) Presentations: up to 4 pages + references. Regular and Short papers need to make original contributions and will be published in the post-proceedings; for this Springer LNCS have been requested. Short papers and Presentations can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. Submission of already publish work as a Presentation is welcome. Submissions can take the form of research papers, position papers, survey papers, reports on teaching experience, reports on learning experience. There are plans for a follow-up special issue in a journal on education. ----------------------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------------------- Short and regular paper submission deadline: Monday 30 September 2019 Short and regular paper notification: Friday 1 November 2019 Presentation submission deadline: Saturday 2 November 2019 Presentations notification: Wednesday 6 November 2019 Workshop: Monday 2 and Tuesday 3 December 2019 Camera ready papers for post-proceedings: Monday 20 January 2020 ----------------------------------------------------------------------------------- KEYNOTE SPEAKERS ----------------------------------------------------------------------------------- * Magne Haveraaen, University of Bergen, Norway * Peter Ölveczky, University of Oslo, Norway ----------------------------------------------------------------------------------- PROGRAM CO-CHAIRS ----------------------------------------------------------------------------------- * Antonio Cerone, Department of Computer Science, Nazarbayev University, Kazakhstan * Markus Roggenbach, Department of Computer Science, Swansea University, UK ----------------------------------------------------------------------------------- PROGRAM COMMITTEE ----------------------------------------------------------------------------------- * Luís Barbosa, University of Minho, Portugal * Hubert Baumeister, Technical University of Denmark, Denmark * Antonio Cerone, Nazarbayev University, Kazakhstan (Program Co-chair) * Ming Chai, Beijing Jiaotong University, China * Tom Crick, Swansea University, UK * Sabine Glesner, Technical University Berlin, Germany * Jan Friso Groote, Eindhoven University of Technology, The Netherlands * Stefan Gruner, University of Pretoria, South Africa * Klaus Havelund, NASA Jet Propulsion Laboratory, USA * Magne Haveraaen, University of Bergen, Norway * Karl Lermer, Zurich University of Applied Sciences, Switzerland * Bas Luttik, Eindhoven University of Technology, The Netherlands * Kathy Malone, Nazarbayev University, Kazakhstan * Faron Moller, Swansea University, UK * Hans de Nivelle, Nazarbayev University, Kazakhstan * Peter Ölveczky, University of Oslo, Norway * Carlo Gustavo Lopez Pombo, Universidad de Buenos Aires and CONICET, Argentina * Lucia Rapanotti, Open University, UK * Steve Reeves, University of Waikato, New Zealand * Markus Roggenbach, Swansea University, UK (Program Co-chair) * Holger Schlingloff, Fraunhofer FOKUS and Humboldt University, Germany * Gerardo Schneider, Chalmers | University of Gothenburg, Sweden * Siraj Shaikh, Coventry University, UK * Ben Tyler, Nazarbayev University, Kazakhstan * Janis Voigtländer, University of Duisburg-Essen, Germany * Ayman Wahba, Ain Shams University, Egypt ----------------------------------------------------------------------------------- CONTACT ----------------------------------------------------------------------------------- Inquiries concerning submissions should be sent to fmfun2019 AT easychair DOT org.
2019-09-23
[Caml-list] FMBC 2019 Call for Participation - Porto (Portugal), October 11
[Please accept our apologies for duplicates.]
=====================================================
Call for Participation
1st Workshop on Formal Methods for Blockchains (FMBC) 2019
https://sites.google.com/view/fmbc/home
Porto, Portugal, October 11
Part of the 3rd World Congress on Formal Methods
http://formalmethods2019.inesctec.pt/
=====================================================
About FMBC
----------------
Blockchains are decentralized transactional ledgers that rely on
cryptographic hash functions for guaranteeing the integrity of the
stored data. Participants on the network reach agreement on what valid
transactions are through consensus algorithms.
Blockchains may also provide support for Smart Contracts. Smart
Contracts are scripts of an ad-hoc programming language that are
stored in the blockchain and that run on the network. They can
interact with the ledger's data and update its state. These scripts
can express the logic of possibly complex contracts between users of
the blockchain. Thus, Smart Contracts can facilitate the economic
activity of blockchain participants.
With the emergence and increasing popularity of cryptocurrencies such
as Bitcoin and Ethereum, it is now of utmost importance to have strong
guarantees of the behavior of blockchain so ware. These guarantees
can be brought by using Formal Methods. Indeed, Blockchain software
encompasses many topics of computer science where using Formal Methods
techniques and tools are relevant: consensus algorithms to ensure the
liveness and the security of the data on the chain, programming
languages specifically designed to write smart contracts,
cryptographic protocols, such as zero-knowledge proofs, used to ensure
privacy, etc.
This workshop is a forum to identify theoretical and practical
approaches of formal methods for blockchain technology. Topics
include, but are not limited to:
* Design and implementation of Smar Contract languages
* Formal models of blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for blockchain-specific cryptographic primitives or
protocols
* Formal languages for Smart Contracts
* Verification of Smart Contracts
Invited Speaker
--------------------
Ilya Sergey (Yale-NUS College / NUS School of Computing)
Contributed papers
--------------------------
See the workshop program at: https://sites.google.com/view/fmbc/program
Registration
----------------
Registration is shared for all FM events:
http://formalmethods2019.inesctec.pt/?page_id=2363
Attending
-------------
See the FM webpage at: http://formalmethods2019.inesctec.pt/?page_id=140
Contact
----------
mailto:fmbc19@easychair.org
=====================================================
Call for Participation
1st Workshop on Formal Methods for Blockchains (FMBC) 2019
https://sites.google.com/view/fmbc/home
Porto, Portugal, October 11
Part of the 3rd World Congress on Formal Methods
http://formalmethods2019.inesctec.pt/
=====================================================
About FMBC
----------------
Blockchains are decentralized transactional ledgers that rely on
cryptographic hash functions for guaranteeing the integrity of the
stored data. Participants on the network reach agreement on what valid
transactions are through consensus algorithms.
Blockchains may also provide support for Smart Contracts. Smart
Contracts are scripts of an ad-hoc programming language that are
stored in the blockchain and that run on the network. They can
interact with the ledger's data and update its state. These scripts
can express the logic of possibly complex contracts between users of
the blockchain. Thus, Smart Contracts can facilitate the economic
activity of blockchain participants.
With the emergence and increasing popularity of cryptocurrencies such
as Bitcoin and Ethereum, it is now of utmost importance to have strong
guarantees of the behavior of blockchain so ware. These guarantees
can be brought by using Formal Methods. Indeed, Blockchain software
encompasses many topics of computer science where using Formal Methods
techniques and tools are relevant: consensus algorithms to ensure the
liveness and the security of the data on the chain, programming
languages specifically designed to write smart contracts,
cryptographic protocols, such as zero-knowledge proofs, used to ensure
privacy, etc.
This workshop is a forum to identify theoretical and practical
approaches of formal methods for blockchain technology. Topics
include, but are not limited to:
* Design and implementation of Smar Contract languages
* Formal models of blockchain applications or concepts
* Formal methods for consensus protocols
* Formal methods for blockchain-specific cryptographic primitives or
protocols
* Formal languages for Smart Contracts
* Verification of Smart Contracts
Invited Speaker
--------------------
Ilya Sergey (Yale-NUS College / NUS School of Computing)
Contributed papers
--------------------------
See the workshop program at: https://sites.google.com/view/fmbc/program
Registration
----------------
Registration is shared for all FM events:
http://formalmethods2019.inesctec.pt/?page_id=2363
Attending
-------------
See the FM webpage at: http://formalmethods2019.inesctec.pt/?page_id=140
Contact
----------
mailto:fmbc19@easychair.org
Subscribe to:
Posts (Atom)