• 2 participants
  • 526 discussions

Paper accepted at FORTE'22: LTL under reductions with weaker conditions than stutter invariance
by Renault Etienne
4 days, 21 hours

Paper accepted at FORTE'22: Effective Reductions of Mealy Machines
by Alexandre Duret-Lutz
2 weeks, 4 days

Paper accepted at TACAS'22: Practical Applications of the ACD
by Alexandre Duret-Lutz
3 months, 2 weeks

Spot 2.10 released
by Alexandre Duret-Lutz
6 months, 1 week

[CfP] 15th European Lisp Symposium, March 21-22 2022, Porto, Portugal
by Didier Verna
7 months

New publication: CP21
by akheireddine
8 months, 3 weeks

New publication: SPIN'21
by Renault Etienne
11 months, 2 weeks

Paper accepted ELS 2021
by Jim Newton
1 year, 1 month

Accepted paper at ELS 2021
by Didier Verna
1 year, 1 month

Séminaire "morphologie mathématique, IA et astrométrie" (LRDE/IMCCE) le vendredi 5 mars
by Guillaume Tochon
1 year, 2 months
Results per page: