[Hol-info] *New Extended FIRM Deadline* - IEEE WETICE 2020

2020-03-12 Thread Stefano Forti
= IEEE WETICE 2020 29th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises 10-12 June 2020, Basque Coast - Bayonne, France Website:

[Hol-info] MARKTOBERDORF SUMMER SCHOOL 2020: CALL FOR PARTICIPATION

2020-03-12 Thread Pretschner, Alexander
CALL FOR PARTICIPATION MARKTOBERDORF INTERNATIONAL SUMMER SCHOOL ON ENGINEERING SECURE AND DEPENDABLE SOFTWARE SYSTEMS July 29th-August 7th, 2020, Marktoberdorf, Germany http://marktoberdorf.fortiss.org Sponsored by Amazon Web Services, https://aws.amazon.com/de/ Organized by fortiss,

[Hol-info] PAAR 2020 CFP - 7th Workshop on Practical Aspects of Automated Reasoning

2020-03-12 Thread geoff
** PAAR-2020: 7TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING