[apologies for any cross-posting]
****************************************************************************************************************************************************************
Call for Papers
AIIA19 - The 18th International Conference of the Italian Association
for Artificial Intelligence
UNICAL, Rende (CS), 19-22 November 2019
****************************************************************************************************************************************************************
-----------------------------------------------------------------
Topics of Interest
-----------------------------------------------------------------
The conference covers broadly the many aspects of theoretical and
applied Artificial Intelligence. A series of workshops dedicated to
specific topics enhances the program. AIIA 2019 welcomes submissions
covering all areas of AI, including (but not limited to) machine
learning, search, planning, knowledge representation, reasoning,
constraint satisfaction, natural language processing, robotics and
perception, and multiagent systems. We encourage all types of
high-quality contributions including theoretical, engineering and
applied papers. We also encourage contributions on AI techniques in the
context of novel application domains, such as security, sustainability,
health care, transportation, and commerce.
Besides regular original papers, in this edition we also welcome
discussion papers containing descriptions of results recently published
or accepted for the presentation in international conferences.
Discussion papers are expected to be more broadly accessible than
regular papers, they are an opportunity for the authors to present their
recent results to the AI community, and a valuable addition for the
attendees of AIIA 2019.
At least one author of each accepted paper is required to register and
attend the conference to present the work.
-----------------------------------------------------------------
Proceedings of Regular Papers
-----------------------------------------------------------------
The regular papers will be included in the proceedings of the
conference, and will be published by Springer Verlag in the Lecture
Notes in Artificial Intelligence series. Authors of selected regular
papers accepted to the main track will be invited to submit an extended
version for publication on "Intelligenza Artificiale", the International
Journal of the Italian Association for Artificial Intelligence, edited
by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation
Index" and Scopus by Elsevier.
-----------------------------------------------------------------
Proceedings of Discussion Papers
-----------------------------------------------------------------
The discussion papers will not be included in the LNCS proceedings of
the conference, and will be made available through the conference
WEB-Site and possibly published on CEUR WS Proceedings upon request.
-----------------------------------------------------------------
Best Papers
-----------------------------------------------------------------
The Program Committee will select the Best Student Paper Award and the
Best Paper Award from the accepted regular papers. In order to be
eligible for the Best Student Paper award, at least one author must be a
student.
-----------------------------------------------------------------
Submission Instructions
-----------------------------------------------------------------
The submitted papers should be written in English and formatted
according to the Springer LNCS style.
Regular papers must be original papers which are not being submitted
simultaneously for publication elsewhere. These papers should not exceed
12 pages plus bibliography.
The discussion papers report results already published or accepted for
the publication in international conferences, and should not exceed 8
pages plus bibliography.
Paper submission is electronic via easychair at the address:
https://easychair.org/conferences/?conf=aiia2019
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Abstract submission by 28 May 2019
Paper submission by 4 June 2019
Notification to authors by 23 July 2019
Camera-ready copies due by 3 September 2019
-----------------------------------------------------------------
Conference Web Site
-----------------------------------------------------------------
For the most up to date information, please visit:
https://aiia2019.mat.unical.it
-----------------------------------------------------------------
Organizing Committee
-----------------------------------------------------------------
Conference Chair:
Nicola Leone (UNICAL, Italy)
Program Chairs:
Mario Alviano (UNICAL, Italy)
Gianluigi Greco (UNICAL, Italy)
Francesco Scarcello (UNICAL, Italy)
Organization Chairs:
Francesco Ricca (UNICAL, Italy)
Chiara Ghidini (FBK, Trento)
Workshop and Tutorial Chair:
Rafael Penaloza (UNIMIB, Italy)
Doctoral Consortium Chair:
Marco Maratea (UNIGE, Italy)
Publicity and Web Chair:
Luca Pulina (UNISS, Italy)
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
2019-03-31
2019-03-27
[Caml-list] [TFPIE'19] Call for papers: Trends in Functional Programming in Education 2019, 11 June 2019, Vancouver, BC, CA
TFPIE 2019 Call for papers
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located
with TFP 2019)
TFPIE 2019 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 16 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=tfpie2019
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: May 14th 2019, Anywhere on Earth.
Notification: May 20th
Workshop: June 11th
Submission for formal review: August 18th 2019, Anywhere on Earth
Notification of full article: October 6th
Camera ready: November 1st
Program Committee
Alex Gerdes - University of Gothenburg / Chalmers
Jurriaan Hage (Chair) - Utrecht University
Pieter Koopman - Radboud University, the Netherlands
Elena Machkasova - University of Minnesota, Morris, USA
Heather Miller - Carnegie Mellon University and EPFL Lausanne
Prabhakar Ragde - University of Waterloo, Waterloo, Ontario, Canada
Simon Thompson - University of Kent, UK
Sharon Tuttle - Humboldt State University, Arcata, USA
Note: information on TFP is available at https://www.tfp2019.org/index.html
http://www.staff.science.uu.nl/~hage0101/tfpie2019/index.html
(June 11th, University of British Columbia, Vancouver Canada, co-located
with TFP 2019)
TFPIE 2019 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 16 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=tfpie2019
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: May 14th 2019, Anywhere on Earth.
Notification: May 20th
Workshop: June 11th
Submission for formal review: August 18th 2019, Anywhere on Earth
Notification of full article: October 6th
Camera ready: November 1st
Program Committee
Alex Gerdes - University of Gothenburg / Chalmers
Jurriaan Hage (Chair) - Utrecht University
Pieter Koopman - Radboud University, the Netherlands
Elena Machkasova - University of Minnesota, Morris, USA
Heather Miller - Carnegie Mellon University and EPFL Lausanne
Prabhakar Ragde - University of Waterloo, Waterloo, Ontario, Canada
Simon Thompson - University of Kent, UK
Sharon Tuttle - Humboldt State University, Arcata, USA
Note: information on TFP is available at https://www.tfp2019.org/index.html
[Caml-list] ASPOCP 2019 - call for papers (deadline extended)
[Apologies for multiple postings]
Deadline extended. New dates:
IMPORTANT DATES
Abstract submission deadline: April 10, 2019 (extended)
Paper submission deadline: April 15, 2019 (extended)
Notification: May 5, 2019 (extended)
Camera-ready articles due: May 19, 2019 (extended)
Workshop: June 3 or 4, 2019
===============================================================================
CALL FOR PAPERS
ASPOCP 2019
12th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2019
June 3 or 4, 2019 (LPNMR Workshop)
Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning,
Saint Joseph's University, Philadelphia, PA (USA)
June 4-7, 2019
===============================================================================
AIMS AND SCOPE
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to
various knowledge-intensive tasks and combinatorial search problems. ASP was found to be
closely related to SAT, which led to a new method of computing answer sets using SAT solvers and
techniques adapted from SAT. This has been a much studied relationship, and is currently extended
towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms,
such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming
(CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new
methods of computing answer sets are being developed based on relationships to these formalisms.
Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving,
and in particular language and solver integration. The most prominent examples in this area
currently are the integration of ASP with description logics (in the realm of the Semantic Web) and
constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP)
research direction).
A large body of general results regarding ASP is available and several efficient ASP solvers have
been implemented. However, there are still significant challenges in applying ASP to real life
applications, and more interest in relating ASP to other computing paradigms is emerging. This
workshop will provide opportunities for researchers to identify these challenges and to exchange
ideas for overcoming them.
TOPICS
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and knowledge compilation.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of
other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
SUBMISSIONS
Papers must describe original research and should not exceed 13 pages (excluding
references).
Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines
Paper submission will be handled electronically by means of the Easychair system.
The submission page is available here
IMPORTANT DATES
Abstract submission deadline: April 10, 2019 (extended)
Paper submission deadline: April 15, 2019 (extended)
Notification: May 5, 2019 (extended)
Camera-ready articles due: May 19, 2019 (extended)
Workshop: June 3 or 4, 2019
PROCEEDINGS
Accepted papers will be made available online as unofficial proceedings with
Arxiv.org.
A selection of extended and revised versions of accepted papers will appear
in a special issue. We are currently negotiating with potential journals.
Such papers will go through a second formal selection process to meet
the high quality standard of the journal.
LOCATION
Saint Joseph's University, Philadelphia, PA (USA)
WORKSHOP CO-CHAIRS
Jorge Fandinno, IRIT, Toulouse, France
Johannes K. Fichte, TU Wien, Austria
PROGRAM COMMITTEE
Alessandro Mosca
Amelia Harrison The University of Texas at Austin
Anne Siegel IRISA, CNRS
Antti Hyvärinen USI
Bart Bogaerts Vrije Universiteit Brussel
Bernhard Bliem University of Helsinki
Carmine Dodaro University of Genova
Chitta Baral Arizona State University
Cristina Feier University of Bremen
Daniela Inclezan Miami University
Enrico Giunchiglia University Genova
Fangkai Yang Maana Inc.
Francesco Ricca University of Calabria
Guillermo R. Simari Universidad del Sur in Bahia Blanca
Javier Romero University of Potsdam
Jia-Huai You University of Alberta
Joao Leite Universidade NOVA de Lisboa
Johannes K. Fichte TU Dresden
Johannes P. Wallner Vienna University of Technology
Joohyung Lee Arizona State University
Jörg Pührer Leipzig University
Jorge Fandiño IRIT, University of Toulouse, CNRs
Marc Denecker Katholieke Universiteit Leuven
Marcello Balduccini Saint Joseph's University
Marco Maratea University of Genova
Mario Alviano University of Calabria
Markus Hecher Vienna University of Technology
Martin Gebser University of Potsdam
Max Ostrowski
Michael Morak
Michael Gelfond Texas Tech University
Mirek Truszczynski University of Kentucky
Mutsunori Banbara IKobe University,
Nicola Leone University of Calabria
Orkunt Sabuncu TED University, Ankara
Pedro Cabalar University of Corunna
Richard Watson Texas Tech University, Department of Computer Science
Stefan Ellmauthaler Leipzig University
Stefan Woltran Vienna University of Technology
Stefania Costantini University of Aquila
Tomi Janhunen Aalto University
Tran Cao Son New Mexico State University
Vladimir Lifschitz The University of Texas at Austin
Wolfgang Faber Alpen-Adria-Universität Klagenfurt
Yusuf Izmirlioglu Sabanci University
Deadline extended. New dates:
IMPORTANT DATES
Abstract submission deadline: April 10, 2019 (extended)
Paper submission deadline: April 15, 2019 (extended)
Notification: May 5, 2019 (extended)
Camera-ready articles due: May 19, 2019 (extended)
Workshop: June 3 or 4, 2019
===============================================================================
CALL FOR PAPERS
ASPOCP 2019
12th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2019
June 3 or 4, 2019 (LPNMR Workshop)
Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning,
Saint Joseph's University, Philadelphia, PA (USA)
June 4-7, 2019
===============================================================================
AIMS AND SCOPE
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to
various knowledge-intensive tasks and combinatorial search problems. ASP was found to be
closely related to SAT, which led to a new method of computing answer sets using SAT solvers and
techniques adapted from SAT. This has been a much studied relationship, and is currently extended
towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms,
such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming
(CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new
methods of computing answer sets are being developed based on relationships to these formalisms.
Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving,
and in particular language and solver integration. The most prominent examples in this area
currently are the integration of ASP with description logics (in the realm of the Semantic Web) and
constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP)
research direction).
A large body of general results regarding ASP is available and several efficient ASP solvers have
been implemented. However, there are still significant challenges in applying ASP to real life
applications, and more interest in relating ASP to other computing paradigms is emerging. This
workshop will provide opportunities for researchers to identify these challenges and to exchange
ideas for overcoming them.
TOPICS
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and knowledge compilation.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of
other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
SUBMISSIONS
Papers must describe original research and should not exceed 13 pages (excluding
references).
Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines
Paper submission will be handled electronically by means of the Easychair system.
The submission page is available here
IMPORTANT DATES
Abstract submission deadline: April 10, 2019 (extended)
Paper submission deadline: April 15, 2019 (extended)
Notification: May 5, 2019 (extended)
Camera-ready articles due: May 19, 2019 (extended)
Workshop: June 3 or 4, 2019
PROCEEDINGS
Accepted papers will be made available online as unofficial proceedings with
Arxiv.org.
A selection of extended and revised versions of accepted papers will appear
in a special issue. We are currently negotiating with potential journals.
Such papers will go through a second formal selection process to meet
the high quality standard of the journal.
LOCATION
Saint Joseph's University, Philadelphia, PA (USA)
WORKSHOP CO-CHAIRS
Jorge Fandinno, IRIT, Toulouse, France
Johannes K. Fichte, TU Wien, Austria
PROGRAM COMMITTEE
Alessandro Mosca
Amelia Harrison The University of Texas at Austin
Anne Siegel IRISA, CNRS
Antti Hyvärinen USI
Bart Bogaerts Vrije Universiteit Brussel
Bernhard Bliem University of Helsinki
Carmine Dodaro University of Genova
Chitta Baral Arizona State University
Cristina Feier University of Bremen
Daniela Inclezan Miami University
Enrico Giunchiglia University Genova
Fangkai Yang Maana Inc.
Francesco Ricca University of Calabria
Guillermo R. Simari Universidad del Sur in Bahia Blanca
Javier Romero University of Potsdam
Jia-Huai You University of Alberta
Joao Leite Universidade NOVA de Lisboa
Johannes K. Fichte TU Dresden
Johannes P. Wallner Vienna University of Technology
Joohyung Lee Arizona State University
Jörg Pührer Leipzig University
Jorge Fandiño IRIT, University of Toulouse, CNRs
Marc Denecker Katholieke Universiteit Leuven
Marcello Balduccini Saint Joseph's University
Marco Maratea University of Genova
Mario Alviano University of Calabria
Markus Hecher Vienna University of Technology
Martin Gebser University of Potsdam
Max Ostrowski
Michael Morak
Michael Gelfond Texas Tech University
Mirek Truszczynski University of Kentucky
Mutsunori Banbara IKobe University,
Nicola Leone University of Calabria
Orkunt Sabuncu TED University, Ankara
Pedro Cabalar University of Corunna
Richard Watson Texas Tech University, Department of Computer Science
Stefan Ellmauthaler Leipzig University
Stefan Woltran Vienna University of Technology
Stefania Costantini University of Aquila
Tomi Janhunen Aalto University
Tran Cao Son New Mexico State University
Vladimir Lifschitz The University of Texas at Austin
Wolfgang Faber Alpen-Adria-Universität Klagenfurt
Yusuf Izmirlioglu Sabanci University
2019-03-21
[Caml-list] ASPOCP 2019 - call for papers
[Apologies for multiple postings]
===============================================================================
CALL FOR PAPERS
ASPOCP 2019
12th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2019
June 3 or 4, 2019 (LPNMR Workshop)
Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning,
Saint Joseph's University, Philadelphia, PA (USA)
June 4-7, 2019
===============================================================================
AIMS AND SCOPE
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to
various knowledge-intensive tasks and combinatorial search problems. ASP was found to be
closely related to SAT, which led to a new method of computing answer sets using SAT solvers and
techniques adapted from SAT. This has been a much studied relationship, and is currently extended
towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms,
such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming
(CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new
methods of computing answer sets are being developed based on relationships to these formalisms.
Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving,
and in particular language and solver integration. The most prominent examples in this area
currently are the integration of ASP with description logics (in the realm of the Semantic Web) and
constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP)
research direction).
A large body of general results regarding ASP is available and several efficient ASP solvers have
been implemented. However, there are still significant challenges in applying ASP to real life
applications, and more interest in relating ASP to other computing paradigms is emerging. This
workshop will provide opportunities for researchers to identify these challenges and to exchange
ideas for overcoming them.
TOPICS
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and knowledge compilation.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of
other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
SUBMISSIONS
Papers must describe original research and should not exceed 13 pages (excluding
references).
Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines
Paper submission will be handled electronically by means of the Easychair system.
The submission page is available here
IMPORTANT DATES (tentative)
Abstract submission deadline: March 26, 2019
Paper submission deadline: April 1, 2019
Notification: May 1, 2019
Camera-ready articles due: May 12, 2019
Workshop: June 3 or 4, 2019
PROCEEDINGS
Accepted papers will be made available online as inofficial proceedings with
Arxiv.org.
A selection of extended and revised versions of accepted papers will appear
in a special issue. We are currently negotiating with potential journals.
Such papers will go through a second formal selection process to meet
the high quality standard of the journal.
LOCATION
Saint Joseph's University, Philadelphia, PA (USA)
WORKSHOP CO-CHAIRS
Jorge Fandinno, IRIT, Toulouse, France
Johannes K. Fichte, TU Wien, Austria
PROGRAM COMMITTEE
Alessandro Mosca
Amelia Harrison The University of Texas at Austin
Anne Siegel IRISA, CNRS
Antti Hyvärinen USI
Bart Bogaerts Vrije Universiteit Brussel
Bernhard Bliem University of Helsinki
Carmine Dodaro University of Genova
Chitta Baral Arizona State University
Cristina Feier University of Bremen
Daniela Inclezan Miami University
Enrico Giunchiglia University Genova
Fangkai Yang Maana Inc.
Francesco Ricca University of Calabria
Guillermo R. Simari Universidad del Sur in Bahia Blanca
Javier Romero University of Potsdam
Jia-Huai You University of Alberta
Joao Leite Universidade NOVA de Lisboa
Johannes K. Fichte TU Dresden
Johannes P. Wallner Vienna University of Technology
Joohyung Lee Arizona State University
Jörg Pührer Leipzig University
Jorge Fandiño IRIT, University of Toulouse, CNRs
Marc Denecker Katholieke Universiteit Leuven
Marcello Balduccini Saint Joseph's University
Marco Maratea University of Genova
Mario Alviano University of Calabria
Markus Hecher Vienna University of Technology
Martin Gebser University of Potsdam
Max Ostrowski
Michael Morak
Michael Gelfond Texas Tech University
Mirek Truszczynski University of Kentucky
Mutsunori Banbara IKobe University,
Nicola Leone University of Calabria
Orkunt Sabuncu TED University, Ankara
Pedro Cabalar University of Corunna
Richard Watson Texas Tech University, Department of Computer Science
Stefan Ellmauthaler Leipzig University
Stefan Woltran Vienna University of Technology
Stefania Costantini University of Aquila
Tomi Janhunen Aalto University
Tran Cao Son New Mexico State University
Vladimir Lifschitz The University of Texas at Austin
Wolfgang Faber Alpen-Adria-Universität Klagenfurt
Yusuf Izmirlioglu Sabanci University
===============================================================================
CALL FOR PAPERS
ASPOCP 2019
12th Workshop on Answer Set Programming and Other Computing Paradigms
https://sites.google.com/site/aspocp2019
June 3 or 4, 2019 (LPNMR Workshop)
Affiliated with 15th International Conference on Logic Programming and Nonmonotonic Reasoning,
Saint Joseph's University, Philadelphia, PA (USA)
June 4-7, 2019
===============================================================================
AIMS AND SCOPE
Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to
various knowledge-intensive tasks and combinatorial search problems. ASP was found to be
closely related to SAT, which led to a new method of computing answer sets using SAT solvers and
techniques adapted from SAT. This has been a much studied relationship, and is currently extended
towards satisfiability modulo theories (SMT). The relationship of ASP to other computing paradigms,
such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming
(CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new
methods of computing answer sets are being developed based on relationships to these formalisms.
Furthermore, the practical applications of ASP also foster work on multi-paradigm problem-solving,
and in particular language and solver integration. The most prominent examples in this area
currently are the integration of ASP with description logics (in the realm of the Semantic Web) and
constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP)
research direction).
A large body of general results regarding ASP is available and several efficient ASP solvers have
been implemented. However, there are still significant challenges in applying ASP to real life
applications, and more interest in relating ASP to other computing paradigms is emerging. This
workshop will provide opportunities for researchers to identify these challenges and to exchange
ideas for overcoming them.
TOPICS
Topics of interests include (but are not limited to):
- ASP and classical logic formalisms (SAT/FOL/QBF/SMT/DL).
- ASP and constraint programming.
- ASP and other logic programming paradigms, e.g., FO(ID).
- ASP and other nonmonotonic languages, e.g., action languages.
- ASP and external means of computation.
- ASP and probabilistic reasoning.
- ASP and knowledge compilation.
- ASP and machine learning.
- New methods of computing answer sets using algorithms or systems of
other paradigms.
- Language extensions to ASP.
- ASP and multi-agent systems.
- ASP and multi-context systems.
- Modularity and ASP.
- ASP and argumentation.
- Multi-paradigm problem solving involving ASP.
- Evaluation and comparison of ASP to other paradigms.
- ASP and related paradigms in applications.
- Hybridizing ASP with procedural approaches.
- Enhanced grounding or beyond grounding.
SUBMISSIONS
Papers must describe original research and should not exceed 13 pages (excluding
references).
Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines
Paper submission will be handled electronically by means of the Easychair system.
The submission page is available here
IMPORTANT DATES (tentative)
Abstract submission deadline: March 26, 2019
Paper submission deadline: April 1, 2019
Notification: May 1, 2019
Camera-ready articles due: May 12, 2019
Workshop: June 3 or 4, 2019
PROCEEDINGS
Accepted papers will be made available online as inofficial proceedings with
Arxiv.org.
A selection of extended and revised versions of accepted papers will appear
in a special issue. We are currently negotiating with potential journals.
Such papers will go through a second formal selection process to meet
the high quality standard of the journal.
LOCATION
Saint Joseph's University, Philadelphia, PA (USA)
WORKSHOP CO-CHAIRS
Jorge Fandinno, IRIT, Toulouse, France
Johannes K. Fichte, TU Wien, Austria
PROGRAM COMMITTEE
Alessandro Mosca
Amelia Harrison The University of Texas at Austin
Anne Siegel IRISA, CNRS
Antti Hyvärinen USI
Bart Bogaerts Vrije Universiteit Brussel
Bernhard Bliem University of Helsinki
Carmine Dodaro University of Genova
Chitta Baral Arizona State University
Cristina Feier University of Bremen
Daniela Inclezan Miami University
Enrico Giunchiglia University Genova
Fangkai Yang Maana Inc.
Francesco Ricca University of Calabria
Guillermo R. Simari Universidad del Sur in Bahia Blanca
Javier Romero University of Potsdam
Jia-Huai You University of Alberta
Joao Leite Universidade NOVA de Lisboa
Johannes K. Fichte TU Dresden
Johannes P. Wallner Vienna University of Technology
Joohyung Lee Arizona State University
Jörg Pührer Leipzig University
Jorge Fandiño IRIT, University of Toulouse, CNRs
Marc Denecker Katholieke Universiteit Leuven
Marcello Balduccini Saint Joseph's University
Marco Maratea University of Genova
Mario Alviano University of Calabria
Markus Hecher Vienna University of Technology
Martin Gebser University of Potsdam
Max Ostrowski
Michael Morak
Michael Gelfond Texas Tech University
Mirek Truszczynski University of Kentucky
Mutsunori Banbara IKobe University,
Nicola Leone University of Calabria
Orkunt Sabuncu TED University, Ankara
Pedro Cabalar University of Corunna
Richard Watson Texas Tech University, Department of Computer Science
Stefan Ellmauthaler Leipzig University
Stefan Woltran Vienna University of Technology
Stefania Costantini University of Aquila
Tomi Janhunen Aalto University
Tran Cao Son New Mexico State University
Vladimir Lifschitz The University of Texas at Austin
Wolfgang Faber Alpen-Adria-Universität Klagenfurt
Yusuf Izmirlioglu Sabanci University
2019-03-15
[Caml-list] [TFP'19] second call for papers: Trends in Functional Programming 2019, 12-14 June 2019, Vancouver, BC, CA
-------------------------------- 2 N D C A L L F O R P A P E R S -------------------------------- ====== TFP 2019 ====== 20th Symposium on Trends in Functional Programming 12-14 June, 2019 Vancouver, BC, CA https://www.tfp2019.org/index.html == Important Dates == Submission Deadline for pre-symposium formal review Thursday, March 28, 2019 Sumbission Deadline for Draft Papers Thursday, May 9, 2019 Notification for pre-symposium submissions Thursday, May 2, 2019 Notification for Draft Papers Tuesday, May 14, 1029 TFPIE Tuesday, June 11, 2019 Symposium Wednesday, June 12, 2019 – Friday, June 14, 2019 Notification of Student Paper Feedback Friday June 21, 2019 Submission Deadline for revised Draft Papers (post-symposium formal review) Thursday, August 1, 2019 Notification for post-symposium submissions Thursday, October 24, 2019 Camera Ready Deadline (both pre- and post-symposium) Friday, November 29, 2019 The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions (see below at scope). Please be aware that TFP uses two distinct rounds of submissions (see below at submission details). TFP 2019 will be the main event of a pair of functional programming events. TFP 2019 will be accompanied by the International Workshop on Trends in Functional Programming in Education (TFPIE), which will take place on June 11. == Scope == The symposium recognizes that new trends may arise through various routes. As part of the Symposium's focus on trends we therefore identify the following five article categories. High-quality articles are solicited in any of these categories: Research Articles: Leading-edge, previously unpublished research work Position Articles: On what new trends should or should not be Project Articles: Descriptions of recently started new projects Evaluation Articles: What lessons can be drawn from a finished project Overview Articles: Summarizing work with respect to a trendy subject Articles must be original and not simultaneously submitted for publication to any other forum. They may consider any aspect of functional programming: theoretical, implementation-oriented, or experience-oriented. Applications of functional programming techniques to other languages are also within the scope of the symposium. Topics suitable for the symposium include, but are not limited to: Functional programming and multicore/manycore computing Functional programming in the cloud High performance functional computing Extra-functional (behavioural) properties of functional programs Dependently typed functional programming Validation and verification of functional programs Debugging and profiling for functional languages Functional programming in different application areas: security, mobility, telecommunications applications, embedded systems, global computing, grids, etc. Interoperability with imperative programming languages Novel memory management techniques Program analysis and transformation techniques Empirical performance studies Abstract/virtual machines and compilers for functional languages (Embedded) domain specific languages New implementation strategies Any new emerging trend in the functional programming area If you are in doubt on whether your article is within the scope of TFP, please contact the TFP 2019 program chairs, William J. Bowman and Ron Garcia. == Best Paper Awards == To reward excellent contributions, TFP awards a prize for the best paper accepted for the formal proceedings. TFP traditionally pays special attention to research students, acknowledging that students are almost by definition part of new subject trends. A student paper is one for which the authors state that the paper is mainly the work of students, the students are listed as first authors, and a student would present the paper. A prize for the best student paper is awarded each year. In both cases, it is the PC of TFP that awards the prize. In case the best paper happens to be a student paper, that paper will then receive both prizes. == Instructions to Author == Papers must be submitted at: https://easychair.org/conferences/?conf=tfp2019 Authors of papers have the choice of having their contributions formally reviewed either before or after the Symposium. == Pre-symposium formal review == Papers to be formally reviewed before the symposium should be submitted before an early deadline and receive their reviews and notification of acceptance for both presentation and publication before the symposium. A paper that has been rejected in this process may still be accepted for presentation at the symposium, but will not be considered for the post-symposium formal review. == Post-symposium formal review == Papers submitted for post-symposium review (draft papers) will receive minimal reviews and notification of acceptance for presentation at the symposium. Authors of draft papers will be invited to submit revised papers based on the feedback received at the symposium. A post-symposium refereeing process will then select a subset of these articles for formal publication. == Paper categories == There are two types of submission, each of which can be submitted either for pre-symposium or post-symposium review: Extended abstracts. Extended abstracts are 4 to 10 pages in length. Full papers. Full papers are up to 20 pages in length. Each submission also belongs to a category: research position project evaluation overview paper Each submission should clearly indicate to which category it belongs. Additionally, a draft paper submission—of either type (extended abstract or full paper) and any category—can be considered a student paper. A student paper is one for which primary authors are research students and the majority of the work described was carried out by the students. The submission should indicate that it is a student paper. Student papers will receive additional feedback from the PC shortly after the symposium has taken place and before the post-symposium submission deadline. Feedback is only provided for accepted student papers, i.e., papers submitted for presentation and post-symposium formal review that are accepted for presentation. If a student paper is rejected for presentation, then it receives no further feedback and cannot be submitted for post-symposium review. == Format == Papers must be written in English, and written using the LNCS style. For more information about formatting please consult the Springer LNCS web site (http://www.springer.com/lncs). == Program Committee == Program Co-chairs William J. Bowman University of British Columbia Ronald Garcia University of British Columbia Matteo Cimini University of Massachusetts Lowell Ryan Culpepper Czech Technical Institute Joshua Dunfield Queen's University Sam Lindley University of Edinburgh Assia Mahboubi INRIA Nantes Christine Rizkallah University of New South Wales Satnam Singh Google AI Marco T. Morazán Seton Hall University John Hughes Chalmers University and Quviq Nicolas Wu University of Bristol Tom Schrijvers KU Leuven Scott Smith Johns Hopkins University Stephanie Balzer Carnegie Mellon University Viktória Zsók Eötvös Loránd University
2019-03-14
[Caml-list] Formal Methods 2019 - Final Call For Papers
==============================================================
Third and Final Call for Papers
FM 2019 - 23rd International Symposium on Formal Methods
- 3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
==============================================================
Check us out on FME's YouTube channel:
https://www.youtube.com/channel/UC5rZj0AyBudca0YRgEAX-Ow/
==============================================================
FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. Every 10 years the symposium is organised as a World
Congress. Twenty years after FM 1999 in Toulouse, and 10 years after
FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal
Methods. This is reflected in a PC with members from over 40
countries. Thus, FM 2019 will be both an occasion to celebrate and a
platform for enthusiastic researchers and practitioners from a
diversity of backgrounds to exchange their ideas and share their
experience.
FORMAL METHODS: THE NEXT 30 YEARS
It is now more than 30 years since the first VDM symposium in 1987
brought together researchers with the common goal of creating methods
to produce high quality software based on rigour and reason. Since
then the diversity and complexity of computer technology has changed
enormously and the formal methods community has stepped up to the
challenges those changes brought by adapting, generalising and
improving the models and analysis techniques that were the focus of
that first symposium. The theme for FM 2019 is a reflection on how far
the community has come and the lessons we can learn for understanding
and developing the best software for future technologies.
Important Dates
===============
Abstract submission: 28 March, 2019
Full paper submission: 11 April, 2019, 23:59 AoE
Notification: 11 June, 2019
Camera ready: 9 July, 2019
Conference: 7-11 October, 2019
Invited Speakers
================
- June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia)
- Shriram Krishnamurthi (Brown University, Providence, RI, USA)
- Erik Poll (Radboud University, Nijmegen, The Netherlands)
Topics of Interest
==================
FM 2019 encourages submissions on formal methods in a wide range of
domains including software, computer-based systems,
systems-of-systems, cyber-physical systems, human-computer
interaction, manufacturing, sustainability, energy, transport, smart
cities, and healthcare. We particularly welcome papers on techniques,
tools and experiences in interdisciplinary settings. We also welcome
papers on experiences of formal methods in industry, and on the design
and validation of formal methods tools. The broad topics of interest
for FM 2019 include, but are not limited to:
- Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating the use of formal methods in interdisciplinary settings.
- Formal methods in practice: Industrial applications of formal
methods, experience with formal methods in industry, tool usage
reports, experiments with challenge problems. The authors are
encouraged to explain how formal methods overcame problems, led to
improved designs, or provided new insights.
- Tools for formal methods: Advances in automated verification, model
checking, and testing with formal methods, tools integration,
environments for formal methods, and experimental validation of
tools. The authors are encouraged to demonstrate empirically that the
new tool or environment advances the state of the art.
- Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal methods,
and method integration. The authors are encouraged to evaluate process
innovations with respect to qualitative or quantitative
improvements. Empirical studies and evaluations are also solicited.
- Theoretical foundations of formal methods: All aspects of theory
related to specification, verification, refinement, and static and
dynamic analysis. The authors are encouraged to explain how their
results contribute to the solution of practical problems with formal
methods or tools.
Submission Guidelines
=====================
Papers should be original work, not published or submitted elsewhere,
in Springer LNCS format, written in English, submitted through
EasyChair: https://easychair.org/conferences/?conf=fm2019
Each paper will be evaluated by at least three members of the
Programme Committee. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available for
use by the reviewers. Similarly, case study papers should describe
significant case studies, and the complete development should be made
available at the time of review. The usual criteria for novelty,
reproducibility, correctness and the ability for others to build upon
the described work apply. Tool papers should explain enhancements made
compared to previously published work. A tool paper need not present
the theory behind the tool but should focus on the tool's features,
how it is used, its evaluation, and examples and screen shots
illustrating the tool's use. Authors of tool papers should make their
tool available for use by the reviewers.
We solicit two categories of papers:
- Regular Papers should not exceed 15 pages, not counting references
and appendices.
- Short papers, including tool papers, should not exceed 6 pages, not
counting references and appendices. Besides tool papers, short papers
are encouraged for any topic that can be described within the page
limit, and in particular for novel ideas without an extensive
experimental evaluation. Short papers will be accompanied by short
presentations.
For regular and tool papers, an appendix can provide additional
material such as details on proofs or experiments. The appendix is not
part of the page count and not guaranteed to be read or taken into
account by the reviewers. It should not contain information necessary
to the understanding and the evaluation of the presented work. Papers
will be accepted or rejected in the category in which they were
submitted.
At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.
Best Paper Award
================
At the conference, the PC Chairs will present an award to the authors
of the submission selected as the FM 2019 Best Paper.
Publication
===========
Accepted papers will be published in the Symposium Proceedings to
appear in Springer's Lecture Notes in Computer Science in the subline
on Formal Methods.
Authors of selected papers will be invited to submit an extended
version of their paper to one of the special issues in "Formal Aspects
of Computing" and "Formal Methods in System Design".
General Chair
=============
José Nuno Oliveira, INESC TEC & University of Minho, PT
Program Committee Chairs
========================
Maurice ter Beek, ISTI-CNR, Pisa, IT
Annabelle McIver, Macquarie University, Sydney, AU
Program Committee
==================
Bernhard Aichernig, TU Graz, AT
Elvira Albert, Complutense University of Madrid, ES
María Alpuente, Polytechnic University of Valencia, ES
Dalal Alrajeh, Imperial College, UK
Mário S. Alvim, Federal University of Minas Gerais, BR
June Andronick, CSIRO/Data61, AU
Christel Baier, TU Dresden, DE
Luís Barbosa, University of Minho and UN University, PT
Gilles Barthe, IMDEA Software Institute, ES
Marcello Bersani, Polytechnic University of Milan, IT
Gustavo Betarte, Tilsor SA and University of the Republic, UY
Nikolaj Bjørner, Microsoft Research, US
Frank de Boer, CWI, NL
Sergiy Bogomolov, Australian National University, AU
Julien Brunel, ONERA, FR
Néstor Cataño, Universidad del Norte, CO
Ana Cavalcanti, University of York, UK
Antonio Cerone, Nazarbayev University, KZ
Marsha Chechik, University of Toronto, CA
David Chemouil, ONERA, FR
Alessandro Cimatti, FBK-IRST, IT
Alcino Cunha, University of Minho, PT
Michael Dierkes, Rockwell Collins, FR
Alessandro Fantechi, University of Florence, IT
Carla Ferreira, New University of Lisbon, PT
João Ferreira, Teesside University, UK
José Fiadeiro, Royal Holloway University of London, UK
Marcelo Frias, Buenos Aires Institute of Technology, AR
Fatemeh Ghassemi, University of Tehran, IR
Silvia Ghilezan, University of Novi Sad, RS
Stefania Gnesi, ISTI-CNR, IT
Reiner Hähnle, TU Darmstadt, DE
Osman Hasan, National University of Sciences and Technology, PK
Klaus Havelund, NASA Jet Propulsion Laboratory, US
Anne Haxthausen, TU Denmark, DK
Ian Hayes, University of Queensland, AU
Constance Heitmeyer, Naval Research Laboratory, US
Jane Hillston, University of Edinburgh, UK
Thai Son Hoang, University of Southampton, UK
Zhenjiang Hu, National Institute of Informatics, JP
Dang Van Hung, Vietnam National University, VN
Atsushi Igarashi, Kyoto University, JP
Suman Jana, Columbia University, US
Ali Jaoua, Qatar University, QA
Einar Broch Johnson, University of Oslo, NO
Joost-Pieter Katoen, RWTH Aachen University, DE
Laura Kovács, TU Vienna, AT
Axel Legay, KU Leuven, BE
Alberto Lluch Lafuente, TU Denmark, DK
Malte Lochau, TU Darmstadt, DE
Michele Loreti, University of Camerino, IT
Gabriele Lenzini, University of Luxembourg, LU
Yang Liu, Nanyang Technical University, SG
Anastasia Mavridou, NASA Ames, US
Hernán Melgratti, University of Buenos Aires, AR
Sun Meng, Peking University, CN
Dominique Méry, LORIA and University of Lorraine, FR
Rosemary Monahan, Maynooth University, IE
Olfa Mosbahi, University of Carthage, TN
Mohammad Mousavi, University of Leicester, UK
César Muñoz, NASA Langley, US
Tim Nelson, Brown University, US
Gethin Norman, University of Glasgow, UK
Colin O'Halloran, D-RisQ Software Systems, UK
Federico Olmedo, University of Chile, CL
Gordon Pace, University of Malta, MT
Jan Peleska, University of Bremen, DE
Marielle Petit-Doche, Systerel, FR
Alexandre Petrenko, Computer Research Institute of Montréal, CA
Anna Philippou, University of Cyprus, CY
Jorge Sousa Pinto, University of Minho, PT
André Platzer, Carnegie Mellon University, US
Jaco van de Pol, Aarhus University, DK
Tahiry Rabehaja, Macquarie University, AU
Steve Reeves, University of Waikato, NZ
Matteo Rossi, Polytechnic University of Milan, IT
Augusto Sampaio, Federal University of Pernambuco, BR
Gerardo Schneider, Chalmers University of Gothenburg, SE
Daniel Schwartz-Narbonne, Amazon Web Services, US
Natasha Sharygina, University of Lugano, CH
Nikolay Shilov, Innopolis University, RU
Ana Sokolova, University of Salzburg, AT
Marielle Stoelinga, University of Twente, NL
Jun Sun, Singapore University of Technology and Design, SG
Helen Treharne, University of Surrey, UK
Elena Troubitsyna, Åbo Akademi University, FI
Tarmo Uustalu, Reykjavik University, IS
Andrea Vandin, TU Denmark, DK
R. Venkatesh, TCS Research, IN
Erik de Vink, TU Eindhoven and CWI, NL
Willem Visser, Stellenbosch University, ZA
Farn Wang, National Taiwan University, TW
Bruce Watson, Stellenbosch University, ZA
Tim Willemse, TU Eindhoven, NL
Kirsten Winter, University of Queensland, AU
Jim Woodcock, University of York, UK
Lijun Zhang, Chinese Academy of Sciences, CN
Publicity Chair
===============
Luís Soares Barbosa, INESC TEC & University of Minho, PT
Organizing Committee
====================
José Creissac Campos, INESC TEC & University of Minho, PT
João Pascoal Faria, INESC TEC and University of Porto, PT
Sara Fernandes, University of Minho & INESC TEC, PT
Luís Neves, Critical Software, PT
Local Arrangements
==================
Catarina Fernandes, INESC TEC & University of Minho, PT
Paula Rodrigues, INESC TEC, PT
Web Team
=========
Francisco Neves, INESC TEC & University of Minho, PT
Rogério Pontes, INESC TEC & University of Minho, PT
Paula Rodrigues, INESC TEC, PT
Third and Final Call for Papers
FM 2019 - 23rd International Symposium on Formal Methods
- 3rd World Congress on Formal Methods
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
==============================================================
Check us out on FME's YouTube channel:
https://www.youtube.com/channel/UC5rZj0AyBudca0YRgEAX-Ow/
==============================================================
FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. Every 10 years the symposium is organised as a World
Congress. Twenty years after FM 1999 in Toulouse, and 10 years after
FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal
Methods. This is reflected in a PC with members from over 40
countries. Thus, FM 2019 will be both an occasion to celebrate and a
platform for enthusiastic researchers and practitioners from a
diversity of backgrounds to exchange their ideas and share their
experience.
FORMAL METHODS: THE NEXT 30 YEARS
It is now more than 30 years since the first VDM symposium in 1987
brought together researchers with the common goal of creating methods
to produce high quality software based on rigour and reason. Since
then the diversity and complexity of computer technology has changed
enormously and the formal methods community has stepped up to the
challenges those changes brought by adapting, generalising and
improving the models and analysis techniques that were the focus of
that first symposium. The theme for FM 2019 is a reflection on how far
the community has come and the lessons we can learn for understanding
and developing the best software for future technologies.
Important Dates
===============
Abstract submission: 28 March, 2019
Full paper submission: 11 April, 2019, 23:59 AoE
Notification: 11 June, 2019
Camera ready: 9 July, 2019
Conference: 7-11 October, 2019
Invited Speakers
================
- June Andronick (CSIRO/Data61 and UNSW, Sydney, Australia)
- Shriram Krishnamurthi (Brown University, Providence, RI, USA)
- Erik Poll (Radboud University, Nijmegen, The Netherlands)
Topics of Interest
==================
FM 2019 encourages submissions on formal methods in a wide range of
domains including software, computer-based systems,
systems-of-systems, cyber-physical systems, human-computer
interaction, manufacturing, sustainability, energy, transport, smart
cities, and healthcare. We particularly welcome papers on techniques,
tools and experiences in interdisciplinary settings. We also welcome
papers on experiences of formal methods in industry, and on the design
and validation of formal methods tools. The broad topics of interest
for FM 2019 include, but are not limited to:
- Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating the use of formal methods in interdisciplinary settings.
- Formal methods in practice: Industrial applications of formal
methods, experience with formal methods in industry, tool usage
reports, experiments with challenge problems. The authors are
encouraged to explain how formal methods overcame problems, led to
improved designs, or provided new insights.
- Tools for formal methods: Advances in automated verification, model
checking, and testing with formal methods, tools integration,
environments for formal methods, and experimental validation of
tools. The authors are encouraged to demonstrate empirically that the
new tool or environment advances the state of the art.
- Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal methods,
and method integration. The authors are encouraged to evaluate process
innovations with respect to qualitative or quantitative
improvements. Empirical studies and evaluations are also solicited.
- Theoretical foundations of formal methods: All aspects of theory
related to specification, verification, refinement, and static and
dynamic analysis. The authors are encouraged to explain how their
results contribute to the solution of practical problems with formal
methods or tools.
Submission Guidelines
=====================
Papers should be original work, not published or submitted elsewhere,
in Springer LNCS format, written in English, submitted through
EasyChair: https://easychair.org/conferences/?conf=fm2019
Each paper will be evaluated by at least three members of the
Programme Committee. Authors of papers reporting experimental work are
strongly encouraged to make their experimental results available for
use by the reviewers. Similarly, case study papers should describe
significant case studies, and the complete development should be made
available at the time of review. The usual criteria for novelty,
reproducibility, correctness and the ability for others to build upon
the described work apply. Tool papers should explain enhancements made
compared to previously published work. A tool paper need not present
the theory behind the tool but should focus on the tool's features,
how it is used, its evaluation, and examples and screen shots
illustrating the tool's use. Authors of tool papers should make their
tool available for use by the reviewers.
We solicit two categories of papers:
- Regular Papers should not exceed 15 pages, not counting references
and appendices.
- Short papers, including tool papers, should not exceed 6 pages, not
counting references and appendices. Besides tool papers, short papers
are encouraged for any topic that can be described within the page
limit, and in particular for novel ideas without an extensive
experimental evaluation. Short papers will be accompanied by short
presentations.
For regular and tool papers, an appendix can provide additional
material such as details on proofs or experiments. The appendix is not
part of the page count and not guaranteed to be read or taken into
account by the reviewers. It should not contain information necessary
to the understanding and the evaluation of the presented work. Papers
will be accepted or rejected in the category in which they were
submitted.
At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.
Best Paper Award
================
At the conference, the PC Chairs will present an award to the authors
of the submission selected as the FM 2019 Best Paper.
Publication
===========
Accepted papers will be published in the Symposium Proceedings to
appear in Springer's Lecture Notes in Computer Science in the subline
on Formal Methods.
Authors of selected papers will be invited to submit an extended
version of their paper to one of the special issues in "Formal Aspects
of Computing" and "Formal Methods in System Design".
General Chair
=============
José Nuno Oliveira, INESC TEC & University of Minho, PT
Program Committee Chairs
========================
Maurice ter Beek, ISTI-CNR, Pisa, IT
Annabelle McIver, Macquarie University, Sydney, AU
Program Committee
==================
Bernhard Aichernig, TU Graz, AT
Elvira Albert, Complutense University of Madrid, ES
María Alpuente, Polytechnic University of Valencia, ES
Dalal Alrajeh, Imperial College, UK
Mário S. Alvim, Federal University of Minas Gerais, BR
June Andronick, CSIRO/Data61, AU
Christel Baier, TU Dresden, DE
Luís Barbosa, University of Minho and UN University, PT
Gilles Barthe, IMDEA Software Institute, ES
Marcello Bersani, Polytechnic University of Milan, IT
Gustavo Betarte, Tilsor SA and University of the Republic, UY
Nikolaj Bjørner, Microsoft Research, US
Frank de Boer, CWI, NL
Sergiy Bogomolov, Australian National University, AU
Julien Brunel, ONERA, FR
Néstor Cataño, Universidad del Norte, CO
Ana Cavalcanti, University of York, UK
Antonio Cerone, Nazarbayev University, KZ
Marsha Chechik, University of Toronto, CA
David Chemouil, ONERA, FR
Alessandro Cimatti, FBK-IRST, IT
Alcino Cunha, University of Minho, PT
Michael Dierkes, Rockwell Collins, FR
Alessandro Fantechi, University of Florence, IT
Carla Ferreira, New University of Lisbon, PT
João Ferreira, Teesside University, UK
José Fiadeiro, Royal Holloway University of London, UK
Marcelo Frias, Buenos Aires Institute of Technology, AR
Fatemeh Ghassemi, University of Tehran, IR
Silvia Ghilezan, University of Novi Sad, RS
Stefania Gnesi, ISTI-CNR, IT
Reiner Hähnle, TU Darmstadt, DE
Osman Hasan, National University of Sciences and Technology, PK
Klaus Havelund, NASA Jet Propulsion Laboratory, US
Anne Haxthausen, TU Denmark, DK
Ian Hayes, University of Queensland, AU
Constance Heitmeyer, Naval Research Laboratory, US
Jane Hillston, University of Edinburgh, UK
Thai Son Hoang, University of Southampton, UK
Zhenjiang Hu, National Institute of Informatics, JP
Dang Van Hung, Vietnam National University, VN
Atsushi Igarashi, Kyoto University, JP
Suman Jana, Columbia University, US
Ali Jaoua, Qatar University, QA
Einar Broch Johnson, University of Oslo, NO
Joost-Pieter Katoen, RWTH Aachen University, DE
Laura Kovács, TU Vienna, AT
Axel Legay, KU Leuven, BE
Alberto Lluch Lafuente, TU Denmark, DK
Malte Lochau, TU Darmstadt, DE
Michele Loreti, University of Camerino, IT
Gabriele Lenzini, University of Luxembourg, LU
Yang Liu, Nanyang Technical University, SG
Anastasia Mavridou, NASA Ames, US
Hernán Melgratti, University of Buenos Aires, AR
Sun Meng, Peking University, CN
Dominique Méry, LORIA and University of Lorraine, FR
Rosemary Monahan, Maynooth University, IE
Olfa Mosbahi, University of Carthage, TN
Mohammad Mousavi, University of Leicester, UK
César Muñoz, NASA Langley, US
Tim Nelson, Brown University, US
Gethin Norman, University of Glasgow, UK
Colin O'Halloran, D-RisQ Software Systems, UK
Federico Olmedo, University of Chile, CL
Gordon Pace, University of Malta, MT
Jan Peleska, University of Bremen, DE
Marielle Petit-Doche, Systerel, FR
Alexandre Petrenko, Computer Research Institute of Montréal, CA
Anna Philippou, University of Cyprus, CY
Jorge Sousa Pinto, University of Minho, PT
André Platzer, Carnegie Mellon University, US
Jaco van de Pol, Aarhus University, DK
Tahiry Rabehaja, Macquarie University, AU
Steve Reeves, University of Waikato, NZ
Matteo Rossi, Polytechnic University of Milan, IT
Augusto Sampaio, Federal University of Pernambuco, BR
Gerardo Schneider, Chalmers University of Gothenburg, SE
Daniel Schwartz-Narbonne, Amazon Web Services, US
Natasha Sharygina, University of Lugano, CH
Nikolay Shilov, Innopolis University, RU
Ana Sokolova, University of Salzburg, AT
Marielle Stoelinga, University of Twente, NL
Jun Sun, Singapore University of Technology and Design, SG
Helen Treharne, University of Surrey, UK
Elena Troubitsyna, Åbo Akademi University, FI
Tarmo Uustalu, Reykjavik University, IS
Andrea Vandin, TU Denmark, DK
R. Venkatesh, TCS Research, IN
Erik de Vink, TU Eindhoven and CWI, NL
Willem Visser, Stellenbosch University, ZA
Farn Wang, National Taiwan University, TW
Bruce Watson, Stellenbosch University, ZA
Tim Willemse, TU Eindhoven, NL
Kirsten Winter, University of Queensland, AU
Jim Woodcock, University of York, UK
Lijun Zhang, Chinese Academy of Sciences, CN
Publicity Chair
===============
Luís Soares Barbosa, INESC TEC & University of Minho, PT
Organizing Committee
====================
José Creissac Campos, INESC TEC & University of Minho, PT
João Pascoal Faria, INESC TEC and University of Porto, PT
Sara Fernandes, University of Minho & INESC TEC, PT
Luís Neves, Critical Software, PT
Local Arrangements
==================
Catarina Fernandes, INESC TEC & University of Minho, PT
Paula Rodrigues, INESC TEC, PT
Web Team
=========
Francisco Neves, INESC TEC & University of Minho, PT
Rogério Pontes, INESC TEC & University of Minho, PT
Paula Rodrigues, INESC TEC, PT
[Caml-list] FTfJP 2019: Call for Papers
# CALL FOR PAPERS
21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019)
https://conf.researchr.org/home/FTfJP-2019/
Co-located with ECOOP 2019, July 15-19, Hammersmith, London
## About FTfJP 2019
Formal techniques can help analyse programs, precisely describe
program behaviour, and verify program properties. Modern programming
languages are interesting targets for formal techniques due to their
ubiquity and wide user base, stable and well-defined interfaces and
platforms, and powerful (but also complex) libraries. New languages
and applications in this space are continually arising, resulting in
new programming languages (PL) research challenges.
Work on formal techniques and tools and on the formal underpinnings of
programming languages themselves naturally complement each
other. FTfJP is an established workshop which has run annually since
1999 alongside ECOOP, with the goal of bringing together people
working in both fields.
The workshop has a broad PL theme; the most important criterion is
that submissions will generate interesting discussions within this
community. The term "Java-like" is somewhat historic and should be
interpreted broadly: FTfJP solicits and welcomes submission relating
to programming languages in general, beyond Java, C#, Scala, etc.
Example topics of interest include:
* Language design and semantics
* Type systems
* Concurrency and new application domains
* Specification and verification of program properties
* Program analysis (static or dynamic)
* Program Synthesis
* Security
* Pearls (programs or proofs)
FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, and position papers.
## Submissions
Contributions are sought in two categories:
* Full Papers (6 pages, excluding references) present a technical
contribution, case study, or detailed experience report. We welcome
both complete and incomplete technical results; ongoing work is
particularly welcome, provided it is substantial enough to stimulate
interesting discussions.
* Short Papers (2 pages, excluding references) should advocate a
promising research direction, or otherwise present a position likely
to stimulate discussion at the workshop. We encourage
e.g. established researchers to set out a personal vision, and
beginning researchers to present a planned path to a PhD.
Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed, and will be evaluated
based on their clarity and their potential to generate interesting
discussions. The format of the workshop encourages interaction. FTfJP
is a forum in which a wide range of people share their expertise, from
experienced researchers to beginning PhD students.
## Formatting and Publication
Submissions should be in acmart/sigplan style, 10pt font. Formatting
requirements are detailed on the SIGPLAN Author Information page
(https://www.sigplan.org/Resources/Author).
Accepted papers will be published in the ACM Digital Library by
default, though authors will be able to opt out of this publication,
if desired. At least one author of an accepted paper must attend the
workshop to present the work and participate in the discussions.
## Important Dates
* Submission: 21 April (AoE)
* Notification: 2 June
## Program Committee
* Yuyan Bao (Pennsylvania State University)
* James Bornholt (University of Washington)
* Gidon Ernst (Co-Chair; LMU Munich)
* Marie Farrell (University of Liverpool)
* Carlo A. Furia (USI – Università della Svizzera Italiana)
* Marie-Christine Jakobs (TU Darmstadt)
* Wojciech Mostowski (Halmstad University)
* Toby Murray (Co-Chair; University of Melbourne)
* Christine Rizkallah (University of New South Wales and Data61)
* Martin Schäf (Amazon Web Services)
21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019)
https://conf.researchr.org/home/FTfJP-2019/
Co-located with ECOOP 2019, July 15-19, Hammersmith, London
## About FTfJP 2019
Formal techniques can help analyse programs, precisely describe
program behaviour, and verify program properties. Modern programming
languages are interesting targets for formal techniques due to their
ubiquity and wide user base, stable and well-defined interfaces and
platforms, and powerful (but also complex) libraries. New languages
and applications in this space are continually arising, resulting in
new programming languages (PL) research challenges.
Work on formal techniques and tools and on the formal underpinnings of
programming languages themselves naturally complement each
other. FTfJP is an established workshop which has run annually since
1999 alongside ECOOP, with the goal of bringing together people
working in both fields.
The workshop has a broad PL theme; the most important criterion is
that submissions will generate interesting discussions within this
community. The term "Java-like" is somewhat historic and should be
interpreted broadly: FTfJP solicits and welcomes submission relating
to programming languages in general, beyond Java, C#, Scala, etc.
Example topics of interest include:
* Language design and semantics
* Type systems
* Concurrency and new application domains
* Specification and verification of program properties
* Program analysis (static or dynamic)
* Program Synthesis
* Security
* Pearls (programs or proofs)
FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, and position papers.
## Submissions
Contributions are sought in two categories:
* Full Papers (6 pages, excluding references) present a technical
contribution, case study, or detailed experience report. We welcome
both complete and incomplete technical results; ongoing work is
particularly welcome, provided it is substantial enough to stimulate
interesting discussions.
* Short Papers (2 pages, excluding references) should advocate a
promising research direction, or otherwise present a position likely
to stimulate discussion at the workshop. We encourage
e.g. established researchers to set out a personal vision, and
beginning researchers to present a planned path to a PhD.
Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed, and will be evaluated
based on their clarity and their potential to generate interesting
discussions. The format of the workshop encourages interaction. FTfJP
is a forum in which a wide range of people share their expertise, from
experienced researchers to beginning PhD students.
## Formatting and Publication
Submissions should be in acmart/sigplan style, 10pt font. Formatting
requirements are detailed on the SIGPLAN Author Information page
(https://www.sigplan.org/Resources/Author).
Accepted papers will be published in the ACM Digital Library by
default, though authors will be able to opt out of this publication,
if desired. At least one author of an accepted paper must attend the
workshop to present the work and participate in the discussions.
## Important Dates
* Submission: 21 April (AoE)
* Notification: 2 June
## Program Committee
* Yuyan Bao (Pennsylvania State University)
* James Bornholt (University of Washington)
* Gidon Ernst (Co-Chair; LMU Munich)
* Marie Farrell (University of Liverpool)
* Carlo A. Furia (USI – Università della Svizzera Italiana)
* Marie-Christine Jakobs (TU Darmstadt)
* Wojciech Mostowski (Halmstad University)
* Toby Murray (Co-Chair; University of Melbourne)
* Christine Rizkallah (University of New South Wales and Data61)
* Martin Schäf (Amazon Web Services)
2019-03-11
[Caml-list] ENTROPY 2019: Deadline Extension -- Final Call for Papers
The deadline for ENTROPY 2019 is extended to March 15, 2019.
You can submit via our Easychair website:
https://easychair.org/conferences/?conf=entropy2019
Questions can be directed to:
entropy2019@sciencesconf.org
**************************************************************************
Final Call for papers — ENTROPY 2019
ENabling TRust through Os Proofs … and beYond
Second International workshop on the use of theorem provers for modelling
and verification at the hardware-software interface
https://entropy2019.sciencesconf.org
Co-located with EuroS&P'19, KTH, Stockholm, June 2019
**************************************************************************
INVITED SPEAKERS
Dominique Bolignano, Prove & Run
Gernot Heiser, University of New South Wales
Frank Piessens, KU Leuven
Peter Sewell, University of Cambridge
IMPORTANT DATES
Paper submission: March 15, 2019
Author notification: April 10, 2019
Camera-ready versions: April 22, 2019 (strict)
Workshop: 16 June 2019
AIM AND SCOPE
Low level software such as kernels and drivers, along with the hardware
this software runs on, is critical for application security. In contrast
with user applications, OS kernel software runs in privileged CPU mode
and is thus highly critical. Large projects such as seL4, VeriSoft,
CertiKoS and Prosper have invested considerable resources in developing
formally verified systems such as hypervisors and microkernels, supplying
proofs that they satisfy critical properties. Such proofs are delicate in
terms of the scale and complexity of real systems, the models used in
performing the proof search, and the relations between the two, which
recent vulnerabilities such as Spectre and Meltdown have shown to be a
highly non-trivial issue.
The purpose of this workshop is to share, compare and disseminate best
practices, tools and methodologies to verify OS kernels, also setting the
stage for future steps in the direction of fully verified systems,
dealing with issues related to modelling, model validation, and large
proof maintenance through system evolution. On one hand, we need to make
low-level proofs more scalable, modular and cost-effective. On the other
hand, once certified systems are available, preservation and maintenance
of their proofs of validity become key questions.
The goal of the ENTROPY workshop is to provide a forum for researchers
and practitioners in this space, linking operating systems, formal
methods, and hardware architecture, interested in system design as well
as machine verified mathematical proofs using proof assistants such as
Coq, Isabelle and HOL4.
This will be the second edition of the ENTROPY workshop series. The
first workshop was organised by the Pip Development Team at University
of Lille in 2018.
TOPICS OF INTEREST
Specific topics include, but are not limited to:
* Verified kernels and hypervisors
* Verified security architectures and models
* Tools and frameworks for hardware security analysis
* Tools and frameworks for security analysis
* Formal hardware models and model validation techniques
* Theorem prover based tools and frameworks for verification of low level code
* Combinations of static analysis and theorem proving
* Theories and techniques for compositional security analysis
* Case studies and industrial experience reports
* Proof maintenance techniques and problems
* Compositional models and verification techniques
* Proof oriented design
The aim of the workshop is to stimulate innovation and active exchange
of ideas, so position papers, work-in-progress and industrial
experience submissions are welcome.
SUBMISSION AND PUBLICATION
There are two categories of submissions:
1. Regular papers describing fully developed work and complete results
(10 pages, references included, IEEE format)
2. Short papers, position papers, industry experience reports,
work-in-progress submissions (4 pages, references included, IEEE
format)
All papers should be in English and describe original work that has not
been published or submitted elsewhere. The submission category should
be clearly indicated. All submissions will be fully reviewed by members
of the Programme Committee. Papers will appear in IEEE Xplore in a
companion volume to the regular EuroS&P proceedings. For formatting and
submission instructions see https://entropy2019.sciencesconf.org.
PROGRAM CHAIRS
Mads Dam, KTH Royal Institute of Technology
David Nowak, CNRS and University of Lille
PROGRAM COMMITTEE
Christoph Baumann, Ericsson AB
Gustavo Betarte, Univ. de la República, Uruguay
David Cock, ETH Zurich
Mads Dam, KTH Royal Institute of Technology (chair)
Anthony Fox, ARM
Deepak Garg, MPI Saarbrucken
Ronghui Gu, Columbia University
Samuel Hym, Univ. Lille
Thomas Jensen, INRIA and Univ. Rennes
Toby Murray, Univ. Melbourne
David Nowak, CNRS & Univ. Lille (chair)
Vicente Sanchez-Leighton, Orange Labs
Thomas Sewell, Chalmers
--
David Nowak
http://www.cristal.univ-lille.fr/~nowakd/
You can submit via our Easychair website:
https://easychair.org/conferences/?conf=entropy2019
Questions can be directed to:
entropy2019@sciencesconf.org
**************************************************************************
Final Call for papers — ENTROPY 2019
ENabling TRust through Os Proofs … and beYond
Second International workshop on the use of theorem provers for modelling
and verification at the hardware-software interface
https://entropy2019.sciencesconf.org
Co-located with EuroS&P'19, KTH, Stockholm, June 2019
**************************************************************************
INVITED SPEAKERS
Dominique Bolignano, Prove & Run
Gernot Heiser, University of New South Wales
Frank Piessens, KU Leuven
Peter Sewell, University of Cambridge
IMPORTANT DATES
Paper submission: March 15, 2019
Author notification: April 10, 2019
Camera-ready versions: April 22, 2019 (strict)
Workshop: 16 June 2019
AIM AND SCOPE
Low level software such as kernels and drivers, along with the hardware
this software runs on, is critical for application security. In contrast
with user applications, OS kernel software runs in privileged CPU mode
and is thus highly critical. Large projects such as seL4, VeriSoft,
CertiKoS and Prosper have invested considerable resources in developing
formally verified systems such as hypervisors and microkernels, supplying
proofs that they satisfy critical properties. Such proofs are delicate in
terms of the scale and complexity of real systems, the models used in
performing the proof search, and the relations between the two, which
recent vulnerabilities such as Spectre and Meltdown have shown to be a
highly non-trivial issue.
The purpose of this workshop is to share, compare and disseminate best
practices, tools and methodologies to verify OS kernels, also setting the
stage for future steps in the direction of fully verified systems,
dealing with issues related to modelling, model validation, and large
proof maintenance through system evolution. On one hand, we need to make
low-level proofs more scalable, modular and cost-effective. On the other
hand, once certified systems are available, preservation and maintenance
of their proofs of validity become key questions.
The goal of the ENTROPY workshop is to provide a forum for researchers
and practitioners in this space, linking operating systems, formal
methods, and hardware architecture, interested in system design as well
as machine verified mathematical proofs using proof assistants such as
Coq, Isabelle and HOL4.
This will be the second edition of the ENTROPY workshop series. The
first workshop was organised by the Pip Development Team at University
of Lille in 2018.
TOPICS OF INTEREST
Specific topics include, but are not limited to:
* Verified kernels and hypervisors
* Verified security architectures and models
* Tools and frameworks for hardware security analysis
* Tools and frameworks for security analysis
* Formal hardware models and model validation techniques
* Theorem prover based tools and frameworks for verification of low level code
* Combinations of static analysis and theorem proving
* Theories and techniques for compositional security analysis
* Case studies and industrial experience reports
* Proof maintenance techniques and problems
* Compositional models and verification techniques
* Proof oriented design
The aim of the workshop is to stimulate innovation and active exchange
of ideas, so position papers, work-in-progress and industrial
experience submissions are welcome.
SUBMISSION AND PUBLICATION
There are two categories of submissions:
1. Regular papers describing fully developed work and complete results
(10 pages, references included, IEEE format)
2. Short papers, position papers, industry experience reports,
work-in-progress submissions (4 pages, references included, IEEE
format)
All papers should be in English and describe original work that has not
been published or submitted elsewhere. The submission category should
be clearly indicated. All submissions will be fully reviewed by members
of the Programme Committee. Papers will appear in IEEE Xplore in a
companion volume to the regular EuroS&P proceedings. For formatting and
submission instructions see https://entropy2019.sciencesconf.org.
PROGRAM CHAIRS
Mads Dam, KTH Royal Institute of Technology
David Nowak, CNRS and University of Lille
PROGRAM COMMITTEE
Christoph Baumann, Ericsson AB
Gustavo Betarte, Univ. de la República, Uruguay
David Cock, ETH Zurich
Mads Dam, KTH Royal Institute of Technology (chair)
Anthony Fox, ARM
Deepak Garg, MPI Saarbrucken
Ronghui Gu, Columbia University
Samuel Hym, Univ. Lille
Thomas Jensen, INRIA and Univ. Rennes
Toby Murray, Univ. Melbourne
David Nowak, CNRS & Univ. Lille (chair)
Vicente Sanchez-Leighton, Orange Labs
Thomas Sewell, Chalmers
--
David Nowak
http://www.cristal.univ-lille.fr/~nowakd/
2019-03-07
[Caml-list] Second Dali Workshop: First Call for Papers
Dynamic Logic: New Trends and Applications
workshop.dali.di.uminho.pt
First Call for Papers
Porto, 9 October, 2019
(part of the 3rd World Congress on Formal Methods 2019)
OVERVIEW
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's as a suitable logic to reason about, and
verify, classic imperative programs. Since then, the original
intuitions grew to an entire family of logics, which became
increasingly popular for assertional reasoning about a wide range of
computational systems. Simultaneously, their object (i.e. the very
notion of a program) evolved in unexpected ways. This lead to dynamic
logics tailored to specific programming paradigms and extended to new
computing domains, including probabilistic, continuous and quantum
computation. Both its theoretical relevance and practical potential
make dynamic logic a topic of interest in a number of scientific
venues, from wide-scope software engineering conferences to modal
logic specific events. However, no specific event is exclusively
dedicated to it. This workshop aims at filling fill such a gap,
joining an heterogeneous community of colleagues, from Academia to
Industry, from Mathematics to Computer Science.
Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692
TOPICS
Submissions are invited on the general field of dynamic logic, its
variants and applications, including, but not restricted to
Dynamic logic, foundations and applications
Logics with regular modalities
Modal/temporal/epistemic logics
Kleene and action algebras and their variants
Quantum dynamic logic
Coalgebraic modal/dynamic logics
Graded and fuzzy dynamic logics
Dynamic logics for cyber-physical systems
Dynamic epistemic logic
Complexity and decidability of variants of dynamic logics
and temporal logics
Model checking, model generation and theorem proving for
dynamic logics
SUBMISSION AND PUBLICATION
Original papers (unpublished and not submitted for publication
elsewhere), up to 15 pages in LNCS style. As in the previous edition,
post-proceedings will be published by Springer in a Lecture Notes of
Computer Science volume, and a special issue with extended, revised
contributions is planed.
Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019
INVITED SPEAKER
Dexter Kozen, Cornell University
IMPORTANT DATES
Paper Submission: June 14, 2019
Notification: July 19, 2019
Camera Ready: September 2, 2019
Workshop: October 9, 2019
PROGRAMME COMMITTEE
Guillaume Aucher (IRISA, FR)
Carlos Areces (U Cordoba, AR)
Alexandru Baltag, (UvA, NL) - PC co-chair
Luis S. Barbosa, (U Minho, PT) - PC co-chair
Mario Benevides (UFRJ, BR)
Johan van Benthem (U Stanford, USA)
Patrick Blackburn, (U Roskilde, DK)
Thomas Bolander (DTU, Denmark)
Zoe Christoff (U Bayreuth, Germany)
Fredrik Dahlqvist (UCL, UK)
Hans van Ditmarsch (LORIA, Nancy, FR)
Nina Gierasimczuk (DTU, Denmark)
Valentin Goranko (U Stockholm, SE)
Davide Grossi (U Groningen, NL)
Reiner Hahle (TU Darmstadt, DE)
Rolf Hennicker (LMU, Munchen, DE)
Andreas Herzig (U Toulouse, FR)
Dexter Kozen (Cornell, USA)
Clemens Kupke (U Strathclyde, UK)
Alexandre Madeira (U Aveiro, PT)
Manuel A. Martins (U Aveiro, PT)
Paulo Mateus (IST, PT)
Stefan Mitsch (CMU, USA)
Renato Neves (U Minho, PT)
Valeria de Paiva (Nuance Comms, USA)
Aybuke Ozgun (ILLC, NL)
Fernando Velazquez-Quesada (ILLC, NL)
Olivier Roy (U Bayreuth, DE)
Lutz Schroeder (FAU, Erlangen-Nurenberg, DE)
Alexandra Silva (UCL, UK)
Sonja Smets (UvA, NL)
Rui Soares Barbosa (U Oxford, UK)
Tinko Tinchev (Sofia U, BG)
Renata Wassermann (USP, BR)
workshop.dali.di.uminho.pt
First Call for Papers
Porto, 9 October, 2019
(part of the 3rd World Congress on Formal Methods 2019)
OVERVIEW
Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic
was introduced in the 70's as a suitable logic to reason about, and
verify, classic imperative programs. Since then, the original
intuitions grew to an entire family of logics, which became
increasingly popular for assertional reasoning about a wide range of
computational systems. Simultaneously, their object (i.e. the very
notion of a program) evolved in unexpected ways. This lead to dynamic
logics tailored to specific programming paradigms and extended to new
computing domains, including probabilistic, continuous and quantum
computation. Both its theoretical relevance and practical potential
make dynamic logic a topic of interest in a number of scientific
venues, from wide-scope software engineering conferences to modal
logic specific events. However, no specific event is exclusively
dedicated to it. This workshop aims at filling fill such a gap,
joining an heterogeneous community of colleagues, from Academia to
Industry, from Mathematics to Computer Science.
Support: PT-FLAD Chair & DaLi - POCI-01-0145-FEDER-016692
TOPICS
Submissions are invited on the general field of dynamic logic, its
variants and applications, including, but not restricted to
Dynamic logic, foundations and applications
Logics with regular modalities
Modal/temporal/epistemic logics
Kleene and action algebras and their variants
Quantum dynamic logic
Coalgebraic modal/dynamic logics
Graded and fuzzy dynamic logics
Dynamic logics for cyber-physical systems
Dynamic epistemic logic
Complexity and decidability of variants of dynamic logics
and temporal logics
Model checking, model generation and theorem proving for
dynamic logics
SUBMISSION AND PUBLICATION
Original papers (unpublished and not submitted for publication
elsewhere), up to 15 pages in LNCS style. As in the previous edition,
post-proceedings will be published by Springer in a Lecture Notes of
Computer Science volume, and a special issue with extended, revised
contributions is planed.
Submit via the EasyChair link https://easychair.org/conferences/?conf=dali2019
INVITED SPEAKER
Dexter Kozen, Cornell University
IMPORTANT DATES
Paper Submission: June 14, 2019
Notification: July 19, 2019
Camera Ready: September 2, 2019
Workshop: October 9, 2019
PROGRAMME COMMITTEE
Guillaume Aucher (IRISA, FR)
Carlos Areces (U Cordoba, AR)
Alexandru Baltag, (UvA, NL) - PC co-chair
Luis S. Barbosa, (U Minho, PT) - PC co-chair
Mario Benevides (UFRJ, BR)
Johan van Benthem (U Stanford, USA)
Patrick Blackburn, (U Roskilde, DK)
Thomas Bolander (DTU, Denmark)
Zoe Christoff (U Bayreuth, Germany)
Fredrik Dahlqvist (UCL, UK)
Hans van Ditmarsch (LORIA, Nancy, FR)
Nina Gierasimczuk (DTU, Denmark)
Valentin Goranko (U Stockholm, SE)
Davide Grossi (U Groningen, NL)
Reiner Hahle (TU Darmstadt, DE)
Rolf Hennicker (LMU, Munchen, DE)
Andreas Herzig (U Toulouse, FR)
Dexter Kozen (Cornell, USA)
Clemens Kupke (U Strathclyde, UK)
Alexandre Madeira (U Aveiro, PT)
Manuel A. Martins (U Aveiro, PT)
Paulo Mateus (IST, PT)
Stefan Mitsch (CMU, USA)
Renato Neves (U Minho, PT)
Valeria de Paiva (Nuance Comms, USA)
Aybuke Ozgun (ILLC, NL)
Fernando Velazquez-Quesada (ILLC, NL)
Olivier Roy (U Bayreuth, DE)
Lutz Schroeder (FAU, Erlangen-Nurenberg, DE)
Alexandra Silva (UCL, UK)
Sonja Smets (UvA, NL)
Rui Soares Barbosa (U Oxford, UK)
Tinko Tinchev (Sofia U, BG)
Renata Wassermann (USP, BR)
Subscribe to:
Posts (Atom)