CONVECS team

Research Team on Construction of Verified Concurrent Systems

[CONVECS team @convecs]

"The 2020 Expert Survey on Formal Methods" Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol https://t.co/5uiBxyxY6R

[Gwen Salaün @gwensalaun]

PhD Thesis Offer "Modelling, optimization and predictive analysis of business processes" https://t.co/0oG0zxWWYH #grenoble #computerscience @YliesFalcone @gwensalaun

[Gwen Salaün @gwensalaun]

"Visual Debugging of Behavioural Models", G. Barbon et al., ICSE 2019, preprint available online https://t.co/UVKw4FIazV + video https://t.co/zaDgaO4jm4

[CONVECS team @convecs]

"The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 https://t.co/e9zV2vbdZY

[Gwen Salaün @gwensalaun]

"Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here https://t.co/FxwFtWeKhU

[CONVECS team @convecs]

Frédéric Lang and Franco Mazzanti Have Won the RERS 2019 Parallel Challenges (ETAPS, TOOLympics) https://t.co/RT9V51rVne

[CONVECS team @convecs]

The 15,000th license of CADP has been granted! https://t.co/8aZYECS2Dv

[CONVECS team @convecs]

New tutorial paper on compositional verification
https://t.co/LdQyXzZSHU

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2019-a "Pisa") https://t.co/3g9q8BJ5vS

[SEFM Conference @sefm_conf]

Happy New Year, everybody! 🥳

Reminder! ⏰@sefm_conf workshop proposal submission deadline is on 11 Jan. 2019. Send us your proposals and be a part of SEFM 2019, Oslo.

More details here: https://t.co/0N8jPumYqS

[CONVECS team @convecs]

The CADP verification toolbox (https://t.co/mNkRvVr9OS) now works on x64 servers running SunOS 5.1 OpenIndiana "Hipster" @OpenIndiana #illumos

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2018-l "Uppsala") https://t.co/KVgir3w8hq

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2018-k "Uppsala") https://t.co/zewrAflfOp

[CONVECS team @convecs]

New tutorial paper on compositional verification
https://t.co/LdQyXzZSHU

[CONVECS team @convecs]

Job offer in CONVECS: Développement logiciel - outils de vérification
https://t.co/NuLWytNjwu

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2018-i "Uppsala") https://t.co/L6sTnycs8k

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2018-h "Uppsala") https://t.co/Vt97lGtaYV

[CONVECS team @convecs]

Scientific program of the 2018 edition of the @convecs seminar (July 10-12, Dullin, Savoie) https://t.co/tecksJAjNy

[Gwen Salaün @gwensalaun]

The 2019 edition of SEFM will be organized in Olso (Norway) in mid-september 2019, deadline in Spring 2019 @sefm_conf @olveczky

[CONVECS team @convecs]

A new version of the CADP toolbox has been released (2018-f "Uppsala") https://t.co/FUaQwWwkQ4