|
|
|
Size
|
TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering
|
Jonathan Bowen |
Thu, 25 Jan 2024 11:27:45 +0000 |
490 lines |
Call for Papers - QUATIC 2024
|
Giovanna Broccia |
Fri, 19 Jan 2024 10:37:08 +0100 |
350 lines |
FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun
|
Luigia Petre |
Fri, 19 Jan 2024 09:04:17 +0000 |
380 lines |
Call for Satellite Events (Workshops / Tutorials): DisCoTec 2024
|
Bas van den Heuvel |
Wed, 17 Jan 2024 11:53:02 +0100 |
155 lines |
Formal Methods Europe afternoon talk on February 1
|
FME Secretary |
Wed, 17 Jan 2024 10:18:33 +0100 |
64 lines |
2nd CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024)
|
Saverio Giallorenzo |
Fri, 12 Jan 2024 16:23:42 +0100 |
548 lines |
IJCAR 2024: Final Call for Papers
|
Peter Lammich |
Fri, 12 Jan 2024 00:07:46 +0100 |
361 lines |