Paral-ITP meetings

Meetings

Kick-off meeting, room 465, PCRI, Orsay, 2 November 2011, 9:00-18:15

Winter 2012 Document Model taskgroup meeting, room Orange, INRIA, Paris, 18 January 2012, 9:30-12:30

Spring 2012 Formal Analysis taskgroup meeting, PCRI, Orsay, 12 April 2012, 14:00-17:00

Spring 2012 General meeting, PCRI, Orsay, 9 May 2012, 9:00-13:00

(FA Taskgroup Meeting took place 9.5.2012)

On the communication between Coq and its graphical user interfaces, room Orange, INRIA, Paris, 3 July 2012, 10:00-13:00

Autumn 2012 General meeting, room 475, PCRI, Orsay, 7 September 2012, 13:00-17:00

Winter 2013 General meeting, room Flageolet, bâtiment Turing, École Polytechnique, Palaiseau, 21 March 2013, 9:30-13:00

"Autumn 2013" General meeting, room Flageolet, bâtiment Turing, École Polytechnique, Palaiseau, 3 October 2013, 9:30-14:00

Winter 2014 Front-end Technology meeting, room 2024, bâtiment Turing, École Polytechnique, Palaiseau, 13 February 2014, 14:00-18:00

Winter 2014 Document Model and Formal Analysis meeting, room Bleu 2, INRIA, Paris, 19 February 2014, 16:00-18:00

Summer 2014 General meeting, room Schützenberger, bâtiment Turing, École Polytechnique, Palaiseau, 11 July 2014, 9:30-13:00

Summer 2014 2nd General meeting, room 445, PCRI, Orsay, 26 August 2014, 13:30-17:00