Room 445, PCRI, Orsay, 26 August 2014, 13:00-17:00
Participants: Damien Doligez, Hugo Herbelin, Makarius Wenzel, Burkhart Wolff.
Makarius Wenzel and Damien Doligez discussed about parallelism in ML.
Makarius presented news about Isabelle 2014-RC4 release.
Makarius is leaving PCRI end of August.
Summary of the action so far is made by Burkhart Wolff: refinements of Isabelle/JEdit, new pararel interfaces for Coq, communication at conferences and workshops are positive achievements. It is discussed whether a paper at e.g. CICM could be made.
Next report is due in December. A meeting planned in March for preparing the final presentation in .