User contributions
- 10:36, 28 March 2019 diff hist +4 m Jobs/PHD 2019 LDL
- 10:36, 28 March 2019 diff hist -4 m Jobs/PHD 2019 LDL
- 10:35, 28 March 2019 diff hist +2,297 N Jobs/PHD 2019 LDL Created page with "{{Job |Reference id=PHD_2019_LDL |Title=Traduction de logique dynamique linéaire en ω-automates |Research field=automates, logique temporelle, model checking, vérification..."
- 17:41, 16 November 2018 diff hist +117 Jobs/M2 2017 MC Spot Generic Acc current
- 11:20, 4 October 2018 diff hist +9 Jobs
- 11:19, 4 October 2018 diff hist +3,703 N Enseignant-chercheur, équipe automates et vérification Created page with "L'[http://epita.fr EPITA] est une école d'ingénieur (CTI), reconnue comme une école majeure dans le domaine de l'informatique. Le [https://www.usinenouvelle.com/comparatif-..."
- 11:18, 4 October 2018 diff hist +10 Jobs
- 11:09, 4 October 2018 diff hist +53 Jobs
- 16:39, 27 June 2018 diff hist +1 Spot →LRDE publications related to Spot
- 15:33, 27 June 2018 diff hist 0 File:Spot.png Adl uploaded a new version of "File:Spot.png": new logo current
- 18:26, 20 January 2018 diff hist -70 NewsEntry (2018/01/20) current
- 18:24, 20 January 2018 diff hist +383 N NewsEntry (2018/01/20) Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.5] was released |subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis. |date=2018/01/20 }} The main f..."
- 20:49, 16 November 2017 diff hist -358 m NewsEntry (2017/09/06) Blanked the page current
- 20:48, 16 November 2017 diff hist +432 Nm NewsEntry (2017/09/06)2 Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |subtitle=More tools, and more support for complex acceptance conditions. |date=2017/09/06 }} This release con..." current
- 20:46, 16 November 2017 diff hist +358 N NewsEntry (2017/09/06) Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |date=2017/09/06 }} This release contains two new tools (genaut for generating families of automata taken from..."
- 11:30, 23 February 2017 diff hist +203 Jobs/M2 2017 MC Spot Generic Acc
- 11:31, 2 February 2017 diff hist -2 Affiche-these-HDR-ADL
- 15:30, 19 January 2017 diff hist +418 N NewsEntry (2017/01/19) Spot 2.3 current
- 09:43, 5 December 2016 diff hist +136 Application Form →Fiche de candidature au LRDE: question sur editeur préféré
- 17:41, 30 November 2016 diff hist +29 Jobs/M2 2017 MC Spot Generic Acc