[Caml-list] ETAPS 2020 2nd joint call for papers

******************************************************************

JOINT CALL FOR PAPERS

23rd European Joint Conferences on Theory and Practice of Software
ETAPS 2020

Dublin, Ireland, 25-30 April 2020

http://www.etaps.org/2020

******************************************************************

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences,
accompanied by satellite workshops. ETAPS 2020 is the twenty-third
event in the series.


-- MAIN CONFERENCES (27-30 April) --

* ESOP: European Symposium on Programming
(PC chair: Peter Müller, ETH Zürich, Switzerland)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs: Heike Wehrheim, Universität Paderborn, Germany,
and Jordi Cabot, Universitat Oberta de Catalunya, Spain)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs: Barbara König, Univ Duisburg-Essen, Germany,
and Jean Goubault-Larrecq, LSV, ENS Paris-Saclay, France)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs: Armin Biere, Johannes-Kepler-Univ Linz, Austria,
and David Parker, University of Birmingham, United Kingdom)

TACAS '20 will host the 9th Competition on Software Verification
(SV-COMP).

POST, which was an ETAPS conference 2012-2019, has been discontinued.


-- INVITED SPEAKERS --

* Unifying speakers:
Lars Birkedal (Aarhus Universitet, Denmark)
Jane Hillston (University of Edinburgh, United Kingdom)
* ESOP invited speaker:
Isil Dillig (University of Texas at Austin, USA)
* FASE invited speaker:
Willem Visser (Stellenbosch University, South Africa)


-- IMPORTANT DATES

* Papers due: 24 October 2019 23:59 AoE (=GMT-12)
* Rebuttal (ESOP, FoSSaCS and, for selected papers, TACAS):
9 December 00:01 AoE - 10 December 23:59 AoE
* Notification: 23 December 2019
* Camera-ready versions due: 22 February 2020


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2020 solicit contributions of the
following types:

* ESOP: regular research papers of max 25 pp (excl bibl)
* FASE: regular research papers and empirical evaluation papers of
max 18 pp (excl bibl),
tool demonstration papers of 6+6 pp
* FoSSaCS: regular research papers of max 18 pp (excl bibl)
* TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp (excl bibl),
tool demonstration papers of 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the conference proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
and be submitted electronically in pdf through the Easychair author
interface of the respective conference. Submissions not adhering to
the specified format and length may be rejected immediately.

FASE will use double-blind reviewing. Authors are asked to omit their
names and institutions; refer to own prior work in the third person;
not to include acknowledgements that might identify them.

Regular tool paper and tool demonstration paper submissions to TACAS
must be accompanied by an artifact. The artifact will be evaluated and
the outcome will be taken into account in the acceptance decision of
the paper.

ESOP and FoSSaCS will use an author rebuttal phase. TACAS will have
rebuttal for selected papers.


-- PUBLICATION

The proceedings will be published in the Advanced Research in
Computing and Software Science (ARCoSS) subline of Springer's LNCS
series. The proceedings volumes will appear in gold open access, so
the published versions of all papers will be available for everyone to
download from the publisher's website freely, from the date of online
publication, perpetually. The copyright of the papers will remain with
the authors.


-- SATELLITE EVENTS (25-26 April) --

A number of satellite workshops will take place before the main
conferences.

* 25-26 April (two days):
CMCS, GALOP, SynCoP, VerifyThis, VPT, WADT, WRLA

* 25 April:
CREST, InterAVT, MSFP, TEASE-LP

* 26 April:
HCVS, MARS, MeTRiD, PLACES, RW


-- CITY AND HOST INSTITUTION --

Dublin (Baile Átha Cliath) is the capital and largest city of the
Republic of Ireland. It is situated on the East coast of Ireland, at
the mouth of the River Liffey, at the centre of the Greater Dublin
area with 1.9 million inhabitants. Dublin is a historical and
contemporary centre for education, the arts, administration and
industry. As of 2018 the city was listed by the Globalization and
World Cities Research Network (GaWC) as a global city, with a ranking
of Alpha-, which places it among the top thirty cities in the world.

ETAPS 2020 is organised by the University of Limerick in cooperation
with Lero, the Irish Software Research Centre spanning 9 universities
and ITs in Ireland.


-- ORGANIZERS --

General chair: Tiziana Margaria (University of Limerick and Lero,
Ireland)

Workshop chairs: Falk Howar (Technische Universität Dortmund, Germany)
and Peter Höfner (Data61, Australia)

Practical organization: Easy Conferences


-- FURTHER INFORMATION --

Please do not hesitate to contact the general chair at
<tiziana.margaria@lero.ie>.

[Caml-list] FMCAD 2019 Call for Participation

CALL FOR PARTICIPATION

International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
Hyatt Place San Jose Downtown, San Jose, California, USA, Oct 22 - 25, 2019

For program and registration, see:
https://fmcad.forsyte.at/FMCAD19/

IMPORTANT DATES

Early Registration deadline: Oct 1, 2019
FMCAD Tutorial Day: Oct 22, 2019
Regular Program: Oct 23 - 25, 2019

Part of the FMCAD 2019 program
- FMCAD Student Forum
- Hardware Model Checking Competition

CONFERENCE SCOPE AND PUBLICATION

FMCAD 2019 is the nineteenth in a series of conferences on the theory and
applications of formal methods in hardware and system verification. FMCAD
provides a leading forum to researchers in academia and industry for
presenting and discussing groundbreaking methods, technologies, theoretical
results, and tools for reasoning formally about computing systems. FMCAD
covers formal aspects of computer-aided system design including verification,
specification, synthesis, and testing.

STUDENT FORUM

Continuing the tradition of the previous years, FMCAD 2019 is hosting a Student
Forum that provides a platform for graduate students at any career stage to
introduce their research to the wider Formal Methods community, and solicit
feedback.

FMCAD 2019 COMMITTEES

PROGRAM CHAIRS:

Clark Barrett, Stanford University
Jin Yang, Intel Corporation

PROGRAM COMMITTEE:

Erika Abraham, Aachen University
June Andronick, CSIRO|Data61 and UNSW
Timos Antonopoulos, Yale University
Armin Biere, Johannes Kepler University
Per Bjesse, Synopsys
Jasmin Blanchette, Inria Nancy
Roderick Bloem, Graz University of Technology
Gianpiero Cabodi, Politechnico Torino
Supratik Chakraborty, IIT Bombay
Sylvain Conchon, Universite Paris-Sud
Vijay D'Silva, Google
Rayna Dimitrova, University of Leicester
Malay Ganai, Synopsys
Alberto Griggio, Fondazione Bruno Kessler
Liana Hadarean, Amazon
Joe Hendrix, Galois
Marijn Heule, University of Texas at Austin
Warren Hunt, University of Texas at Austin
Alexander Ivrii, IBM
George Karpenkov, Google
Panagiotis Manolios, Northeastern University
Ken McMillan, Microsoft Research
Rajdeep Mukherjee, Cadence
Alexander Nadel, Intel Corporation
Corina Pasareanu, NASA/CMU
Sandip Ray, University of Florida
Giles Reger, University of Manchester
Anna Slobodova, Centaur
Armando Solar-Lezama, Massachusetts Institute of Technology
Niklas Sörensson, Mentor Graphics
Daryl Stewart, ARM
Christoph Sticksel, MathWorks
Chao Wang, University of Southern California
Georg Weissenbacher, Vienna University of Technology
Zhenkun Yang, Intel Corporation
Lenore Zuck, University of Illinois at Chicago

TUTORIAL CHAIR:

Sandip Ray, University of Florida

STUDENT FORUM CHAIRS:

Grigory Fedyukovich, Princeton University

WEBMASTER:

Tom van Dijk, Johannes Kepler University

LOCAL ARRANGEMENT:

Yoni Zohar, Stanford University

PUBLICATION CHAIR:

Florian Lonsing, Stanford University

FMCAD STEERING COMMITTEE:

Armin Biere, Johannes Kepler University
Alan Hu, University of British Columbia
Warren Hunt, University of Texas at Austin
Vigyan Singhal, Oski Tech
Georg Weissenbacher, Vienna University of Technology

[Caml-list] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal

# FMTea19 - CALL FOR PARTICIPATION

 

Formal Methods Teaching Workshop and Tutorial – FMTea19

Porto, October 7, 2019

https://fmtea.github.io/

 

Affiliated with the 3rd World Congress on Formal Methods

 

FMTea19 aims to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula.

 

FMTea19 is a full-day event, comprising both a tutorial part in the morning as well as the workshop part in the afternoon. We are extremely happy with both the invited and tutorial lectures in the morning as well as with the enthusiastic response we got to our call for papers.

 

Tutorial part of FMTea19

We are very pleased to present the following tutorial program in the morning:

-        Invited lecture: Prof Carroll Morgan (University of New South Wales and Data61, Australia) - Is Formal Methods Really Essential?

-        Tutorial lecture: Sir Tony Hoare (Cambridge University Computing Laboratory, UK) - Logic, Algebra, and Geometry at the Foundation of Computer Science

-        Tutorial lecture: Prof Holger Hermanns (Saarland University, Germany) - pseuCo.com

-        Tutorial lecture: Prof Bas Luttik (Eindhoven University of Technology, the Netherlands): Efficient Online Homologation to Prepare Students for Formal Methods Courses

 

Workshop Part of FMTea19

The workshop program includes the presentation and discussion of 12 papers and 3 posters. We have divided the papers into three panel sessions. Each paper is shortly presented in its panel session and then, the session’s presenters participate in a panel discussion of 30 minutes, led by one/two session chairs. The idea is to encourage an open and inclusive discussion that could also engage the audience. The posters will be placed inside FMTea’s room and be available for discussion, for instance, during the afternoon coffee break. You can check the accepted papers below:

 

- Andrew Simpson. Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach

- Nestor Catano. Teaching Formal Methods: Lessons Learnt from Using Event-B

- Sandrine Blazy. Teaching Deductive Verification in Why3 to Undergraduate Students

- Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka and Thomas Wilke. Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

- Adrian Johnstone and Elizabeth Scott. Principled and Pragmatic Specification of Programming Languages

- Kristin Yvonne Rozier. On Teaching Applied Formal Methods in Aerospace Engineering

- María-Del-Mar Gallardo and Laura Panizo. Teaching Formal Methods: From Software in the Small to Software in the Large

- Faron Moller and Liam O'Reilly. Teaching Discrete Mathematics to Computer Science Students

- Emil Sekerinski. Teaching Concurrency with the Disappearing Formal Method

- Jose Divasón and Ana Romero. Using Krakatoa for Teaching Formal Verification of Java Programs

- Tony Hoare, Alexandra Mendes and Joao F. Ferreira. Logic, Algebra, and Geometry at the Foundation of Computer Science (invited paper)

- Ariane A. Almeida, Ana Cristina Rocha-Oliveira, Thiago Mendonça Ferreira Ramos, Flavio L. C. De Moura and Mauricio Ayala-Rincon. The Computational Relevance of Formal Logic through Formal Proofs

- Christophe Garion, Jérôme Hugues, Claire Dross, Joffrey Huguet and Léo Creuse. Teaching Deductive Verification through Frama-C and SPARK

- Catherine Dubois, Virgile Prevosto and Guillaume Burel. Teaching Formal Methods to Future Engineers

- Giampaolo Bella. You Already Used Formal Methods but Did Not Know

 

The abstracts of all presentations and the FMTea19 schedule can be seen here: https://www.easychair.org/smart-program/FMTea19/.

 

Registration

Registration is open as follows:

-        Early – until Sep 10 (AoE)

-        Late – from Sep 11 until 5 Oct (AoE)

-        On site – from Oct 6 to Oct 11 (AoE)

 

Registration is via the FM2019 website: http://formalmethods2019.inesctec.pt/?page_id=2363, where you can check the info on prices, deadlines, etc for FMTea, FM and related events, while the registration platform itself is here: https://www.weezevent.com/fm-19. The early registration fee (until September 10) for FMTea19 is 140 eur. It is very important that you mention FMTea19 in the text box if you register for more than our event (say for the whole week at FM'19). Only in this way we will know that you registered to FMTea and prepare accordingly.

 

The FMTea19 proceedings will be available only online. This belongs to a global move of the FM'19 events - they are all paperless, in an effort to provide a greener environment. The FMTea19 online proceedings will be available only to the registered FMTea19 participants, so please register in time to catch the early fee, until September 10. The proceedings is published by Springer in the Lecture Notes in Computer Science series, volume 11758.

 

Please do not hesitate to contact us for any question that may pop up. We are very happy about the FMTea19 program and look forward to meet you all on October 7 in Porto!

 

Kind regards,

Luigia Petre, Brijesh Dongol, Graeme Smith

(the PC co-chairs)

 

 

*** Welcome to FMTea19 ***

*** Welcome to PORTO ***

*** Welcome to Portugal ***

______________________________________________________________

 

 

__

Luigia Petre, Docent, PhD

Faculty of Science and Engineering

Åbo Akademi University, Finland

www.users.abo.fi/lpetre

 

 

[Caml-list] First call for draft papers for TFPIE 2020 (Trends in Functional Programming in Education)

Hello,

Please, find below the final 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

                  http://www.staff.science.uu.nl/~hage0101/tfpie2020/index.html

                                    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/

[Caml-list] First call for participation for IFL 2019 (Implementation and Application of Functional Languages)

Hello,

Please, find below the first call for participation for IFL 2019.

Please forward these to anyone you think may be interested.

Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage

Publicity Chair of IFL

================================================================================

                                    IFL 2019

    31st Symposium on Implementation and Application of Functional Languages


                        National University of Singapore
                            September 25th-27th, 2019

                          http://2019.iflconference.org

================================================================================

### Scope

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Keynote Speaker

* Olivier Danvy, Yale-NUS College


### Submissions and peer-review

Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:

* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)

Regular papers will undergo a rigorous review by the program committee, and will
be evaluated according to their correctness, novelty, originality, relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.

Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.

Prior to the symposium:
  Authors of conditionally accepted papers and accepted presentations will
  submit a pre-proceedings version of their work that will appear in the draft
  proceedings distributed at the symposium. The draft proceedings does not
  constitute a formal publication.

  We require that at least one of the authors present the work at IFL 2019.

After the symposium:

  Authors of conditionally accepted papers will submit a revised versions of
  their paper for the formal post-proceedings.
  The program committee will assess whether the mandatory revisions have been
  adequately addressed by the authors and thereby determines the final
  accept/reject status of the paper.
  Our interest is to ultimately accept all conditionally accepted papers. If you
  are an author of a conditionally accepted paper, please make sure that you
  address all the concerns of the reviewers.


  Authors of accepted presentations will be given the opportunity to incorporate
  the feedback from discussions at the symposium and will be invited to submit a
  revised full article for the formal post-proceedings.
  The program committee will evaluate these submissions according to their
  correctness, novelty, originality, relevance, significance, and clarity, and
  will thereby determine whether the paper is accepted or rejected.


### Publication

The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.

At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:


         http://www.sigplan.org/Resources/Policies/Republication


### Important dates

Submission of regular papers:                       June         15, 2019
Submission of draft papers:                         August        1, 2019
Regular papers notification:                        August        1, 2019
Regular draft papers notification:                  August        7, 2019
Deadline for early registration:                    August       31, 2019
Submission of pre-proceedings version:              September    15, 2019
IFL Symposium:                                      September 25-27, 2019
Submission of papers for post-proceedings:          November     30, 2019
Notification of acceptance:                         January      31, 2020
Camera-ready version:                               February     29, 2020


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

              http://www.acm.org/publications/proceedings-template

Authors submit through EasyChair:

                 https://easychair.org/conferences/?conf=ifl2019


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Organization and Program committee

Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan Chin (National University of Singapore)

Program Committee:

- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamás Kozsik, Eötvös Loránd University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la República
- Wei Ngan Chin, NUS
- Jurriën Stutterheim, Standard Chartered Bank

### Venue

The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself is extremely well connected by trains and taxis.
See the website for more information on the venue.


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.

A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.

[Caml-list] GCAI 2020, Hangzhou, China - Call for Papers

----------------------------------------
6th Global Conference on Artificial Intelligence
GCAI 2020, Hangzhou, China, 6-9 April 2020

http://www.gcai-2020.info/
----------------------------------------

The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be
held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for
AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI
and Responsible AI", the summit intends to promote the interplay between
logical approaches and machine learning based approaches in order to make
AI more transparent, responsible and accountable.

http://www.gcai-2020.info/ (GCAI 2020)
http://www.xixilogic.org/zjulogai/ (ZjuLogAI 2020)

************************
Submission Guidelines
************************

GCAI 2020 accepts submissions of two types:
- Full paper submissions, which must be original and cannot be submitted
simultaneously elsewhere. Full paper submissions must be at most 12 pages
long, excluding references. Additional support material may be included in
an appendix, which may be considered or ignored by the program committee.
- Extended abstract submissions, which report on ongoing or preliminary work,
or on work that is central to symbolic reasoning and/or machine/deep learning
applied to both software and robotic systems, but that has already been
submitted or recently published elsewhere as a full paper (in the case of an
already published paper, the full version has to be referenced explicitly).
Extended abstract submissions must be at most 4 pages long, excluding
references.

Both types of submissions must be prepared in LaTeX or Microsoft Word using
the EasyChair templates, and uploaded in PDF format. Submissions not complying
with these guidelines will be rejected at the discretion of the program
committee.

Each submission will be reviewed by at least two reviewers.
Abstracts are due on 23 November 2019, full papers and extended abstracts
are due on 30 November 2019, and decisions will be made by 20 January 2020.

Submissions: via EasyChair
https://easychair.org/conferences/?conf=gcai2020

Instructions for authors and EasyChair paper templates can be found at
https://easychair.org/publications/for_authors

************************
List of Topics
************************

Submissions in all areas of artificial intelligence are welcome. Suggested
topics include, but are not limited to:

Foundations
+ Knowledge representation
+ Cognitive modeling
+ Perception
+ Search
+ Reasoning and programming
+ Machine learning
+ Constraints and uncertainty

Architectures
+ Agents and distributed AI
+ Intelligent user interfaces
+ Natural language systems and linguistics
+ Information retrieval
+ Case-based reasoning
+ Hierarchical and deep representations
+ Affective computing

Applications
+ Aviation and aerospace
+ Education and tutoring systems
+ Games and entertainment
+ Law and machine ethics
+ Mathematics and the sciences
+ Medicine and healthcare
+ Management and manufacturing
+ World Wide Web
+ Robotics
+ Security

Implications
+ Philosophical foundations
+ Social impact and ethics
+ Evaluation of AI systems
+ AI education

************************
General Chair
************************

Geoff Sutcliffe (University of Miami, USA)

************************
Program Chairs
************************

Grégoire Danoy (University of Luxembourg, Luxembourg)
Jun Pang (University of Luxembourg, Luxembourg)

************************
Program Committee
************************

The PC members are currently being invited; we plan to have about 50 PC
members.

************************
Steering Committee
************************

Nikolaj Bjorner (Microsoft Research, USA)
Adel Bouhoula (University of Carthage, Tunisia)
Laura Kovács (Chalmers University, Sweden)
Sriram Rajamani (Microsoft Research, India)
Geoff Sutcliffe (University of Miami, USA)
Andrei Voronkov (University of Manchester, UK)

************************
Organizing Committee
************************

Organizing Committee of ZjuLogAI can be found at
http://www.xixilogic.org/zjulogai/

************************
Publication
************************

GCAI 2020 proceedings will be published in the EasyChair EPiC series in
Computing. Proceedings of the previous GCAI conferences are available
online:

Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).
GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in
Computing, Volume 36)
https://easychair.org/publications/volume/GCAI_2015

Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).
GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in
Computing, Volume 41)
https://easychair.org/publications/volume/GCAI_2016

Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).
GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in
Computing, Volume 50)
https://easychair.org/publications/volume/GCAI_2017

Daniel Lee, Alexander Steen and Toby Walsh (editors).
GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in
Computing, Volume 55)
https://easychair.org/publications/volume/GCAI-2018

************************
Key Dates
************************

- Abstract submission deadline: 23 November 2019
- Paper submission deadline: 30 November 2019
- Acceptance notification: 20 January 2020
- Camera ready copy due: 3 February 2020
- Conference: 6-9 April 2020

************************
Contact
************************
All questions about submissions should be emailed to program chairs.

[Caml-list] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21)

The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of
Combining Systems) and TABLEAUX (the 28th International Conference on Automated
Reasoning with Analytic Tableaux and Related Methods), as well as their
affiliated workshops and tutorials, will take place in London, at Middlesex
University, on the week of September 2-6.

This year we have an exciting program of contributed and invited talks, and
affiliated events. Please see
https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf
for detailed program information. Moreover, information on traveling and
accommodation (including affordable accommodation for budget-constrained
participants), and on the sites and activities that can be enjoyed in the
Middlesex University's beautiful campus, is available from the conferences'
websites:
https://frocos2019.org and https://tableaux2019.org

Information on registration and fees is also available from these websites. The
deadline for early registration is August 21st, 2019.

INVITED TALKS
* Jeremy Avigad. Automated Reasoning for the Working Mathematician
* Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories
* Stephane Graham-Lengrand. Recent and Ongoing Developments of
Model-Constructing Satisfiability
* Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff
* Uli Sattler. Modularity and Automated Reasoning in Description Logics

AFFILIATED WORKSHOPS
* The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander
Bolotov and Florian Kammueller
* Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by
Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh

AFFILIATED TUTORIALS
* Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin
* How to Build an Automated Theorem Prover -- An Introductory Tutorial (invited
TABLEAUX tutorial) by Jens Otten

For any questions, please contact the organizers at chair@tableaux2019.org or
chair@frocos2019.org. We hope to see many of you this September in London.

Best wishes,
Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi
(program chairs and local organizers)

[Caml-list] FroCoS-12 and TABLEAUX-28, London, September 2-6: second call for participation (early registration closes on August 21)

The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of Combining Systems) and TABLEAUX (the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), as well as their affiliated workshops and tutorials will take place in London, at Middlesex University, on the week of September 2-6.

This year we have an exciting program of contributed and invited talks, and affiliated events. Please see

https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf 

for detailed program information. Moreover, information on traveling and accommodation (including affordable accommodation for budget-constrained participants), and on the sites and activities that can be enjoyed in the Middlesex University's beautiful campus, is available from the conferences' websites:

https://frocos2019.org  and  https://tableaux2019.org 

Information on registration and fees is also available from these websites. The deadline for early registration is August 21st, 2019.

INVITED TALKS

* Jeremy Avigad. Automated Reasoning for the Working Mathematician

* Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories

* Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Constructing Satisfiability

* Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff

* Uli Sattler. Modularity and Automated Reasoning in Description Logics

AFFILIATED WORKSHOPS

* The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander Bolotov and Florian Kammueller

* Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh

AFFILIATED TUTORIALS

* Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin

* How to Build an Automated Theorem Prover -- An Introductory Tutorial (invited TABLEAUX tutorial) by Jens Otten

For any questions, please contact the organizers at chair@tableaux2019.org or chair@frocos2019.org. We hope to see many of you this September in London.

Best wishes,

Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi

(program chairs and local organizers)

[Caml-list] [TFP'20] first call for papers: Trends in Functional Programming 2020, 13-14 February, Krakow, Poland

-------------------------------------------------------------------------
                     First call for papers
        21st Symposium on Trends in Functional Programming
                          tfp2020.org
-------------------------------------------------------------------------

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.

* TFP is moving to new winter dates, to provide an FP forum in between the
  annual ICFP events.

* TFP offers a supportive reviewing process designed to help less
experienced
  authors succeed, with two rounds of review, both before and after the
  symposium itself. Authors have an opportunity to address reviewers'
concerns
  before final decisions on publication in the proceedings.

* TFP offers two "best paper" awards, the John McCarthy award for best
paper,
  and the David Turner award for best student paper.

* This year we are particularly excited to co-locate with Lambda Days in
  beautiful Krakow. Lambda Days is a vibrant developer conference with
hundreds
  of attendees and a lively programme of talks on functional
programming in
  practice. TFP will be held in the same venue, and participants will
be able
  to session-hop between the two events.


Important Dates
---------------

Submission deadline for pre-symposium review:   15th November, 2019
Submission deadline for draft papers:           10th January, 2020
Symposium dates:                                13-14th February, 2020

Visit tfp2020.org for more information.

[Caml-list] OCaml Users and Developers Workshop 2019: Final Call for participation

A final reminder of the OCaml Users and Developers Workshop in Berlin in
just over a fortnight - look forward to seeing you there (and at either BOB
or the ML workshop before!)


David

> -----Original Message-----
> From: David Allsopp <David.Allsopp@cl.cam.ac.uk>
> Sent: 16 July 2019 10:27
> To: OCaml List (caml-list@inria.fr) <caml-list@inria.fr>
> Subject: OCaml Users and Developers Workshop 2019: Call for participation
>
> It is my pleasure to invite participation in the OCaml Users and
> Developers Workshop 2019, which is again co-located with ICFP and will be
> held on Friday 23rd August, 2019 in Berlin, Germany.
>
> http://ocaml.org/meetings/ocaml/2019/
>
> The OCaml Users and Developers Workshop brings together the OCaml
> community, including users of OCaml in industry, academia, hobbyists and
> the free software community. Previous editions have been co-located with
> ICFP since 2012 in Copenhagen, Boston, Gothenburg, Nara, Oxford and last
> year in St Louis, following OCaml Meetings in Paris in 2010 and 2011.
>
> https://icfp19.sigplan.org/home/ocaml-2019
>
> Registration for the workshop day is required, but *not for the entire
> conference*. There are several talks with an OCaml flavour in the ML
> Workshop, which is the previous day (August 22nd). Note that although the
> precise talk schedule is not yet finalised (it should be by the end of
> this week), once registered for the day, it is possible to move between
> workshops.
>
> Programme
> ---------
>
> We have accepted 10 talks (full details of which are both on the SIGPLAN
> website and also shortly on ocaml.org) and there is an additional talk on
> recent developments and plans for the compiler from Xavier Leroy. The
> programme covers recent developments and plans in tooling, several
> interesting experience reports and other applications of OCaml.
>
> Program Committee
> -----------------
>
> David Allsopp, University of Cambridge, UK
> Raja Boujbel, OCamlPro, France
> Timothy Bourke, INRIA, France
> Simon Cruanes, Imandra, USA
> Emilio Jésus Gallego Arias, MINES ParisTech, France
> Thomas Gazagnaire, Tarides, France
> Ivan Gotovchits, CMU, USA
> Hannes Mehnert, robur.io, Germany
> Igor Pikovets, Ahrefs, Singapore
> Thomas Refis, Jane Street Europe, UK
> KC Sivaramakrishan, IIT Madras, India
>
> Questions and contact
> ---------------------
>
> Please send any questions to the chair:
> David Allsopp <David.Allsopp@cl.cam.ac.uk>

[Caml-list] Summer BOB 2019 Final Call for Participation (Aug 21, Berlin)

Note Xavier Leroy will give an invited talk!

================================================================================
Summer BOB 2019
Conference
"What happens if we simply use what's best?"
August 21, 2019, Berlin
co-located with ICFP 2019
http://bobkonf.de/2019-summer/
Program: http://bobkonf.de/2019-summer/program.html
Registration: http://bobkonf.de/2019-summer/registration.html
================================================================================

Are you interested in technologies beyond the mainstream, that are a
pleasure to use, and effective at getting the job done?

BOB is the forum for developers, architects and builders to explore
and discover the best tools available today for building software. Our
goal is for all participants to leave the conference with new ideas to
improve development back at the ranch.

Summer BOB is a one-time-only event, in the spirit of the spectacular
Winter BOB. The International Conference on Functional Programming is
coming to town, and Summer BOB will be right in the middle of it, on
the last day of ICFP proper, prior to all the workshops. BOB
participants will be able to attend ICFP talks on Aug 21 and vice
versa.

We are committed to diversity: We aim at exploring a wide range of
tools in a welcoming and friendly crowd of diverse people. To that
end, a number of support options for participants from groups
under-represented in tech are available.

Summer BOB will feature two tracks: one from practitioners, and one
from researchers, designed to cross-pollinate and inspire.

Topics include distributed programming, testing, linear algebra,
functional design patterns, type systems, formal methods, and
interactive development:

Using Formal Methods to Eliminate Exploitable Bugs
Kathleen Fisher

Purely functional distributed programming for collaborative applications
Adriaan Leijnse

Statistical testing of software
Stevan Andjelkovic

Dependent Types in Haskell
Stephanie Weirich

From idea to working product in 7 days
Philipp Maier

In Search of Software Perfection
Xavier Leroy

Expressive Linear Algebra in Haskell
Henning Thielemann

Type-driven Development in Action
Edwin Brady

Functional Design Patterns
Franz Thoma

Liquidate your Assets
Niki Vazou

Scala Type Classes
Alexey Novakov

Types for Protocols
Peter Thiemann

Creating maintainable mobile games in Haskell
Christina Zeller

A Functional Reboot for Deep Learning
Conal Elliott

[Caml-list] [Call for Participation] The Coq Workshop 2019

**********************************************************************
The Coq Workshop 2019: Call for Participation
Colocated with the 10th International Conference on
Interactive Theorem Proving (ITP 2019), Portland, OR, USA
**********************************************************************

We are pleased to invite you to participate in the Coq workshop 2019,
which will be held on September 8 2019, in Portland, OR, USA.
The Coq workshop is part of ITP 2019 (https://itp19.cecs.pdx.edu/).

Topic:
- The Coq workshop 2019 is the 10th Coq Workshop. The Coq Workshop
series (https://coq.inria.fr/coq-workshop/) brings together Coq
(https://coq.inria.fr/) users, developers, and contributors. While
conferences usually provide a venue for traditional research papers,
the Coq Workshop focuses on strengthening the Coq community and
providing a forum for discussing practical issues, including the
future of the Coq software and its associated ecosystem of libraries
and tools. Thus, the workshop will be organized around informal
presentations and discussions, supplemented with invited talks.

Program:
- Invited talk:
+ Nicolas Tabareau: Not a single proof assistant for all, but proof assistants for everyone
- Discussion session with the Coq development team
- Accepted talks:
+ Kazuhiko Sakaguchi. Validating Mathematical Structures
+ Akira Tanaka. A Gallina Subset for C Extraction of Non-structural Recursion
+ Christian Doczkal and Damien Pous. Graph Theory in Coq: Minors, Treewidth, and Isomorphisms
+ Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Zhenlei Hu and Julien Tesson.
Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts
+ Reynald Affeldt, Jacques Garrigue, Xuanrui Qi and Kazunari Tanaka.
Experience Report: Type-Driven Development of Certified Tree Algorithms in Coq
+ Enrico Tassi and Erik Martin-Dorel. SSReflect in Coq 8.10
+ Matthieu Sozeau, Yannick Forster, Simon Boulier, Nicolas Tabareau and Théo Winterhalter.
Coq Coq Codet!
+ Florian Steinberg and Holger Thies.
Computable analysis, exact real arithmetic and analytic functions in Coq
+ Florian Steinberg. _Some formal proofs about summable sequences in Coq
- See https://staff.aist.go.jp/reynald.affeldt/coq2019/ for the schedule.

Registration:
- Early registration is before [2019-08-04 Sun]
- See the ITP 2019 website for registration information:
https://itp19.cecs.pdx.edu/registration/

Program Committee:
- Reynald Affeldt (AIST)
- Christian Doczkal (CNRS - LIP, ENS Lyon)
- Jacques Garrigue (Nagoya University)
- Chantal Keller (LRI, Univ. Paris-Sud)
- Dominique Larchey-Wendling (CNRS, Loria)
- Gregory Malecha (BedRock Systems Inc.)
- Pierre-Marie Pédrot (INRIA)
- Ilya Sergey (Yale-NUS College and NUS School of Computing)
- John Wiegley (DFINITY)

Organization contact (co-chairs):
reynald.affeldt AT aist.go.jp, garrigue AT math.nagoya-u.ac.jp