CONVECS team @convecs
Research Team on Construction of Verified Concurrent Systems convecs.inria.fr Grenoble Joined February 2014-
Tweets317
-
Followers75
-
Following124
-
Likes20
"The 2020 Expert Survey on Formal Methods" Hubert Garavel, Maurice H. ter Beek, Jaco van de Pol link.springer.com/chapter/10.100…
0
2
0
0
0
CONVECS team retweeted
PhD Thesis Offer "Modelling, optimization and predictive analysis of business processes" jobs.inria.fr/public/classic… #grenoble #computerscience @YliesFalcone @gwensalaun
CONVECS team retweeted
"Visual Debugging of Behavioural Models", G. Barbon et al., ICSE 2019, preprint available online hal.inria.fr/hal-02145535/en + video youtube.com/watch?v=nJLOnR…
"The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 link.springer.com/chapter/10.100…
CONVECS team retweeted
"Debugging of Behavioural Models with CLEAR", G. Barbon et al., TACAS'19, pdf available here link.springer.com/chapter/10.100…
Frédéric Lang and Franco Mazzanti Have Won the RERS 2019 Parallel Challenges (ETAPS, TOOLympics) cadp.inria.fr/news12.html
The 15,000th license of CADP has been granted! cadp.inria.fr/usage
New tutorial paper on compositional verification link.springer.com/chapter/10.100…
A new version of the CADP toolbox has been released (2019-a "Pisa") cadp.inria.fr/changes.html#2…
CONVECS team retweeted
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: sefm2019.inria.fr/workshops/
The CADP verification toolbox (cadp.inria.fr) now works on x64 servers running SunOS 5.1 OpenIndiana "Hipster" @OpenIndiana #illumos
A new version of the CADP toolbox has been released (2018-l "Uppsala") cadp.inria.fr/changes.html#2…
A new version of the CADP toolbox has been released (2018-k "Uppsala") cadp.inria.fr/changes.html#2…
Job offer in CONVECS: Développement logiciel - outils de vérification jobs.inria.fr/public/classic…
A new version of the CADP toolbox has been released (2018-i "Uppsala") cadp.inria.fr/changes.html#2…
A new version of the CADP toolbox has been released (2018-h "Uppsala") cadp.inria.fr/changes.html#2…
Scientific program of the 2018 edition of the @convecs seminar (July 10-12, Dullin, Savoie) convecs.inria.fr/events/seminai…
CONVECS team retweeted
The 2019 edition of SEFM will be organized in Olso (Norway) in mid-september 2019, deadline in Spring 2019 @sefm_conf @olveczky
A new version of the CADP toolbox has been released (2018-f "Uppsala") cadp.inria.fr/changes.html#2…
D-SyMLe @ ICSE'23 @dsymle
5 Followers 81 Following Workshop on Dependability of Safety-Critical Systems with Machine Learned Components.
COSTE Immobilier @CosteImmobilier
69 Followers 658 Following Agence COSTE Immo 📍 13 rue des Lilas 38240 MEYLAN 📞 04-76-18-98-69 📧 [email protected] 🏡 Implantée depuis plus de 20 ans sur le secteur Meylanais
Statify @InriaStatify
478 Followers 552 Following Statify Inria team @inria_grenoble Tweets by @FForbes70 @JulyanArbel @plc_rodrigues @sophie_achard_g
FMASWorkshop @FmasWorkshop
541 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Oana Andrei @OanaMAndrei
578 Followers 970 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
Formal Methods at Gla... @FormalMethodsGU
372 Followers 178 Following The Formal Methods Research Group is part of the @FATAglasgow research section | School of Computing Science @GlasgowCS | @UofGlasgow UK. Tweets by @OanaMAndrei
Pascal Poizat @pascalpoizat
619 Followers 363 Following @pascalpoizat.bsky.social — pro: https://t.co/z8Dbm6eJvL — perso: https://t.co/WzIIjDDJOI
Luca @1306lou
91 Followers 335 Following CS Postdoc @tu_wien 💻 • From L’Aquila 🇮🇹 • Opinions my own • ❤️, 🔄 ≠ endorsement • Are birds free from the chains of the skyway?
Li Huang (黄粒) @huangl223
4 Followers 64 Following Third year PhD student in the Constructor University
QONFEST2020 @qonfest2020
183 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Sara Houhou @sarahouhou68
62 Followers 389 Following #SolutionsEngineering #technology #phDStudent #ComputerScience #BusinessProcess #FormelMethods
Gueckmous diabolicus @Gueckmooh
142 Followers 683 Following Enzo, 'Gueckmooh' | he/him | 29 | FR & EN | Software engineer | indie game dev | opinions are my own, not the views of my employer
SEFM Conference @sefm_conf
284 Followers 386 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
Hotito @hotitooo
13 Followers 357 Following
SOAP 2018 @soap2018
55 Followers 841 Following Track on Service-Oriented Architectures and Programming at SAC 2018
FOCLASA 2017 @foclasa2017
71 Followers 937 Following The 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
Hugues Evrard @HuguesEvrard
80 Followers 79 Following
Yliès Falcone @YliesFalcone
134 Followers 168 Following Computer Scientist - Associate Professor at Univ. Grenoble Alpes (France)
Observatoire B2V des ... @ObsB2Vmemoires
1K Followers 365 Following Développer l’accès aux plus récentes découvertes scientifiques sur les MEMOIRES #mémoires #seniors
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Back in business @Backinbiz1
39K Followers 81K Following organisme de #formation inter/intra entreprises et cabinet #conseil #transformation #management #projet #changement #talent
Brenda Clarke @graphexberli192
255 Followers 3K Following
mohamedAmine aouadhi @MohaAminAouadhi
15 Followers 167 Following engineering student (Ecole Nationale Des Sciences de l'Informatique )
Thibaud DELOBELLE @DTThibaud
119 Followers 391 Following Coach en organisation et transition numérique | Coach pour l’Incubateur des Territoires
Hernan Ponce De Leon @h_poncedeleon
404 Followers 227 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
J Christian Attiogbé @jcattiogbe
183 Followers 260 Following
Fabrice Kordon @fabricekordon
238 Followers 23 Following Professeur en informatique à Sorbonne Université et directeur du LIP6.
SAC-SVT'16 @SacSVT2016
80 Followers 867 Following Software Verification and Testing 2016 (April 3 - 8, 2016)
Abderahman KRIOUILE @A_KRIOUILE
80 Followers 182 Following #Startup, #Innovation, #CEO, #founder, #Entrepreneurship, #Entrepreneur, #PhD
Laura Panizo @LauraPanizo
138 Followers 351 Following
Fabienne Leroy @leroy_fabienne
115 Followers 1K Following
Institut Carnot LSI @Carnot_LSI
301 Followers 384 Following #Innover avec la #recherche publique dans le secteur du #numérique : @Carnot_LSI levier pour l'#innovation des entreprises
onepaperperday @onepaperperday
2K Followers 619 Following One day - one tweet - one paper about programming, cs, math or any other fun topic.
Ricardo J. Rodríguez @RicardoJRdez
2K Followers 1K Following Associate Professor @ University of Zaragoza. Researching on program binary analysis, memory forensics, and survivability.
BCR ESM IAE-Metz @BCR_ESM_IAE
28 Followers 41 Following #IAE #BCR #Management #Business #Réseaux #Conférence #Stage #CV #Entretien #RH
François Taddei @FrancoisTaddei
30K Followers 17K Following #EtSiNous #IntelligenceCollective 'Apprendre au 21ème siècle' #prendresoin de #soi #autres #learningplanet @lpiparis_ @inserm @univ_paris @savantures
Juanma Murillo @juanmamuro
398 Followers 445 Following
Massimo Tivoli @MassimoTivoli
164 Followers 90 Following Software Engineering, Software Architecture, Service Oriented Computing, Formal Methods
Marco Autili @marcoautili
254 Followers 290 Following Associate Professor in Software Engineering, University of L’Aquila
François Sillion @FrancoisSillion
744 Followers 89 Following Working at CNES. Passionate about science & research
Robert Clarisó @robertclariso
719 Followers 506 Following Computer Scientist & Lecturer at Universitat Oberta de Catalunya. Principal Investigator @ SOM Research Lab. Coordinating the AI in Education task force @ UOC.
AZZARO @SofAZZARO
5 Followers 15 Following
Inria @Inria
46K Followers 2K Following Institut national de #recherche en sciences et technologies du #numérique 🚀 La recherche de rang mondial et l’#innovation technologique constituent notre ADN.
Inria alumni @inria_alumni
1K Followers 1K Following Inria alumni helps alumni from @Inria to stay connected for life, for more information, see our site ! #Numérique #Innovation #Startup
Sara Houhou @sarahouhou68
62 Followers 389 Following #SolutionsEngineering #technology #phDStudent #ComputerScience #BusinessProcess #FormelMethods
QONFEST2020 @qonfest2020
183 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Cristian Cadar @c_cadar
1K Followers 269 Following
SEFM Conference @sefm_conf
284 Followers 386 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
OpenIndiana @OpenIndiana
2K Followers 17 Following OpenIndiana is a community fork of the OpenSolaris operating system.
Bruno Sportisse @bsportisse
3K Followers 392 Following Chairman and CEO @Inria. Member of the European Innovation Council (@EUeic) Advisory Board. Tweets (if any) are my own.
Alastair Donaldson @afd_icl
3K Followers 428 Following Professor of Programming Languages at Imperial College London
VCLA at TU Wien @vclaTUwien
2K Followers 813 Following Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO
Patrick Lévy @PLevyGrenoble
2K Followers 129 Following PU-PH Physio UGA, CHUGA (1997-), Président UGA (2018-2019), Coordonnateur Initiative d'Excellence (2016-2021), Board EUA (2019-23), Président Fondation UGA
Sophie Azzaro @AzzaroSophie
44 Followers 74 Following chargée de communication Inria Grenoble Rhône-Alpes
JM Jezequel @jmjezequel
636 Followers 93 Following @jmjezequel.bsky.social Professor of Software Engineering, Univ Rennes, IUF, President Informatics Europe
Yliès Falcone @YliesFalcone
134 Followers 168 Following Computer Scientist - Associate Professor at Univ. Grenoble Alpes (France)
Hugues Evrard @HuguesEvrard
80 Followers 79 Following
Université Grenoble ... @UGrenobleAlpes
14K Followers 699 Following UGA : les forces réunies de l'enseignement sup. et #recherche des sites de #Grenoble et #Valence - 57 000 étudiants, 3000 doctorants, 7800 personnels.
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
G @gianlucabarbon
5 Followers 0 Following
Kim G Larsen @kglaau
351 Followers 45 Following
Ernesto Pimentel @ernestopimentel
892 Followers 767 Following Full Professor - University of Malaga.
mohamedAmine aouadhi @MohaAminAouadhi
15 Followers 167 Following engineering student (Ecole Nationale Des Sciences de l'Informatique )
Thibaud DELOBELLE @DTThibaud
119 Followers 391 Following Coach en organisation et transition numérique | Coach pour l’Incubateur des Territoires
Hernan Ponce De Leon @h_poncedeleon
404 Followers 227 Following Research Engineer @Huawei Dresden Research Center (DRC). Interested in #SoftwareVerification, #ProgrammingLanguages and #Security.
David Sanán @keridito
85 Followers 158 Following PhD by University of Málaga. Researcher@NTU (Singapore) applying formal methods on SW and HW verification.
J Christian Attiogbé @jcattiogbe
183 Followers 260 Following
Joe Armstrong @joeerl
21K Followers 514 Following Writes programs and books. Invents things. Gives talks. Fixes broken software. Hobbies: Stroking cats, playing piano, grumbling, reading, thinking.
pem @pemoreau
64 Followers 28 Following
Fabrice Kordon @fabricekordon
238 Followers 23 Following Professeur en informatique à Sorbonne Université et directeur du LIP6.
Antoine Petit @antoine_petit_
7K Followers 61 Following Président-directeur général du @CNRS - Professeur à l'Ecole Normale Supérieure de Paris-Saclay
Dirk Beyer @beyer_dirk
765 Followers 535 Following Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)
AZZARO @SofAZZARO
5 Followers 15 Following
Abderahman KRIOUILE @A_KRIOUILE
80 Followers 182 Following #Startup, #Innovation, #CEO, #founder, #Entrepreneurship, #Entrepreneur, #PhD
Fabienne Leroy @leroy_fabienne
115 Followers 1K Following
Institut Carnot LSI @Carnot_LSI
301 Followers 384 Following #Innover avec la #recherche publique dans le secteur du #numérique : @Carnot_LSI levier pour l'#innovation des entreprises
Ricardo J. Rodríguez @RicardoJRdez
2K Followers 1K Following Associate Professor @ University of Zaragoza. Researching on program binary analysis, memory forensics, and survivability.
Laura Panizo @LauraPanizo
138 Followers 351 Following
onepaperperday @onepaperperday
2K Followers 619 Following One day - one tweet - one paper about programming, cs, math or any other fun topic.
Collège de France @cdf1530
62K Followers 58 Following "Docet (omnes) omnia" 😊 Enseigner (à tous) le savoir en train de se constituer dans les #Sciences, les #Arts & #Lettres | @psl_univ
BCR ESM IAE-Metz @BCR_ESM_IAE
28 Followers 41 Following #IAE #BCR #Management #Business #Réseaux #Conférence #Stage #CV #Entretien #RH
François Taddei @FrancoisTaddei
30K Followers 17K Following #EtSiNous #IntelligenceCollective 'Apprendre au 21ème siècle' #prendresoin de #soi #autres #learningplanet @lpiparis_ @inserm @univ_paris @savantures
Juanma Murillo @juanmamuro
398 Followers 445 Following
Société informatiqu... @SocInfoFr
3K Followers 485 Following
STMicroelectronics @ST_World
48K Followers 413 Following News about #STMicroelectronics – a global #semiconductor leader serving customers across the spectrum of #electronics applications
Centre Inria de Paris @inria_paris
4K Followers 861 Following Centre @Inria, partenaire de @Sorbonne_Univ_ : les sciences et technologies du numérique en #ÎledeFrance #digitalscience #research #innovation
Marielle Stoelinga @m_stoelinga
389 Followers 236 Following Professor ICT Risk Management | Innovation | Betrokken Burger | Ongeneeslijk Optimistisch
Robert Clarisó @robertclariso
719 Followers 506 Following Computer Scientist & Lecturer at Universitat Oberta de Catalunya. Principal Investigator @ SOM Research Lab. Coordinating the AI in Education task force @ UOC.
Mdsrkhan @catchmdsrkhan
8 Followers 130 FollowingTrends for United States
82,6 B posts
6.962 posts
35 B posts
32,9 B posts
5.438 posts
19,9 B posts
1.771 posts
12,5 B posts
20,1 B posts
7.706 posts
2.071 posts
9.038 posts
3.081 posts
83 B posts
51,7 B posts
193 B posts
2.450 posts
1.894 posts
You might like
Gwen Salaün
@gwensalaun
423 Followers
Formal Methods Europe
@FormalMtds
764 Followers