DataMod - From Data to Models and Back 2023 @Data2ModelsBack
11th International Symposium #FromDataToModelsAndBack | combined applications of #ComputationalModelling & #DataDrivenTechniques | workshop @sefm2023 datamod2023.github.io Eindhoven Joined January 2019-
Tweets88
-
Followers51
-
Following44
-
Likes91
🥁🥁🥁The symposium program is now online @ datamod2023.github.io #DataMod2023 will include 2 keynote speakers, 8 accepted papers and joined sessions with #openCERT and #CIFMA We can't wait to listen to all!
🥁🥁🥁We are pleased to announce our first invited speaker Carmen Bratosin from TNO - Netherlands Organization for Applied Scientific Research #DataMod23 All info can be found online at datamod2023.github.io
The submission deadline is approaching. Did you get your manuscript ready? #CFP #DataMod23 important dates: 📑Paper submission: 8 September 2023 📬Acceptance notification: 6 October 2023 🤝Symposium: 6-7 November 2023 More details @ datamod2023.github.io
📣📣📣The first Call for Papers for #DataMod23 is out! Papers are due September 8th! For further details check our website @ datamod2023.github.io
🎉We are pleased to announce that #DataMod23 will be co-located with @sefm_conf and it will take place at #Eindhoven on 6/7 November 2023! Check our website @ datamod2023.github.io for further info!
We are pleased to announce our invited speaker @AndreaVandin from @SantAnnaPisa & DTU Technical University of Denmark You can find all the information @ datamod2021.github.io #DATAMOD2021 #SEFM2021
This year, we celebrate the 10th edition of DataMod: International Symposium from Data to Models and Back🎉 DataMod2021 is co-located with the 19th International Conference on Software Engineering and Formal Methods. Visit our website for more info datamod2021.github.io
⚠️⚠️⚠️Deadline for #datamod2021 full and short papers is close! 🗓️Abstract submission deadline: 24 September 2021 🗓️Paper submission deadline: 1 October 2021 Check our website @ datamod2021.github.io for further info!
#DATAMOD2020 will start in about 10 minutes!
We are pleased to announce our invited speaker Michael Vinov from @IBMResearch You can find all the information @ datamod2020.github.io #DATAMOD2020 #CIKM2020
Only 5 days left until #DATAMOD2020 We are looking forward to listening to you all ⏳ #DATAMOD2020 #CIKM2020
🥁🥁🥁The list of accepted papers and the #DATAMOD2020 schedule is now online @ datamod2020.github.io The program this year consists of 1 invited speaker 11 accepted papers 4 presentation reports We can't wait to listen to all! #DATAMOD2020 #CIKM2020
⚠️⚠️⚠️ Deadline extension for submitting your work to #DATAMOD2020 🔴 Submission Deadline: 28 August 2020 Check our website @ datamod2020.github.io for further info!
#DATAMOD2020 is now online @ datamod2020.github.io Take a look at this space for upcoming news and the updated submission deadlines!
We are pleased to announce that #DATAMOD2020 has been accepted as a workshop @cikm2020 and it will be held fully online!
. @OanaMAndrei presented at #DataMod19 her recent work on “Interpreting #ProbabilisticModels of #SocialGroupInteractions in Meetings” joint work w/ @murraygabriel #SmallGroupInteraction #ComputationalSocialScience #MarkovRewardModels #ProbabilisticModelCehcking @formalmethods19
Albese Demjaha presenting her work at #DataMod19 on “Economics-driven behaviour intervention support in organizations” joint work with Simon Parkin and David Pym @formalmethods19 #HumanCentredInformationSecurity #SecurityModelling #DecisionMaking @uclcs @turinginst
Paolo Milazzo presenting his work on “Predicting #Robustness of #BiochemicalPathways through #MachineLearning on Graphs” joint with Pasquale Bove, Alessio Micheli, and Marco Podda @formalmethods19 @DI_Unipisa
Sathya Bursic presenting his #DataMod19 paper “Anomaly Detection From Log Files Using #UnsupervisedDeepLearning” joint work with Alessandro D'Amelio and Vittorio Cuculo @vcuculo @phuselab #LogAnomalyDetection
Michela Natilli presenting her #DataMod19 paper “Analysis and Visualization of Performance Indicators in #UniversityAdmissionTests” joint work with Salvatore Rinzivillo, Dino Pedreschi, Daniele Fadda and Federica Licari @kdd_lab #FormalMethods19 #SequentialPatternMining
Deauleeth @deauleeth40339
10 Followers 897 Following Follow me, maybe it's the beginning of our fate, we can talk
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Gwen Salaün @gwensalaun
423 Followers 376 Following Professor of Computer Science, @UGrenobleAlpes, France
Arpit Sharma @Arpit_Sharma_CS
110 Followers 146 Following Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Jacob Sharma @jacob_shar91695
18 Followers 197 Following
Formal Methods Europe @FormalMtds
758 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Tushar p @TusharP54358344
135 Followers 2K Following
Alireza Farhadi @AlirezaTCS
53 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
Davide Basile @davidebasile
52 Followers 176 Following Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab
Grzegorz Wierzowiecki... @GWierzowiecki
434 Followers 2K Following #DLT#AppSec.#Rust.#Wasm.#Reliabilty.#Engieering.Algorithmican.Unix(incl. Linux).Vegan.#Privacy.#FreeSoftware.Security.#Spiritual
FMASWorkshop @FmasWorkshop
538 Followers 1K Following Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck
Federico Mari @_Federico_Mari
122 Followers 261 Following Associate Professor #uniroma4 #ModelChecking-based algorithms&tools for verification&synthesis of #MissionCritical #SafetyCritical #CyberPhysicalSystems.
Nicholas Poole OBE Ho... @NickPoole1
18K Followers 6K Following Chief Executive of @UK_ie. NOTE: This account will be inactive from the end of September 2024. Please connect on LinkedIn
ben @ceecmm
0 Followers 1K Following
giovanni sileno @gsil... @gsileno
338 Followers 1K Following researcher in a broader sense. currently working on automated regulatory systems. interested in artificial/natural cognition, social constructions and dynamics.
CIKM2020 @cikm2020
792 Followers 255 Following 29th Conference in Information and Knowledge Management 19-23 October 2020 #online #cikm2020
GERMAN.tw 🇦🇷 @germanbraun
618 Followers 3K Following My opinions are just mine 🇺🇸🇧🇷🇦🇹🇸🇸🇪🇸🇫🇷🇨🇱🇨🇺🇩🇴🇮🇹🏴🇩🇪🇨🇭
QONFEST2020 @qonfest2020
184 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Giuseppe Boccignone @gboccignone
209 Followers 561 Following Full Professor @LaStatale and @phuselab Director #probabilistic and #stochastic #models for #ComputerVision, #perceptual and #affectivecomputing
Ele • she/her/ella @Hele92443388
62 Followers 1K Following Politics • CJS • Foreign Policy • HRTech • SHRM • CUPA-HR • Counterterrorism • Counterintelligence • DEI • ICAirport •Aviation
Valério Medeiros Jr @valerio_jr
41 Followers 57 Following Currently, I am teaching in Federal Institute of Rio Grande do Norte (IFRN).
Riccardo Guidotti @rikdrive8s
190 Followers 86 Following
Min-Hsien (Sam) Weng @samminweng
87 Followers 356 Following CS PhD | Skilled Software Engineering with a growing passion for applying machine learning in Computational Fluid Dynamics (CFD), LLM to complex problems
Formal Methods 2026 @FMsymp
660 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
Podkulachnik @rainbowlesions
616 Followers 5K Following mulch on the front lawn of communicative rationality | 👨🏻💻 electric braining | my legs hurt from chasing ben franklin I need patience
Peter Gjøl Jensen @petergjoel
155 Followers 516 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
Daniele Fadda @faddadaniele
323 Followers 930 Following
Vittorio Cuculo @vcuculo
287 Followers 330 Following Assistant Prof. at AImageLab @UNIMORE_univ. Former at @phuselab @LaStatale. Human visual attention, remote physiological measurements and affective computing.
Taylor T Johnson @taylorjohnson
660 Followers 4K Following Safe & trustworthy AI & autonomy, Associate Professor @Vanderbilt_CS @ECEVanderbilt @verivital @VUEngineering @VanderbiltU, Alum @ECEIllinois & @RiceECE
Matteo Camilli @matteocamilli
271 Followers 545 Following Associate professor @ Politecnico di Milano | software engineering | software verification | software testing
chinaggd @chinaggd2
16 Followers 222 Following
PHuSe Lab @phuselab
76 Followers 36 Following Perceptual computing and Human Sensing Lab at Computer Science dept. @LaStatale
FAACS 2025 @faacs_ws
129 Followers 154 Following Workshop series on Formal Approaches for Advanced Computing Systems #FAACS24
Leif Azzopardi @leifos
2K Followers 893 Following Scientist, Educator & Academic. Researching and measuring how people use agents. Author of https://t.co/JqaUzI59IG Opinions are my own.
S4 Programme Grant @S4programme
63 Followers 39 Following S4 is an @EPSRC programme grant working on a unifying science for smarter sensor based systems. Tweets by @OanaMAndrei.
Blair Archibald @Blair_Archibald
504 Followers 1K Following Computing Science lecturer and SSI Fellow at the University of Glasgow
FormaliSE @FormaliSEconf
392 Followers 95 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
Formal Methods at Gla... @FormalMethodsGU
373 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
nathalie cauchi @nath_margaret
55 Followers 177 Following DPhil Computer Science, @ox_cav @CompSciOxford
SEFM Conference @sefm_conf
284 Followers 386 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
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
OxCAV @Ox_CAV
239 Followers 359 Following The Oxford Control and Verification (OxCAV) group is part of the Department of Computer Science at the University of Oxford led by Prof. Alessandro Abate.
FMT Lab ISTI CNR @fmt_lab
28 Followers 296 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
CIKM2020 @cikm2020
792 Followers 255 Following 29th Conference in Information and Knowledge Management 19-23 October 2020 #online #cikm2020
PHuSe Lab @phuselab
76 Followers 36 Following Perceptual computing and Human Sensing Lab at Computer Science dept. @LaStatale
Antoine Coutrot / mov... @antoine_coutrot
826 Followers 464 Following @CNRS researcher. Cognitive science, human behaviour modelling and citizen science.
Daniele Fadda @faddadaniele
323 Followers 930 Following
Peter Gjøl Jensen @petergjoel
155 Followers 517 Following Universal toolmaker at @aautech, preaching the gospel of Formal Methods.
Vittorio Cuculo @vcuculo
287 Followers 330 Following Assistant Prof. at AImageLab @UNIMORE_univ. Former at @phuselab @LaStatale. Human visual attention, remote physiological measurements and affective computing.
FAACS 2025 @faacs_ws
129 Followers 154 Following Workshop series on Formal Approaches for Advanced Computing Systems #FAACS24
UofG Computing Scienc... @GlasgowCS
2K Followers 349 Following School of Computing Science at the University of Glasgow @UofGlasgow
Dino Pedreschi @DinoPedreschi
2K Followers 1K Following Professor at University of Pisa. Big Data Analytics & Social Mining. Mobility & Social Networks. Privacy & AI Ethics. Human-centered AI. https://t.co/DTbJB5E0wt
MODELS Conference @modelsconf
2K Followers 93 Following ACM / IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS). Official hashtag: #MODELSconf25
Peter Gorm Larsen @PeterGormLarsen
181 Followers 36 Following Professor at Aarhus University, Department of Engineering, heading software engineering. Prime interests include VDM, tool support and industrial applications.
Einar Broch Johnsen @ebjohnsen
561 Followers 470 Following Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]
Kim G Larsen @kglaau
350 Followers 45 Following
DisCoTec Conference @DisCoTecConf
183 Followers 351 Following DisCoTec gathers conferences and workshops that cover a broad spectrum of distributed computing subjects.
nathalie cauchi @nath_margaret
55 Followers 177 Following DPhil Computer Science, @ox_cav @CompSciOxford
Blair Archibald @Blair_Archibald
504 Followers 1K Following Computing Science lecturer and SSI Fellow at the University of Glasgow
FormaliSE @FormaliSEconf
392 Followers 95 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
Eun-Young Kang @Eun_Young_Kang
87 Followers 87 Following Assoc. Prof. University of Southern Denmark @SyddanskUniv Software Engineering; Model-Based Design & Analysis; Cyber-Physical Systems; Verification & Validation
ICTAC2019 @ictac2019
18 Followers 1 Following
ifm19 @ifm2019
4 Followers 0 Following 15th Intl. Conf. on integrated Formal Methods 4.-6. December 2019 Bergen, Norway
Formal Methods at Gla... @FormalMethodsGU
373 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
hscc-conference @hscc_conference
318 Followers 131 Following 27th ACM International Conference on Hybrid Systems: Computation and Control - HSCC 2024, Hong-Kong, 14-16 May 2024 Paper deadline: October 31, 2023
Alexandra Silva @alexandra8silva
2K Followers 868 Following Computer scientist, loves traveling and food tasting!
Gwen Salaün @gwensalaun
423 Followers 376 Following Professor of Computer Science, @UGrenobleAlpes, France
ETAPS Conferences (no... @ETAPSconf
346 Followers 51 Following We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Mirco Musolesi @mircomusolesi
3K Followers 998 Following Professor of Computer Science. Machine Intelligence Lab, @AI_UCL, @UCLCS, @UCL. Artificial Intelligence | Machine Learning | Computing | Books
Giulio Caravagna @gcaravagna
1K Followers 739 Following Associate Professor & Cancer Data Scientist. I run the Cancer Data Science Laboratory at @UniTrieste, Italy. Opinions are my own.
Paolo Manuel Masci @paolomasci
13 Followers 3 Following
José C. Campos @jccampos
99 Followers 194 Following Father of three and husband of one. Resigned but proud owner of a cat and a dog. Private chauffeur, mostly. Academic in the spare time.
Leif Azzopardi @leifos
2K Followers 893 Following Scientist, Educator & Academic. Researching and measuring how people use agents. Author of https://t.co/JqaUzI59IG Opinions are my own.
KDD Lab Pisa @kdd_lab
747 Followers 150 Following The Knowledge Discovery and Data Mining Laboratory is a joint research initiative by ISTI Institute of CNR and the @DI_Unipisa of @Unipisa
Anna Monreale @annamonreale
226 Followers 77 Following
Riccardo Guidotti @rikdrive8s
190 Followers 86 Following
SICSA Scotland @SICSA_Scotland
3K Followers 965 Following SICSA promotes international excellence in University-led research, education, and knowledge exchange for Scottish Informatics and Computer Science
SEFM Conference @sefm_conf
284 Followers 386 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
Oana Andrei @OanaMAndrei
579 Followers 973 Following Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
S4 Programme Grant @S4programme
63 Followers 39 Following S4 is an @EPSRC programme grant working on a unifying science for smarter sensor based systems. Tweets by @OanaMAndrei.
OxCAV @Ox_CAV
239 Followers 359 Following The Oxford Control and Verification (OxCAV) group is part of the Department of Computer Science at the University of Oxford led by Prof. Alessandro Abate.
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
Formal Methods Europe @FormalMtds
758 Followers 241 Following Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Formal Methods 2026 @FMsymp
660 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026Trends for United States
You might like
