User contributions
- 13:47, 28 October 2022 diff hist +58 Affiche-these-FR current
- 09:07, 6 September 2022 diff hist +1 User:Uli/AA/Seminar →Upcoming Talks
- 11:13, 20 October 2021 diff hist +27 Projects →Spot: a model checking library
- 00:42, 19 February 2021 diff hist +50 Past People →Class 2007
- 15:53, 14 January 2021 diff hist +17 Courses/ALGO current
- 13:10, 13 January 2021 diff hist +216 Courses/ALGO-TDTP current
- 13:07, 13 January 2021 diff hist 0 Courses/ALGO
- 12:42, 13 January 2021 diff hist 0 Cours/THEG App current
- 12:41, 13 January 2021 diff hist +12 Cours/THEG App
- 12:40, 13 January 2021 diff hist +11 Cours/THEG App
- 12:38, 13 January 2021 diff hist +1 Cours/THEG App
- 12:36, 13 January 2021 diff hist +275 N Cours/THEG App Created page with "{{Course |visible=No |title=Théorie des graphes |acronym=THEG |teacher=Adl |period=S2, App1 |audience=AppIng |duration=12h |optional course=non |objectives=Notions de théori..."
- 12:24, 13 January 2021 diff hist +327 N Courses/ASIE Created page with "{{Course |visible=Yes |title=Approche Scientifique pour l'Informatique Expérimentale |acronym=ASIE |teacher=Adl |period=S4, Ing2 |audience=RDI |exam type=Projet |duration=12h..." current
- 17:59, 10 December 2020 diff hist 0 File:Duret-lutz.jpg Adl uploaded a new version of File:Duret-lutz.jpg
- 09:13, 7 October 2020 diff hist +135 Projects →Spot: a model checking library
- 09:11, 7 October 2020 diff hist +2 Projects update description of Spot
- 20:39, 28 May 2020 diff hist +43 N Publications/blahoudek.20.atva Redirected page to Publications/blahoudek.20.cav current Tag: New redirect
- 16:06, 3 December 2019 diff hist -1 Jobs/PHD 2019 omegalgo current
- 15:36, 5 July 2019 diff hist +96 m Jobs/PHD 2019 LDL
- 15:34, 5 July 2019 diff hist +27 m Jobs/PHD 2019 omegaGPU
- 15:34, 5 July 2019 diff hist -2 m Jobs/PHD 2019 omegaGPU
- 15:33, 5 July 2019 diff hist -1 m Jobs/PHD 2019 omegaGPU
- 15:33, 5 July 2019 diff hist +36 m Jobs/PHD 2019 omegaGPU
- 15:35, 16 April 2019 diff hist +218 TickTac current
- 12:19, 28 March 2019 diff hist 0 m Jobs/PHD 2019 omegaGPU
- 12:18, 28 March 2019 diff hist +22 m Jobs/PHD 2019 omegaGPU
- 12:18, 28 March 2019 diff hist +1,135 N Jobs/PHD 2019 omegaGPU Created page with "{{Job |Reference id=PHD 2019 omegaGPU |Title=Parallélisation des algorithmes d'ω-automates sur GPU |Dates=2019 |Research field=Automates et vérification |Advisor=Alexandre..."
- 12:17, 28 March 2019 diff hist 0 m Jobs/PHD 2019 omegalgo
- 12:15, 28 March 2019 diff hist +4,401 N Jobs/PHD 2019 omegalgo Created page with "{{Job |Reference id=PHD 2019 omegalgo |Title=Algorithmique des ω-automates |Dates=2019 |Research field=Automates et vérification |Related project=Spot |Advisor=Alexandre Dur..."
- 12:00, 28 March 2019 diff hist 0 m Jobs/PHD 2019 LDL
- 11:59, 28 March 2019 diff hist -33 Open positions - PhD current
- 11:59, 28 March 2019 diff hist +33 Open positions - PhD
- 11:58, 28 March 2019 diff hist +2 Open positions - PhD
- 11:57, 28 March 2019 diff hist -2 Open positions - PhD
- 11:57, 28 March 2019 diff hist -24 m Jobs/PHD 2019 LDL
- 11:56, 28 March 2019 diff hist +12 Jobs/PHD 2019 LDL
- 11:36, 28 March 2019 diff hist -4 m Jobs/PHD 2019 LDL
- 11:36, 28 March 2019 diff hist +4 m Jobs/PHD 2019 LDL
- 11:36, 28 March 2019 diff hist -4 m Jobs/PHD 2019 LDL
- 11: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..."
- 18:41, 16 November 2018 diff hist +117 Jobs/M2 2017 MC Spot Generic Acc current
- 12:20, 4 October 2018 diff hist +9 Jobs
- 12: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-..."
- 12:18, 4 October 2018 diff hist +10 Jobs
- 12:09, 4 October 2018 diff hist +53 Jobs
- 17:39, 27 June 2018 diff hist +1 Spot →LRDE publications related to Spot
- 16:33, 27 June 2018 diff hist 0 File:Spot.png Adl uploaded a new version of "File:Spot.png": new logo current
- 19:26, 20 January 2018 diff hist -70 NewsEntry (2018/01/20) current
- 19: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..."
- 21:49, 16 November 2017 diff hist -358 m NewsEntry (2017/09/06) Blanked the page current
- 21: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
- 21: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..."
- 12:30, 23 February 2017 diff hist +203 Jobs/M2 2017 MC Spot Generic Acc
- 12:31, 2 February 2017 diff hist -2 Affiche-these-HDR-ADL
- 16:30, 19 January 2017 diff hist +418 N NewsEntry (2017/01/19) Spot 2.3 current
- 10:43, 5 December 2016 diff hist +136 Application Form →Fiche de candidature au LRDE: question sur editeur préféré
- 18:41, 30 November 2016 diff hist +29 Jobs/M2 2017 MC Spot Generic Acc
- 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
- 15:51, 7 June 2015 diff hist -1 Spot typo
- 22:53, 6 April 2015 diff hist +165 Spot more text about the upcoming 2.0 version and link to development snapshots
- 22:48, 6 April 2015 diff hist +738 Spot
- 11:08, 30 October 2014 diff hist 0 Jobs/M2 2015 AD Faster, Faster, Faster current
- 17:48, 1 July 2014 diff hist +29 Courses/IMC
- 17:47, 1 July 2014 diff hist +14 Courses/ALSD
- 17:47, 1 July 2014 diff hist +33 Courses/ALGA
- 17:46, 1 July 2014 diff hist +37 Courses/THEG
- 17:45, 1 July 2014 diff hist +48 Courses/ALGO-TDTP
- 17:23, 27 June 2014 diff hist -10 Courses/ALGO corrige les liens vers les journaux
- 17:21, 27 June 2014 diff hist +36 N Courses/AlgoLog2013Ing Adl moved page Courses/AlgoLog2013Ing to Courses/AlgoLog2010Ing current
- 17:21, 27 June 2014 diff hist 0 m Courses/AlgoLog2010Ing Adl moved page Courses/AlgoLog2013Ing to Courses/AlgoLog2010Ing current
- 17:21, 27 June 2014 diff hist +36 N Courses/AlgoLog2012Ing Adl moved page Courses/AlgoLog2012Ing to Courses/AlgoLog2009Ing current
- 17:21, 27 June 2014 diff hist 0 m Courses/AlgoLog2009Ing Adl moved page Courses/AlgoLog2012Ing to Courses/AlgoLog2009Ing current
- 17:21, 27 June 2014 diff hist +36 N Courses/AlgoLog2011App Adl moved page Courses/AlgoLog2011App to Courses/AlgoLog2008App current
- 17:21, 27 June 2014 diff hist 0 m Courses/AlgoLog2008App Adl moved page Courses/AlgoLog2011App to Courses/AlgoLog2008App current
- 17:21, 27 June 2014 diff hist +36 N Courses/AlgoLog2011Ing Adl moved page Courses/AlgoLog2011Ing to Courses/AlgoLog2008Ing current
- 17:21, 27 June 2014 diff hist 0 m Courses/AlgoLog2008Ing Adl moved page Courses/AlgoLog2011Ing to Courses/AlgoLog2008Ing current
- 17:20, 27 June 2014 diff hist +33 N Courses/AlgoLog2010 Adl moved page Courses/AlgoLog2010 to Courses/AlgoLog2007 current
- 17:20, 27 June 2014 diff hist 0 m Courses/AlgoLog2007 Adl moved page Courses/AlgoLog2010 to Courses/AlgoLog2007 current
- 17:09, 27 June 2014 diff hist -33 Courses/IMC