[ecoop-info] IJCAR 2016 Workshop - Call for Position Statements

[Leo Freitas]

IJCAR 2016 Workshop on “Paths not taken: thinking about the process of proof’’
(https://pathsnottakenblog.wordpress.com)

2nd July 2016 in Coimbra, Portugal.

In association with IJCAR 2016.

Keynote speaker: J Strother Moore, Admiral B.R. Inman Centennial Chair Emeritus in Computing Theory, Department of Computer Science, University of Texas at Austin.

Important dates

Submission deadline: 1st June 2016
Notification of final programme: 15th June 2016
Workshop: 2nd July 2016

Call for Position Statements:
Position statements of up to 500 words should be submitted by email to pathsnottakenworkshop at gmail.com by 1st June 2016. They should be in PDF format, and include your name, email address and affiliation, and a short paragraph describing your background or experience in machine proof. Please indicate whether you would be willing to have your statement posted on this blog.

Position statements might address topics such as:
– what do you find hardest or most challenging about machine proof?
– what do you do when you get stuck in a machine proof?
– what is the best advice you’ve ever been given about machine proof?
– what was your biggest failure in a machine proof?
– how do you plan and organise a machine proof?
– what is the best way to teach others to do machine proofs?

The main aim for the workshop is discussion, thus submissions do not need to be original, and are in the form of “position statements” as described above. Extended versions of submissions may have been published previously, or submitted concurrently with or after this IJCAR 2016 to another workshop, conference or a journal. Presentations of work in progress, tools under development and PhD projects are also encouraged.

We do not plan to publish workshop proceedings, but will publish a report based on the discussions, co-authored by the participants.

The scope of the workshop covers research in automated reasoning, formal methods and proof processes. the scope includes, but is not limited to:
– The use of machine learning to support interactive theorem proving.
– The use of machine learning to enhance automated theorem proving.
– The development of proof search heuristics and how it can be informed by error.
– Techniques for counter-example generation.
– The use of constraint solvers in formal methods.
– The interplay between reasoning and modelling.
– Ontologies in the formal engineering process.
– Novel ideas on how to use AI (e.g. machine learning, pattern recognition) in proof automation.
– Use of cloud elasticity for: scalability on large scale developments, proof/lemma exploration.
– The relationship between formal and informal proofs in mathematics.

Note that submission is not necessary for participation in the workshop.

Thank you
Leo Freitas
Ursula Martin
Gabriela Rino Nesin
Cliff Jones