Email Gateway (Aug 19 2022 at 11:04): Email Gateway (Aug 19 2022 at 11:04):From: Gudmund Grov <gudmundgrov@gmail.com>
(* apologies for multiple copies*)
AI4FM 2013 - the 4th International Workshop on
the use of AI in Formal Methods
http://www.ai4fm.org/ai4fm-2013/
Rennes, France, 22nd July, 2013
In association with ITP 2013
--- Call for Participation ---
General
This workshop will bring together researchers from formal methods and AI;
it will address the issue of how AI can be used to support the formal
software development process, including modelling and proof. Previous AI4FM
workshops have included a mix of industrial and academic participants and
we anticipate attracting a similarly diverse audience.
Programme
9:00: Invited Talk: Nitpick and Sledgehammer: Automatic Proofs and
Refutations for Isabelle/HOL
Jasmin Blanchette
10:30: The social machine of mathematics
Ursula Martin
11:00: Verifying the heap: an AI4FM case study
Leo Freitas, Cliff Jones, Andrius Velykis and Iain Whiteside
11:30: Applying machine learning to setting time limits on decision
procedure calls
Zongyan Huang and Lawrence Paulson
2:00: Learning Domain-Specific Guidance for Theory Formation
Jeremy Gow
2:30: Arís: Analogical Reasoning for reuse of Implementation & Specification
Mihai Pitu, Daniela Grijincu, Peihan Li, Asif Saleem, Rosemary
Monahan, Diarmuid O'Donoghue
2:30: Source Code Matching for reuse of Formal Specifications
Daniela Grijincu
3:00: Source Code Retrieval using Case Based Reasoning
Mihai Pitu
3:30: AI and WCET computation analysis
Hugues Cassé, Marie de Roquemaurel, Mamoun Filali, and Hajer
Herbegue
4:30: Drawing Proof Strategies
Gudmund Grov
5:00: Analogical Lemma Speculation
Ewen Maclean
5:30: Theory Exploration for Interactive Theorem Proving
Moa Johansson
Sponsors
Formal Methods Europe (FME) has kindly agreed to sponsor a limited number
of PhD students.
Organisers
Contact Details
If you have any queries, please email the organisers at the following email
address:
Last updated: Apr 20 2024 at 04:19 UTC