Lizeth Tapia
@sltarifa
Followers
35
Following
76
Media
7
Statuses
68
Joined September 2021
PhD position: formal methods for digital twins at Univ. of Oslo. Do you like logic and #formalmethods, but also software engineering and programming? Join interdisciplinary project on #digitaltwins to study effects of #climatechange on ecosystems. #phd
0
9
11
Check the FACS 2022 proceedings (part of the @facs_conf series)
0
2
1
Congratulations @Arpit_Sharma_CS and @das_susmoy for your paper, recognized by the PC of FACS as the best one of 2022! 👏
Happy and excited to share that our paper (with @das_susmoy) titled "Embeddings Between State and Action Based Probabilistic Logics" has been selected as the best paper at @facs_conf. We would like to thank the organizing committee and the PC for appreciating this line of work
0
3
6
Happy and excited to share that our paper (with @das_susmoy) titled "Embeddings Between State and Action Based Probabilistic Logics" has been selected as the best paper at @facs_conf. We would like to thank the organizing committee and the PC for appreciating this line of work
1
2
11
Fantastic talk from Christel Baier at @facs_conf. Probabilistic causality in Markovian models.
0
3
3
Great presentation today from @fm_volker at @facs_conf! Hardware-Components for Runtime Monitoring.
0
0
4
FACS 2022 will start tomorrow morning online! You can still attend it even if you did not register yet - check out the great program 👇 https://t.co/66dCiCowox
0
1
3
Great talk of Renato Neves at @facs_conf, Semantics for Hybrid Components - Categorical Tools and Techniques. Check the program https://t.co/vJXm40UHvC
0
2
2
Great keynotes by Renato Neves and Ina Schaefer! 👏 We soon start our last session of today, also on Modelling & Verification, chaired by Olga Kouchnarenko. Don't miss it! 👀 All links are in our website:
facs-conference.github.io
18th International Conference on Formal Aspects of Component Software, 10-11 November 2022, Oslo, Norway (online)
0
2
4
Great talk of Ina Schaefer at @facs_conf today! Correctness-by-Construction Engineering - Can we build better software? We are online, check our program https://t.co/vJXm41cQJK
0
2
2
FACS 2022 will start tomorrow morning online! You can still attend it even if you did not register yet - check out the great program 👇 https://t.co/66dCiCowox
facs-conference.github.io
18th International Conference on Formal Aspects of Component Software, 10-11 November 2022, Oslo, Norway (online)
0
4
5
Registration is open, and we already have +60 registered attendees! Join our virtual event in ±2 weeks 👇
facs-conference.github.io
18th International Conference on Formal Aspects of Component Software, 10-11 November 2022, Oslo, Norway (online)
0
4
6
Big congrats to Paul Kobialka, @sltarifa, and @fmannhardt for the EdbA 2022 Best Paper Award! Very well deserved! Preprint of the paper "Building User Journey Games from Multi-party Event Logs" coming up soon. @SJM_project #edba22 #icpm22
0
6
15
Very happy that we received this recognition for the work driven by Paul and the result of him visiting @PAGroupTUe. (He should create a Twitter account now 😉)
Big congrats to Paul Kobialka, @sltarifa, and @fmannhardt for the EdbA 2022 Best Paper Award! Very well deserved! Preprint of the paper "Building User Journey Games from Multi-party Event Logs" coming up soon. @SJM_project #edba22 #icpm22
0
3
19
My social media team is not failing me. Presenting our work at ISoLA'22 on "A Notion of Equivalence for Refactoring with Abstract Execution" https://t.co/noyFapL6IU. 1/n
2
1
7
Juliane Paßler presented her work on formalizing Metacontrol at ISoLA 2022 today! Very nice talk, Juliane! Work with @chcorbato @sltarifa @ItnRemaro
1
4
9
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins presented by Eduard Kamburjan #ISoLA2022. Details at https://t.co/96jpCyVVXh
0
0
2
Digital Twin Reconfiguration Using Asset Models presented by Eduard Kamburjan #ISoLA2022. Details at https://t.co/MlQNmZYqYv
0
1
3
Great presentation of Juliane Päßler, a formal model of Metacontrol #ISoLA2022, #REMARO project. Details https://t.co/9gy1iss3p5
0
3
5
We have 13 great accepted papers at FACS 2022, and expect 13 great corresponding talks! Congratulations to all the authors! 👏 Check them out:
facs-conference.github.io
18th International Conference on Formal Aspects of Component Software, 10-11 November 2022, Oslo, Norway (online)
0
3
10