Davide Ancona @davideancona68
My favorite hashtag is #vortex person.dibris.unige.it/ancona-davide/ Genoa, Liguria Joined December 2014-
Tweets59
-
Followers36
-
Following33
-
Likes12
The submission deadlines of #vortex VORTEX '24 have been extended to July 1st AoE (abstract) and July 8th AoE (paper)
if you are interested in corecursion, you might have a look at our new TCS paper "Checking equivalence of corecursive streams: An inductive procedure" with Pietro Barbieri and Elena Zucca. doi.org/10.1016/j.tcs.…
I am very glad to confirm that the VORTEX24 proceedings will be published in the ACM Digital Library. conf.researchr.org/home/issta-eco…
Interested in submitting to the 7th Workshop on Verification and Monitoring at Runtime Execution and attending ECOOP/ISSTA24 in Vienna? The deadline is June 24, 2024 don't miss it! conf.researchr.org/home/issta-eco…
You might want to have a look at our paper recently published on TCS authors.elsevier.com/c/1hbwx15DaIEg…
VORTEX submission deadline has been extended to *May 22* conf.researchr.org/track/ecoop-is…
While we are reviewing the second round of submissions, we invite you to look at the list of accepted papers at #ECOOP23 in the first round: 2023.ecoop.org/track/ecoop-20… Congrats to the authors! 🎊 Many thanks to our PC and AEC! 😀
VORTEX 2023 call for papers: conf.researchr.org/track/vortex-2…
📢 We are happy to announce that ECOOP/ISSTA 2023 will feature the following exciting workshops: 🔸 FTfJP 🔸 FUZZING 🔸 VORTEX 🔸 ICOOOLPS 🔸 DEBT 👇🏼 2023.ecoop.org/track/ecoop-is…
CORE, (the peak body for Australasian Computer Science academics) invites submissions from the community to ensure conference rankings are kept up to date. People willing to volunteer can fill in the Expression of Interest at forms.gle/8uXxuBED7nq6wf…
Dahl-Nygaard Prizes 2023: please contribute by sending your nominations by December 15, more details at sites.google.com/aito.org/home/…
A PhD position is open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of Smart Contract Verification. The title of the position is: "Formal Verification of Blockchain Applications" chalmers.se/en/about-chalm…
the 5th edition of the workshop on runtime monitoring and verification (VORTEX 2022) will take place in Berlin, June 6 2022.ecoop.org/home/vortex-20…
The JOT special issue including the workshop #VORTEX 2021 on runtime monitoring and verification is now available at jot.fm/contents/issue…
Call for Papers: VORTEX 2022, Workshop co-located with #ECOOP22, Berlin International Workshop on Verification and mOnitoring at Runtime EXecution (2022.ecoop.org/home/vortex-20…) Submission deadline extended: Apr 24, 2022 AoE
New upgrade of the #RML compiler: 'null' values are supported to match events, Gradle upgraded to 7.0
Call for Papers: VORTEX 2022, Workshop co-located with ECOOP 2022, Berlin International Workshop on Verification and mOnitoring at Runtime EXecution (2022.ecoop.org/home/vortex-20…) Submission deadline: Apr 18, 2022
At ECOOP we see reviews as collaborations. Papers that are not accepted/rejected outright will be given suggestions for improvements and should be resubmitted in subsequent rounds with the same reviewers attached. Our goal is to gradually improve everyone's work 💪🏼
VORTEX 2021, online Workshop at ECOOP/ISSTA 2021, Monday 12 July International Workshop on Verification and mOnitoring at Runtime EXecution (conf.researchr.org/track/ecoop-is…) CfP available at vortex2021.github.io/cfp.txt
"RML: Theory and practice of a domain specific language for runtime verification", new journal paper available at authors.elsevier.com/a/1cP%7ELc7X4-…
Marc Jansen @jansen_marc
3K Followers 2K Following Passionate software developer and blockchain enthusiast!
Nicolás Cardozo @ncardoz
361 Followers 363 Following Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
jcenzo.bsky.social @wise_jenna
721 Followers 476 Following Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.
Michele Chiari @micchiari
50 Followers 238 Following
Avana @AnavaAvana
4 Followers 129 Following La saison des pluies n'était pas sèche pour la marche et la saison sèche n'était pas humide pour le travail.
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Amir @Amir_Mashmool
789 Followers 2K Following Doctoral Researcher in SE | Uni of Bremen | interested in Software Engineering, Program Comprehension, Empirical Software Engineering and related topics.
Rafael H. Bordini @rhbordini
167 Followers 333 Following I'm a computer scientist, my research area is multi-agent systems.
alessioferrari @alessferra
552 Followers 667 Following
A and V Network @AandVNetwork
609 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
David Poxon @olsnacky
330 Followers 176 Following Software engineer @Workday, program analysis researcher and PhD candidate @QUT
Colin Gordon of Masto... @csgordon
1K Followers 3K Following CS prof at Drexel. (He/him). Now mostly on Mastodon at @[email protected] and @[email protected] and @[email protected]
Jorge A. Pérez @PerezJorgeA_
312 Followers 498 Following Fundamental Computing (https://t.co/A74tQNfab9) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)
Programming Group @prg_grp
155 Followers 97 Following Programming Group at the University of St.Gallen - School of Computer Science Prof. Guido Salvaneschi
ECOOP’24 Conference @ECOOPconf
1K Followers 110 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
tosem @acm_tosem
2K Followers 830 Following
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
Informatica UniGe @InfUNIGE
294 Followers 94 Following Corsi di Laurea in Informatica - Università di Genova, Genova, Italia
Angelo @strapeppia
2 Followers 21 Following
Artur Ortega @DesignedByBlind
2K Followers 5K Following 🦯🦮 Software Architect 🇵🇹🇩🇪🇬🇧 speaks 🇪🇸🇫🇷🇮🇹 @designedbyblind.bsky.social 🩺@babylonhealth📰@TheEconomist📰@Telegraph 🔎@Yell 🗄@Yahoo 📰@dpa
RuntimeMonitoringLang... @RuntimeMLang
7 Followers 2 Following Runtime Monitoring Language is a system agnostic domain specific language for runtime monitoring and verification
Andrea Rosà @andrearosa89
14 Followers 38 Following Postdoctoral Researcher, Università della Svizzera italiana
Philipp Haller @philippkhaller
1K Followers 263 Following Associate professor of computer science at KTH Royal Institute of Technology.
Andrea Stocco @tsigalko18
1K Followers 801 Following Software Engineering research @TU_Muenchen + @fortiss 🇩🇪 | prev. @usisoftware 🇨🇭| @UBC 🇨🇦 | PhD @InfUNIGE 🇮🇹 | exchange @TallinnTech @unitartu 🇪🇪
Nick Papoulias @npapoylias
442 Followers 4K Following Programming Languages & Tools, AI, Simulation, Reflection, Debugging. Director of Research 🚀 Bringing the Future Back !
Manuel Rigger @RiggerManuel
3K Followers 2K Following https://t.co/xCKR0xa6W1 Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Alex Rothuis @ARothuis
607 Followers 2K Following He / him. Freelance software developer, consultant and trainer. Master of Laws and code. Bluesky: @arothuis.nl
Coen De Roover @CoenDeRoover
2K Followers 2K Following Professor @ Software Languages Lab - Vrije Universiteit Brussel. Program, repository & ecosystem analysis, concolic testing, software quality, tools.
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Tobias @krono
430 Followers 449 Following • digitalisat • Erdenkloß • my hovercraft is full of eels • ⁊c.
‹Programming› 202... @programmingconf
1K Followers 143 Following This account is currently inactive. Please follow us on our other socal media accounts.
Guido Salvaneschi @guidosalva
752 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Nicolás Cardozo @ncardoz
361 Followers 363 Following Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
jcenzo.bsky.social @wise_jenna
721 Followers 476 Following Assistant Professor in @PurdueECE, @purdue_pl. PhD in Software Engineering from @S3DatCMU, @CarnegieMellon. She/her. https://t.co/P6YWIgpbb9.
Michele Chiari @micchiari
50 Followers 238 Following
Silvia Bonfanti @SilviaBG_IT
74 Followers 110 Following Research associate - RTD-A at University of Bergamo
Marie Farrell @farrell_marie
167 Followers 281 Following Royal Academy of Engineering Research Fellow at The University of Manchester
Antonis Achilleos @AntonisAchille2
1 Followers 15 Following
Angelo Ferrando @Peppia42
12 Followers 18 Following
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Ferruccio Damiani @fdamiani68
105 Followers 138 Following Full Professor at the Department of Computer Science, University of Turin
Martin Leucker @ISPMartin
30 Followers 21 Following
Klaus Havelund @havelund
82 Followers 67 Following Senior Research Scientist at Jet Propulsion Laboratory
Kristin Yvonne Rozier @kyrozier
15 Followers 7 Following pushing the limits of the Possible to the Heights of Dreams
Wolfgang De Meuter @wdmeuter
181 Followers 127 Following
Guido Salvaneschi @guidosalva
752 Followers 433 Following Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
J Object Technology @jotfm
528 Followers 229 Following JOT is a peer-reviewed, open-access journal dedicated to the timely publication of articles on all aspects of software and language engineering.
Andrea Stocco @tsigalko18
1K Followers 801 Following Software Engineering research @TU_Muenchen + @fortiss 🇩🇪 | prev. @usisoftware 🇨🇭| @UBC 🇨🇦 | PhD @InfUNIGE 🇮🇹 | exchange @TallinnTech @unitartu 🇪🇪
ECOOP’24 Conference @ECOOPconf
1K Followers 110 Following European Conference on Object-Oriented Programming Practical and theoretical investigations of programming languages, systems and environments #ECOOP24
tosem @acm_tosem
2K Followers 830 Following
Association for Compu... @TheOfficialACM
72K Followers 3K Following The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Fabrizio Montesi ⬣ ... @famontesi
661 Followers 500 Following Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices
Università di Genova @UniGenova
7K Followers 102 Following Profilo ufficiale dell'Università di Genova
Mog Genova @GenovaMog
45 Followers 0 Following Il Mercato Orientale di Genova si rinnova, nei prossimi mesi aprirà MOG contenitore gastronomico/culturale delle tipicità liguri, ma non solo!
RuntimeMonitoringLang... @RuntimeMLang
7 Followers 2 Following Runtime Monitoring Language is a system agnostic domain specific language for runtime monitoring and verification
NGPS track at SAC @NgpsTrack
3 Followers 0 Following The Next Generation Programming Paradigms and Systems track seeks to advance the state-of-the-art and the state-of-the-practice of complex modern systems.
Informatica UniGe @InfUNIGE
294 Followers 94 Following Corsi di Laurea in Informatica - Università di Genova, Genova, Italia
‹Programming› 202... @programmingconf
1K Followers 143 Following This account is currently inactive. Please follow us on our other socal media accounts.
ACM SAC 2018 @ACMSAC_2018
32 Followers 0 Following
Museo Luzzati @MuseoLuzzati
1K Followers 961 Following Mostre tematiche su opere di Emanuele Luzzati e dei più importanti protagonisti di arti come illustrazione, cinema d’animazione, scenografia, design, fumetto.
Crozza Meraviglie @CrozzaTweet
1.1M Followers 67 Following CROZZA NEL PAESE DELLE MERAVIGLIE, dal 26 FEBBRAIO ogni venerdì sera in diretta alle 21.10 su La7 #crozzameraviglie
Repubblica @repubblica
3.7M Followers 404 Following Notizie in tempo reale, dall'Italia e dal mondo, 24 ore su 24Trends for United States
You might like
