User contributions
- 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..."