News archive
-
14 November 2011
Upcoming event: Dagstuhl seminar ‘AI meets Formal Software Development’
A Dagstuhl seminar ‘AI meets Formal Software Development’ (Seminar 12271) related to the AI4FM project will held on 1-6 July 2012.
-
4 November 2011
Upcoming seminar: Reasoned modelling: towards decision support for system designers
Andrew Ireland will give the BCS-FACS Evening Seminar, which is joint with the London Mathematical Society in London, UK on 30 November 2011. The event is open to everyone and free to all.
-
4 November 2011
Recent publications and talk slides
A MSc thesis has been completed within the topics of AI4FM project: "Extending the proof methods and critics of a proof planner" by Daniel Raggi. The thesis is available on the website.
Ideas about inferring the proof process from an expert have been presented during a IFIP WG 2.3 meeting. The slides are available for download.
-
24 May 2011
AI4FM 2011 workshop slides
The AI4FM 2011 workshop has finished and the slides of the talks are available in the workshop details page.
-
26 April 2011
Recent publications and talk slides
New ideas on proof language have been presented as an invited lecture "How to say why in proofs" at BCTCS 2011. The slides from this talk are available now.
ARW 2011 workshop paper "Productive use of failure in top-down formal methods" and its talk slides are available on the website.
View ARW 2011 publication »
View ARW 2011 talk slides »Two presentations have been given in CIAO/Automatheo 2011 workshop.
View slides of "Some ideas on a proof technique language" talk »
View slides of "Productive use of failure in formal methods" talk »Slides from a talk "The use of AI to support top-down formal system development" presented in ETH Zürich have also been made available.
Finally, AI4FM position paper "Learning from an expert's proof" together with slides from a talk at UV10 (Usable Verification) workshop are available.
-
22 January 2011
Upcoming event: AI4FM 2011
AI4FM 2011 will take place at the University of Edinburgh, UK on 28-29 April 2011. Event details, including registration information, is available here.
-
7 October 2010
Recent publications and talk slides
Slides and paper "A small experiment in Event-B rippling" presented at Rodin User and Developer Workshop 2010, Düsseldorf, Germany.
-
15 September 2010
Upcoming talk: A small experiment in Event-B rippling
G. Grov will give a presentation at Rodin User and Developer Workshop 2010, Düsseldorf, Germany on 22 September 2010.
-
10 September 2010
Recent publications and talk slides
VSTTE 2010 workshop paper "AI4FM — A new project seeking challenges!" and its talk slides are available on the website.
View VSTTE 2010 publication »
View VSTTE 2010 talk slides »Slides for ICTAC 2010 publication on "Formal modelling of separation kernel components" are also available.
-
4 August 2010
Upcoming talk: Formal Modelling of Separation Kernel Components
A research paper "Formal Modelling of Separation Kernel Components" will be presented at ICTAC 2010 conference, Natal, Brazil, on 2 September 2010.
-
20 July 2010
PhD position
availablefilled in Edinburgh (filled 20 September 2010)A PhD position is available within AI4FM project at the School of Informatics in the University of Edinburgh. The student will be supervised by Alan Bundy and Gudmund Grov.
The projected PhD task is to analyse ways in which proof attempts fail and are subsequently repaired. This analysis will result in a generic strategy language for describing and classifying failure and repair. The strategy language would be used to describe how experts recover from failure and to guide automated proof search.
-
15 July 2010
Publication text and talk slides for AFM10 workshop
The text and talk slides of "Ideas for a high-level proof strategy language" publication for AFM10 workshop are now available on the website.
-
14 July 2010
Upcoming talks at VERIFY-2010 and VSTTE 2010
Cliff B Jones will be an invited speaker at VERIFY-2010 workshop (part of FLoC 2010) on 20 July 2010.
Learn more »Gudmund Grov will give a presentation at Tools and Experiments workshop at VSTTE 2010 on 19 August 2010.
Learn more » -
13 July 2010
Upcoming talk: Ideas for a high-level proof strategy language
A presentation will be given at AFM10 (Automated Formal Methods) workshop, part of Federated Logic Conference (FLoC), Edinburgh, on 14 July 2010.
-
13 July 2010
Website updated
AI4FM project website has been updated. We welcome questions, suggestions, remarks and complaints about the website — address them to Andrius Velykis.
-
24 May 2010
Kick-off meeting slides
The kick-off meeting for the AI4FM project has finished and the slides of all talks are available in the meeting details page.
-
14 May 2010
AI4FM kick-off meeting
The kick-off meeting for the AI4FM project will take place in Newcastle 20-21 May 2010. More details are available here.
