Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Registration
Authors
Code of Conduct
Diversity and Inclusion Plan
PDF Program
Proceedings
Networking
Program
Complete Program
Your Program
Overview of All Events
Co-located Events Overview
ICSE Conference
Main Conference Overview
May 25th Overview
May 26th Overview
May 27th Overview
May 28th Overview
Workshops Overview
Sponsors Exhibitions
Keynotes
Awards
Technical Track
Journal-First
Software Engineering in Practice
Software Engineering in Society
New Ideas and Emerging Results
Joint Track on Software Engineering Education and Training
Doctoral Symposium
New Faculty Symposium
Technical Briefings
Social and Networking
Culture and Sports
Panels
Filter by Day
Sun 16 May
Mon 17 May
Tue 18 May
Wed 19 May
Thu 20 May
Fri 21 May
Sat 22 May
Sun 23 May
Mon 24 May
Tue 25 May
Wed 26 May
Thu 27 May
Fri 28 May
Sat 29 May
Sun 30 May
Mon 31 May
Tue 1 Jun
Wed 2 Jun
Thu 3 Jun
Fri 4 Jun
Sat 5 Jun
Tracks
ICSE 2021
Ceremonies
Keynotes
Awards
Sponsors Exhibitions
Technical Track
Journal-First Papers
SEIP - Software Engineering in Practice
JSEET - Joint Track on Software Engineering Education and Training
SEIS - Software Engineering in Society
NIER - New Ideas and Emerging Results
DEMO - Demonstrations
SRC - ACM Student Research Competition
AE - Artifact Evaluation
Posters
Workshops
DS - Doctoral Symposium
NFS - New Faculty Symposium
Spanish Industry Case Studies
Most Influential Paper ICSE N-10
Student Volunteers
TB - Technical Briefings
Submitting to ICSE2021: Q&A
Open Science Policies
Social and Networking
Culture and Sports
Panels
Co-hosted Conferences
AST
CHASE
CHASE
CHASE
Research Papers
CHASE
Keynote
CHASE
Panel
FormaliSE
FormaliSE
FormaliSE
ICPC
ICPC
ICPC
How to Submit
ICPC
Plenary Sessions
ICPC
Research
ICPC
Early Research Achievement (ERA)
ICPC
Replications and Negative Results (RENE)
ICPC
Tool Demonstration
ICPC
Education
ICPC
Journal First
ICSSP/ICGSE
ICSSP/ICGSE
ICSSP/ICGSE
Research Papers
ICSSP/ICGSE
Experience Reports & Industry Talks
ICSSP/ICGSE
Doctoral Track
ICSSP/ICGSE
Journal-First
MOBILESoft
MOBILESoft
MOBILESoft
Plenary
MOBILESoft
Technical Papers
MOBILESoft
Tool Demos and Mobile Apps
MOBILESoft
Visions
MSR
MSR
MSR
Technical Papers
MSR
Mining Challenge
MSR
Hackathon
MSR
Shadow PC
MSR
Data Showcase
MSR
Registered Reports
MSR
Keynotes
MSR
Tutorials
MSR
FOSS Award
MSR
Awards
MSR
MIP Award
TechDebt
TechDebt
TechDebt
Technical Papers
TechDebt
Tools
Workshops
BoKSS
BotSE
CloudIntelligence
DeepTest
DeepTest
- Testing Facebook's WW Simulation System, a Cyber-Cyber Digital Twin of the Facebook WWW Platform
- Problem Solving Combining Data Science and Web Knowledge
EnCyCriS
GI
MET
Q-SE
RoSE
SEH
SER&IP
SERP4IoT
SESoS/WDES
SEthics
SoHeal
WAIN
WETSEB
Contests
SCORE
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Sponsorship
Sponsors and Supporters
Sponsorships Opportunities
Sponsors Exhibitions
Organization
ICSE 2021 Committees
Organizing Committe
Track Committees
Technical Track
Program Committee
Additional Reviewers
Journal-First Papers
SEIP - Software Engineering in Practice
JSEET - Joint Track on Software Engineering Education and Training
SEIS - Software Engineering in Society
NIER - New Ideas and Emerging Results
DEMO - Demonstrations
Program Committee
Additional Reviewers
SRC - ACM Student Research Competition
AE - Artifact Evaluation
Posters
Workshops
DS - Doctoral Symposium
NFS - New Faculty Symposium
Spanish Industry Case Studies
Most Influential Paper ICSE N-10
Student Volunteers
TB - Technical Briefings
Social and Networking
Equity, Diversity and Inclusion
Virtualization
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
AST Steering Committee
Program Committee
CHASE
Organizing Committee
Program Committee
Steering Committee
FormaliSE
Organizing Committee
Programme Committee
ICPC
Organizing Committee
Steering Committee
Most Influential Paper - Program Committee
Research
Early Research Achievement (ERA)
Replications and Negative Results (RENE)
Tool Demonstration
Education
Journal First
ICSSP/ICGSE
Organizing Committee
PC Members
Steering Committee ICSSP
Steering Committee ICGSE
Research Papers
PC Co-Chairs
Research Papers
PC Members
Experience Reports & Industry Talks
Industry Co-Chairs
Experience Reports & Industry Talks
Industry PC Members
Doctoral Track
Doctoral Symposium Co-Chairs
Doctoral Track
Doctoral Symposium PC Members
Doctoral Track
Doctoral Symposium Mentors
MOBILESoft
Organizing Committee
Technical Papers
Tool Demos and Mobile Apps
Visions
MSR
Organizing Committee
Technical Papers
Mining Challenge
Hackathon
Shadow PC
Shadow PC Advisors
Shadow PC
Shadow PC committee
Data Showcase
Registered Reports
FOSS Award
MSR Awards
MIP Award
TechDebt
Organizing Committee
Steering Committee
Technical Papers
Tools
Workshops
BoKSS
Organizing Committee
Program Committee
BotSE
Organizing Committee
Program Committee
CloudIntelligence
Steering Committee
Program Chair
Program Committee
Organizing Committee
Proceeding Chair
Publicity Chair
Web Chair
DeepTest
Organizing Committee
Program Committee
Steering Committee
EnCyCriS
Organizing Committee
Program Committee
GI
Organizing Committee
Program Committee
MET
Organizing Committee
Program Committee
Q-SE
Organizing Committee
Program Committee
RoSE
N/A - check homepage
SEH
Organizing Committee
Program Committee
SER&IP
Organizing Committee
Program Committee
SERP4IoT
Organizing Committee
Program Committee
SESoS/WDES
Organizing Committee
SEthics
Organizing Committee
Program Committee
SoHeal
Organizing Committee
Program Committee
WAIN
Organizing Committee
Program Committee
WETSEB
Organizing Committee
Program Committee
Contests
SCORE
Organizing Committee
Program Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
MIP Award Committee
Virtualisation Committee
Steering Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2021
(
series
) /
Co-located Events
/
Room information: FormaliSE Room
Venue
Co-located Events
Room name
FormaliSE Room
Room Information
No extra information available
Information for Participants
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Opening
FormaliSE
at
FormaliSE Room
13:30
20m
Social Event
Platform open for social interaction
FormaliSE
13:50
10m
Day opening
Welcome from the organisers
FormaliSE
Media Attached
14:00 - 15:00
Property and contract specification
FormaliSE
at
FormaliSE Room
14:00
30m
Talk
Methodology for Specification and Verification of High-Level Properties with MetAcsl
FormaliSE
Virgile Robles
CEA List, Software Reliability and Security Lab
,
Nikolai Kosmatov
CEA List
,
Virgile Prevosto
CEA Tech List
,
Louis Rilling
DGA Maîtrise de l'Information
,
Pascale Le Gall
CentraleSupelec
Pre-print
Media Attached
14:30
30m
Talk
How much Specification is Enough? Mutation Analysis for Software Contracts
FormaliSE
Alexander Knüppel
TU Braunschweig
,
Leon Schaer
TU Braunschweig
,
Ina Schaefer
TU Braunschweig
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 16:30
Keynote 1
FormaliSE
at
FormaliSE Room
15:30
60m
Keynote
Program Verification: a 70-Year History
FormaliSE
Moshe Vardi
Media Attached
16:30 - 17:00
Discussion
FormaliSE
at
FormaliSE Room
16:30
30m
Social Event
Platform open for social interaction
FormaliSE
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Day opening
FormaliSE
at
FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE
14:00 - 15:00
Model checking
FormaliSE
at
FormaliSE Room
14:00
30m
Talk
Formally Verified Credentials Management for Industrial Control Systems
FormaliSE
Tomas Kulik
Aarhus University
,
Jalil Boudjadar
Aarhus University
,
Diego F. Aranha
Aarhus University
Pre-print
Media Attached
14:30
30m
Talk
Improved Bounded Model Checking of Timed Automata
FormaliSE
Robert L. Smith
Politecnico di Milano
,
Marcello Bersani
Politecnico di Milano, Italy
,
Matteo Rossi
Politecnico di Milano
,
Pierluigi San Pietro
Politecnico di Milano
Pre-print
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 17:00
Program verification
FormaliSE
at
FormaliSE Room
15:30
30m
Talk
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
FormaliSE
Marie-Christine Jakobs
TU Darmstadt, Germany
Media Attached
16:00
30m
Talk
Permission-Based Verification of Red-Black Trees and Their Merging
FormaliSE
Lukas Armborst
University of Twente
,
Marieke Huisman
University of Twente
Pre-print
Media Attached
16:30
30m
Talk
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
FormaliSE
Alexander Knüppel
TU Braunschweig
,
Thomas Thüm
University of Ulm
,
Ina Schaefer
TU Braunschweig
Pre-print
Media Attached
17:00 - 17:30
Discussion
FormaliSE
at
FormaliSE Room
17:00
30m
Social Event
Platform open for social interaction
FormaliSE
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:30 - 10:00
Day opening
FormaliSE
at
FormaliSE Room
09:30
30m
Social Event
Platform open for social interaction
FormaliSE
10:00 - 11:30
Monitoring & Biological systems
FormaliSE
at
FormaliSE Room
10:00
30m
Talk
Monitoring Cumulative Non-functional Properties
FormaliSE
Omar Al Bataineh
National University of Singapore, Singapore
,
Arvind Easwaran
Nanyang Technological University
,
Daniel Jun Xian Ng
Nanyang Technological University, Singapore
Pre-print
Media Attached
10:30
30m
Talk
Feasibility of Spatial Model Checking for Nevus Segmentation
FormaliSE
Gina Belmonte
Azienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, Italy
,
Giovanna Broccia
ISTI-CNR, FMT Lab
,
Vincenzo Ciancia
Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY
,
Diego Latella
ISTI-CNR, Pisa, Italy
,
Mieke Massink
CNR-ISTI Pisa, Italy
Pre-print
Media Attached
11:00
30m
Talk
Formal characterization and efficient verification of a biological robustness property
FormaliSE
Lucia Nasti
Università di Pisa - Dipartimento di Informatica
,
Roberta Gori
University of Pisa
,
Paolo Milazzo
University of Pisa - Department of Computer Science
Pre-print
Media Attached
11:30 - 12:00
Discussion
FormaliSE
at
FormaliSE Room
11:30
30m
Social Event
Platform open for social interaction
FormaliSE
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
13:30 - 14:00
Day opening
FormaliSE
at
FormaliSE Room
13:30
30m
Social Event
Platform open for social interaction
FormaliSE
14:00 - 15:00
Keynote 2
FormaliSE
at
FormaliSE Room
14:00
60m
Keynote
Towards Formalising Sustainable Security
FormaliSE
Liliana Pasquale
University College Dublin & Lero
Media Attached
15:00 - 15:30
Break
FormaliSE
at
FormaliSE Room
15:00
30m
Social Event
Platform open for social interaction
FormaliSE
15:30 - 17:00
“North American East Coast”
FormaliSE
at
FormaliSE Room
15:30
30m
Talk
Runtime Verification Under Access Restrictions
FormaliSE
Rania Taleb
PhD student
,
Raphael Khoury
Université du Québec à Chicoutimi, Canada
,
Sylvain Hallé
Université du Québec à Chicoutimi
Pre-print
Media Attached
16:00
30m
Talk
Quantifying Faultiness: What Does It Mean to Have N Faults
FormaliSE
Besma Khaireddine
FST
,
Ali Mili
NJIT
Media Attached
16:30
30m
Talk
Checking temporal patterns of API usage without code execution
FormaliSE
Erick Raelijohn
University of Montreal
,
Michalis Famelis
Université de Montréal
,
Houari Sahraoui
Université de Montréal
Media Attached
17:00 - 17:30
Discussion
FormaliSE
at
FormaliSE Room
17:00
30m
Social Event
Platform open for social interaction
FormaliSE
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
FormaliSE Room
FormaliSE
Opening
FormaliSE
Property and contract specification
FormaliSE
Break
FormaliSE
Keynote 1
FormaliSE
Discussion
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Model checking
FormaliSE
Break
FormaliSE
Program verification
FormaliSE
Discussion
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Monitoring & Biological systems
FormaliSE
Discussion
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
FormaliSE Room
FormaliSE
Day opening
FormaliSE
Keynote 2
FormaliSE
Break
FormaliSE
“North American East Coast”
FormaliSE
Discussion
Tue 18 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 13:50
FormaliSE
Welcome from the organisers
13:50 - 14:00
FormaliSE
Methodology for Specification and Verification of High-Level Properties ...
14:00 - 14:30
FormaliSE
How much Specification is Enough? Mutation Analysis for Software Contracts
14:30 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
Program Verification: a 70-Year History
15:30 - 16:30
FormaliSE
Platform open for social interaction
16:30 - 17:00
Wed 19 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 14:00
FormaliSE
Formally Verified Credentials Management for Industrial Control Systems
14:00 - 14:30
FormaliSE
Improved Bounded Model Checking of Timed Automata
14:30 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
15:30 - 16:00
FormaliSE
Permission-Based Verification of Red-Black Trees and Their Merging
16:00 - 16:30
FormaliSE
GUIDO: Automated Guidance for the Configuration of Deductive Program Ve ...
16:30 - 17:00
FormaliSE
Platform open for social interaction
17:00 - 17:30
Thu 20 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
09:30 - 10:00
FormaliSE
Monitoring Cumulative Non-functional Properties
10:00 - 10:30
FormaliSE
Feasibility of Spatial Model Checking for Nevus Segmentation
10:30 - 11:00
FormaliSE
Formal characterization and efficient verification of a biological robu ...
11:00 - 11:30
FormaliSE
Platform open for social interaction
11:30 - 12:00
Fri 21 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
FormaliSE Room
FormaliSE
Platform open for social interaction
13:30 - 14:00
FormaliSE
Towards Formalising Sustainable Security
14:00 - 15:00
FormaliSE
Platform open for social interaction
15:00 - 15:30
FormaliSE
Runtime Verification Under Access Restrictions
15:30 - 16:00
FormaliSE
Quantifying Faultiness: What Does It Mean to Have N Faults
16:00 - 16:30
FormaliSE
Checking temporal patterns of API usage without code execution
16:30 - 17:00
FormaliSE
Platform open for social interaction
17:00 - 17:30
Information for Participants
Tue 18 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Property and contract specification
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 15:30 - 16:30 at
FormaliSE Room
-
Keynote 1
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Tue 18 May 2021 16:30 - 17:00 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Model checking
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 15:30 - 17:00 at
FormaliSE Room
-
Program verification
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Wed 19 May 2021 17:00 - 17:30 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 09:30 - 10:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 10:00 - 11:30 at
FormaliSE Room
-
Monitoring & Biological systems
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Thu 20 May 2021 11:30 - 12:00 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 13:30 - 14:00 at
FormaliSE Room
-
Day opening
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 14:00 - 15:00 at
FormaliSE Room
-
Keynote 2
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 15:00 - 15:30 at
FormaliSE Room
-
Break
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 15:30 - 17:00 at
FormaliSE Room
-
“North American East Coast”
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
Information for Participants
Fri 21 May 2021 17:00 - 17:30 at
FormaliSE Room
-
Discussion
Info for room
FormaliSE Room
:
Go directly to this room on
Clowdr
x
Tue 15 Oct 03:04