[Hol-info] TPTP v7.3.0 released

[geoff]

   The TPTP Problem Library, Release v7.3.0
   

Geoff Sutcliffe
 Dep't of Computer Science, University of Miami, USA
  ge...@cs.miami.edu

*** NOTICE: The CADE-27 ATP System Competition (CASC-27) will run on Wednesday.
*** See the action online at ...
***http://www.tptp.org/CASC/27/

The TPTP  (Thousands  of Problems  for Theorem  Provers)  Problem Library  is a
library of test problems for automated theorem proving (ATP) systems.  The TPTP
supplies the ATP community with:
+ A comprehensive library of the ATP test problems that are available today, in
  order to provide an overview and a simple, unambiguous reference mechanism.
+ A comprehensive list of references and other interesting information for each
  problem.
+ Arbitary size instances of generic problems (e.g., the N-queens problem).
+ A utility to convert the problems to existing ATP systems' formats.
+ General guidelines outlining the requirements for ATP system evaluation.
+ Standards for input and output for ATP systems.

The principal motivation for the TPTP is to support the  testing and evaluation 
of  ATP systems,  to help  ensure that performance  results accurately  reflect
capabilities of the  ATP system being considered.  A common library of problems 
is necessary for meaningful system evaluations,  meaningful system comparisons, 
repeatability  of testing,  and the  production  of  statistically  significant 
results. The TPTP is such a library.

This is the first release with polymorphic THF (TH1) problems. There are 644
polymorphic TH1 problems in 14 domains.

TPTP v7.3.0 is now available at:
http://www.tptp.org
The TPTP-v7.3.0.tgz file contains the library, including utilities and basic
documentation. Full documentation is online at:
http://www.tptp.org/TPTP/TR/TPTPTR.shtml

The TPTP  is regularly updated with new problems,  additional information,  and
enhanced utilities.  If you would like to register as a TPTP user,  and be kept
informed of such developments, please email Geoff Sutcliffe.

== What's New in TPTP v7.3.0 ==

Release v7.3.0, Fri Aug 2 16:17:10 EDT 2019

Changes from v7.2.0 to v7.3.0 for THF problems
  8 bugfixes done, in the domains LCL.

Changes from v7.2.0 to v7.3.0 for TFA problems
  6 new abstract problems, in the domains PLA.
  7 new problems, in the domains PLA.

Changes from v7.2.0 to v7.3.0 for FOF problems
286 new abstract problems, in the domains CSR NUN SEV SWW.
458 new problems, in the domains CSR NUM NUN SEV SWW.
247 bugfixes done, in the domains CSR NUN SET.

Changes from v7.2.0 to v7.3.0 for CNF problems
 45 new abstract problems, in the domains SYO.
196 new problems, in the domains AGT ALG ANA BOO CAT COL CSR GRP HEN KLE LAT 
LCL MSC NLP NUM PLA PUZ REL RNG ROB SEU SWB SWV SYN SYO.
 16 bugfixes done, in the domains SET.

+ In SyntaxBNF
  - Added semantic rules for .
  - Split  into  and
, and added () to .




___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] FMCAD 2019 Call for Participation

[barrett]

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

___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event)

[Osman Hasan via hol-info]

---
 Call for Papers

   FTSCS 2019

7th International Workshop on Formal Techniques for Safety-Critical Systems

   Shenzhen, China, November, 9, 2019
   (satellite workshop of ICFEM 2019)

 http://www.ftscs.org

-
*** Science of Computer Programming special issue ***
*** Springer CCIS proceedings ***

*** Extended and final submission deadline: September 10, 2019 ***

Aims and Scope:

There is an increasing demand for using formal methods to validate and
verify safety-critical systems in fields such as power generation and
distribution, avionics, automotive systems, medical systems, and
autonomous vehicles. In particular, newer standards, such as DO-178C
(avionics), ISO 26262 (automotive systems), IEC 62304 (medical
devices), and CENELEC EN 50128 (railway systems), emphasize the need
for formal methods and model-based development, thereby speeding up
the adaptation of such methods in industry.

The aim of this workshop is to bring together researchers and engineers
who are interested in the application of formal and semi-formal methods
to improve the quality of safety-critical computer systems. FTSCS
strives to promote research and development of formal methods and
tools for industrial applications, and is particularly interested in
industrial applications of formal methods.

Specific topics include, but are not limited to:

* case studies and experience reports on the use of formal methods for
  analyzing safety-critical systems, including avionics, automotive,
  medical, railway, and other kinds of safety-critical and
  QoS-critical systems
* methods, techniques and tools to support automated analysis,
  certification, debugging, etc., of safety/QoS-critical systems
* analysis methods that address the limitations of formal methods in
  industry (usability, scalability, etc.)
* formal analysis support for modeling languages used in industry,
  such as AADL, Ptolemy, SysML, SCADE, Modelica, etc.
* code generation from validated models.

The workshop will provide a platform for discussions and the exchange of
innovative ideas, so submissions on work in progress are encouraged.

Submission:

We solicit submissions reporting on:

A- original research contributions (16 pages max);
B- applications and experiences (16 pages max);
C- surveys, comparisons, and state-of-the-art reports (16 pages max);
D- tool papers (6 pages max);
E- position papers and work in progress (6 pages max)

related to the topics mentioned above.

All submissions must be original, unpublished, and not submitted
concurrently for publication elsewhere. Paper submission is done
via EasyChair at https://easychair.org/my/conference?conf=ftscs2019.
The final version of the paper must be prepared in LaTeX, adhering to
the LNCS format available at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0.

Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D)
 in their papers. In addition, the corresponding author of each paper,
acting on behalf of all of the authors of that paper, must complete and
sign a Consent-to-Publish form. The corresponding author signing the
copyright
form should match the corresponding author marked on the paper. Once the
files
have been sent to Springer, changes relating to the authorship of the
papers cannot be made.

Publication:

All accepted papers will appear in the pre-proceedings of FTSCS 2019.
Accepted papers in the categories A-D above will appear in the
workshop proceedings that will be published as a volume in
Springer's CCIS series.

The authors of a selected subset of accepted papers will be invited to
submit extended versions of their papers to appear in a special issue
of the Science of Computer Programming journal.

Important dates:

Submission deadline: September 10, 2019 (extended and final)
Notification of acceptance: October 4, 2019
Workshop: November 9, 2019

Venue:

Shenzhen, China

Program chairs:

Frederic Mallet (INRIA Sophia Antipolis, France)
Osman Hasan (National University of Sciences & Technology, Pakistan)

Program committee:

Cyrille Artho (KTH Royal Institute of Technology, Sweden)
Peter Csaba Ölveczky (University of Oslo, Norway)
Thomas Noll (RWTH Aachen University, Germany)
Klaus Havelund (Jet Propulsion Laboratory, USA)
Étienne André (University Paris 13, France)
Robi Malik (University of Waikato, New Zealand)
Roberto Nardone (Mediterranean University of Reggio Calabria, Italy)
Ralf Huuck (UNSW, Australia)
Sofiène Tahar (Concordia University, Canada)
Toshiaki Aoki (JAIST, Japan)
Kyungmin Bae (Pohang University of Science and Technology, Korea)
Fuyuki Ishikawa (National Institute of Infomatics, Japan)
Carolyn Talcott (SRI International, USA)
Tatsuhiro Tsuchiya (Osaka University, Japan)
Huibiao Zhu (East China Normal 

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

[Luigia Petre]

# 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 

[Hol-info] AIIA 2019 Doctoral Consortium

[Luca Pulina]

Students are invited to apply for admission to the Doctoral Consortium 
to be held at the the AIIA 2019 conference which will take place in 
Rende, from the 19th to the 22nd of November 2019.


Submission Deadline: September 15th, 2019

The AIIA 2019 Doctoral Consortium provides an opportunity for Ph.D. 
students to explore and develop their research interests in the 
Artificial Intelligence field, in the broader sense, under the guidance 
of a panel of distinguished researchers from both academia and industry. 
Attending students will have the opportunity to present their work in a 
dedicated workshop and to share their work with other students in a 
similar situation and with senior researchers during a dedicated 
workshop. During the entire conference every student will be paired with 
a senior mentor (selected from the DC program committee) who will 
dedicate some time for interacting with the student. AIIA Doctoral 
Consortium main objectives are the following:


 Provide a supportive setting for feedback on students' current 
research and guidance on future research directions.
 Offer each student comments and fresh perspectives on their 
own work from faculty and students outside their own institution, taking 
advantage of mentorship opportunities.
 Promote the development of a supportive community of scholars 
and a spirit of collaborative research.
 Contribute to the conference goals through interaction with 
other researchers and conference events.


We accept contributions from students regularly enrolled in some Ph.D. 
program. Exceptions might include students not yet enrolled in a Ph.D. 
program, but that are strongly motivated to enroll in the near future. 
Every contribution should be in the form of up to 5 pages extended 
abstracts including references, in Springer LNCS format. In line with 
the main research track of the conference, the AIIA 2019 Doctoral 
Consortium welcomes submissions on research across all areas of AI, 
including (but not limited to) traditional topics such as machine 
learning, search, planning, knowledge representation, reasoning, 
constraint satisfaction, natural language processing, robotics and 
perception, and multiagent systems.
Students with accepted extended abstracts are invited to give an oral 
presentation of their work during the Doctoral Consortium, and to 
prepare a poster to be displayed during the poster sessions of the main 
conference. The authors of the accepted extended abstracts are requested 
to attend the Doctoral Consortium and to register to the main 
conference. Poster should include student's contacts in order to allow 
any interested person to fix an appointment with the student and discuss 
her/his work during the conference.


Extended abstract submission, format and publication

Prepare an up to five-pages extended abstract describing your current or 
future research work (or on some specific issue) in the LNCS Proceedings 
Format. You should be the only author of the extended abstract and you 
should mention your advisor.


We allow two types of contributions:

   Overview of the Ph.D. work, which should include: 
Introduction/Motivation, State of the Art, Problem Statement and 
Contributions, Research Methodology and Approach, Preliminary or 
Intermediate Results, Evaluation Plan, Conclusions (recommended for 
students in an early stage of the Ph.D.)
   Presentation of one specific scientific achievement you have 
reached during the Ph.D. course. The contribution could have been 
already published in some other venue.


Extended abstracts will be evaluated by at least 2 members of the 
Doctoral Consortium Committee. The main evaluation criteria include 
originality of the work, scientific quality, validity of claims and 
clarity.
The DC Committee will assign a Best Ph.D. Paper award to the best 
contribution, by evaluating the subject described in the extended 
abstract, the quality of the presentation and poster.


Accepted extended abstracts will be possibly published on CEUR WS 
Proceedings upon request.


Extended abstract will be handled through Easychair at
  https://easychair.org/conferences/?conf=aiia2019

Important Dates

Paper submission: September 15th, 2018
Notification: October 5th, 2018
Camera-ready extended abstracts due: November 5th, 2018
Doctoral Consortium: TBD (between 19th-22nd November 2018)

Doctoral Consortium Chair

Marco Maratea, University of Genova

Programme Committee

TBD


--

--
*Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 
00196350904



___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] GCAI 2020, Hangzhou, China - Call for Papers

[geoff]

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