User contributions
- 18:35, 30 November 2016 diff hist +84 Jobs/M2 2017 MC Spot Generic Acc
- 18:32, 30 November 2016 diff hist 0 Jobs/M2 2017 MC Spot Generic Acc
- 18:31, 30 November 2016 diff hist +2,111 N Jobs/M2 2017 MC Spot Generic Acc Created page with "{{Job |Reference id=M2 2017 MC Spot Generic Acc |Title=Algorithms for generic acceptance |Dates=5-6 months in 2017 |Research field=Model checking |Related project=Spot |Genera..."
- 17:58, 30 November 2016 diff hist 0 Jobs/M2 2016 ER Multi-core for Spot current
- 17:57, 30 November 2016 diff hist +14 Jobs/M2 2016 ER Multi-core for Spot
- 11:39, 29 November 2016 diff hist +14 Jobs/M2 2015 ADL SAT-based Minimization
- 19:23, 28 November 2016 diff hist +11 Jobs/M2 2017 MC Spot demo typos
- 18:06, 30 March 2016 diff hist -259 NewsEntry (2016/04/08) erase contents current
- 19:33, 19 November 2015 diff hist +54 Jobs/M2 2015 ADL SAT-based Minimization
- 19:24, 19 November 2015 diff hist +22 Jobs/M2 2015 ADL Python Interfaces for Spot
- 19:22, 19 November 2015 diff hist -252 Jobs/M2 ADL 2015 General Acceptance Condition
- 12:39, 13 November 2015 diff hist +21 Recruiting ING1 students →La semaine d'intégration: reformulation entrée ING2
- 12:32, 13 November 2015 diff hist -8 m Application Form →Fiche de candidature au LRDE: typographie
- 12:30, 13 November 2015 diff hist +13 m Application Form →Fiche de candidature au LRDE: typographie
- 12:27, 13 November 2015 diff hist 0 m Application Form POSTULER->Postuler
- 12:25, 13 November 2015 diff hist -2 m Recruiting ING1 students candidater -> postuler
- 17:23, 12 November 2015 diff hist +12 Alexandre Duret-Lutz current
- 07:52, 1 September 2015 diff hist 0 m Publications/baarir.15.lpar
- 07:51, 1 September 2015 diff hist 0 Publications/baarir.15.lpar fix date
- 00:17, 30 June 2015 diff hist -796 Spot link to spot.lrde.epita.fr