Lizeth Tapia
@liz2ta
Followers
27
Following
34
Media
1
Statuses
38
Joined March 2019
Riccardo Sieve, Andrea Pferscher and Lars Dreyer presenting a Digital Twin for the Oslo Fjord at the Sustainability seminar organised by the University of Oslo
0
1
4
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
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 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
No components were hurt when discussing their informal aspects! It's always nice to do a little show-and-tell with results from our @COEMS_EU project.
0
1
4
Fantastic talk from Christel Baier at @facs_conf. Probabilistic causality in Markovian models.
0
3
3
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
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
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
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
Great presentation of Juliane Päßler, a formal model of Metacontrol #ISoLA2022, #REMARO project. Details https://t.co/9gy1iss3p5
0
3
5
ICTAC 2023 will be organised in Lima, Peru! General chair @sltarifa ! This will be a must-go conference!
0
4
17
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
The Logic of Software. A Tasting Menu of Formal Methods. Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday. https://t.co/H1X51TrqxA
1
8
25
Indeed: only 10 days to submit to FACS 2022 ⏲️- no more extensions! Your paper can be normal (16 pg), short (6 pg), or a journal-first (4 pg).
FACS 2022 - 18th International Conference on Formal Aspects of Component Software - Deadline approaching: July 18 - More details:
0
2
6
Sharing some research news about customer journey and user experience in a full day seminar dedicated to journeys - arranged by @MarkedsPartner Teaser: https://t.co/3EtC6Ta3d2
0
1
6
Customer journey and user journeys are not just buzzwords. See our latest blog article"What research can do for your customer journeys" (in Norwegian):
0
3
4
H-E-L-L-O!! @AndrzejWasowski promoting @ItnRemaro at the European Robotics Forum 2022 in Rotterdam today
0
3
13
This year's Formal Methods for Autonomous Systems with co-located with @sefm_conf in Berlin * Papers: 29th July 2022 * Workshop: 26&27th Sept 2022 Send us papers applying #FormalMethods to almost any kind of #Autonomous System Details: https://t.co/QTt0SxJqSj
#FMAS2022 #CfP
fmasworkshop.github.io
FMAS 2022 is a two-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to prese...
0
4
5