Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
Complete Program
Your Program
Tue 18 May
Wed 19 May
Thu 20 May
Fri 21 May
Track/Call
Organization
FormaliSE 2021 Committees
Track Committees
Organizing Committee
Programme Committee
Contributors
People Index
Search
Series
Series
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2021
(
series
) /
FormaliSE 2021
(
series
) /
Main Conference
/
Room information: TB Room
Venue
Main Conference
Room name
TB Room
Room Information
No extra information available
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 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:00 - 16:15
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Xavier Franch
Universitat Politècnica de Catalunya
15:00
75m
Tutorial
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
Technical Briefings
ICSE TB - Technical Briefings
Alessio Ferrari
CNR-ISTI
,
Liping Zhao
,
Waad Alhoshan
Media Attached
19:35 - 21:50
Hands-On Session on the Development of Trustworthy AI software
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Grace Lewis
Carnegie Mellon Software Engineering Institute
19:35
2h15m
Tutorial
Hands-On Session on the Development of Trustworthy AI software
Technical Briefings
ICSE TB - Technical Briefings
Ville Vakkuri
,
Kai-Kristian Kemell
,
Pekka Abrahamsson
University of Jyväskylä
Media Attached
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:00 - 04:15
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
ICSE TB - Technical Briefings
at
TB Room
03:00
75m
Tutorial
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
Technical Briefings
ICSE TB - Technical Briefings
Alessio Ferrari
CNR-ISTI
,
Liping Zhao
,
Waad Alhoshan
Media Attached
07:35 - 09:50
Hands-On Session on the Development of Trustworthy AI software
ICSE TB - Technical Briefings
at
TB Room
07:35
2h15m
Tutorial
Hands-On Session on the Development of Trustworthy AI software
Technical Briefings
ICSE TB - Technical Briefings
Ville Vakkuri
,
Kai-Kristian Kemell
,
Pekka Abrahamsson
University of Jyväskylä
Media Attached
14:30 - 16:45
Reactive Synthesis with Spectra: A Tutorial
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Xavier Franch
Universitat Politècnica de Catalunya
14:30
2h15m
Tutorial
Reactive Synthesis with Spectra: A Tutorial
Technical Briefings
ICSE TB - Technical Briefings
Shahar Maoz
Tel Aviv University, Israel
,
Jan Oliver Ringert
University of Leicester
Media Attached
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
02:30 - 04:45
Reactive Synthesis with Spectra: A Tutorial
ICSE TB - Technical Briefings
at
TB Room
02:30
2h15m
Tutorial
Reactive Synthesis with Spectra: A Tutorial
Technical Briefings
ICSE TB - Technical Briefings
Shahar Maoz
Tel Aviv University, Israel
,
Jan Oliver Ringert
University of Leicester
Media Attached
10:00 - 11:15
Decoding Grounded Theory for Software Engineering
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Xavier Franch
Universitat Politècnica de Catalunya
10:00
75m
Tutorial
Decoding Grounded Theory for Software Engineering
Technical Briefings
ICSE TB - Technical Briefings
Rashina Hoda
Monash University
Media Attached
19:20 - 21:10
Bayesian Data Analysis for Software Engineering
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Grace Lewis
Carnegie Mellon Software Engineering Institute
19:20
1h50m
Tutorial
Bayesian Data Analysis for Software Engineering
Technical Briefings
ICSE TB - Technical Briefings
Richard Torkar
Chalmers and the University of Gothenburg
,
Carlo A. Furia
Università della Svizzera italiana (USI)
,
Robert Feldt
Chalmers University of Technology, Sweden
Media Attached
22:00 - 23:15
Decoding Grounded Theory for Software Engineering
ICSE TB - Technical Briefings
at
TB Room
22:00
75m
Tutorial
Decoding Grounded Theory for Software Engineering
Technical Briefings
ICSE TB - Technical Briefings
Rashina Hoda
Monash University
Media Attached
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
07:20 - 09:10
Bayesian Data Analysis for Software Engineering
ICSE TB - Technical Briefings
at
TB Room
07:20
1h50m
Tutorial
Bayesian Data Analysis for Software Engineering
Technical Briefings
ICSE TB - Technical Briefings
Richard Torkar
Chalmers and the University of Gothenburg
,
Carlo A. Furia
Università della Svizzera italiana (USI)
,
Robert Feldt
Chalmers University of Technology, Sweden
Media Attached
11:10 - 13:00
Advances in Code Summarization
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Xavier Franch
Universitat Politècnica de Catalunya
11:10
1h50m
Tutorial
Advances in Code Summarization
Technical Briefings
ICSE TB - Technical Briefings
Utkarsh Desai
IBM Research Labs
,
Giriprasad Sridhara
IBM Research Labs
,
Srikanth Tamilselvam
IBM Research Labs
Media Attached
15:05 - 17:20
The Software Challenges of Building SmartChatbots
ICSE TB - Technical Briefings
at
TB Room
+12h
Chair(s):
Grace Lewis
Carnegie Mellon Software Engineering Institute
15:05
2h15m
Tutorial
The Software Challenges of Building SmartChatbots
Technical Briefings
ICSE TB - Technical Briefings
Gwendal Daniel
Universitat Oberta de Catalunya
,
Jordi Cabot
ICREA - UOC
Media Attached
23:10 - 01:00
Advances in Code Summarization
ICSE TB - Technical Briefings
at
TB Room
23:10
1h50m
Tutorial
Advances in Code Summarization
Technical Briefings
ICSE TB - Technical Briefings
Utkarsh Desai
IBM Research Labs
,
Giriprasad Sridhara
IBM Research Labs
,
Srikanth Tamilselvam
IBM Research Labs
Media Attached
Sat 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
03:05 - 05:20
The Software Challenges of Building SmartChatbots
ICSE TB - Technical Briefings
at
TB Room
03:05
2h15m
Tutorial
The Software Challenges of Building SmartChatbots
Technical Briefings
ICSE TB - Technical Briefings
Gwendal Daniel
Universitat Oberta de Catalunya
,
Jordi Cabot
ICREA - UOC
Media Attached
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
TB Room
ICSE TB - Technical Briefings
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
ICSE TB - Technical Briefings
Hands-On Session on the Development of Trustworthy AI software
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
TB Room
ICSE TB - Technical Briefings
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technologies
ICSE TB - Technical Briefings
Hands-On Session on the Development of Trustworthy AI software
ICSE TB - Technical Briefings
Reactive Synthesis with Spectra: A Tutorial
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
TB Room
ICSE TB - Technical Briefings
Reactive Synthesis with Spectra: A Tutorial
ICSE TB - Technical Briefings
Decoding Grounded Theory for Software Engineering
ICSE TB - Technical Briefings
Bayesian Data Analysis for Software Engineering
ICSE TB - Technical Briefings
Decoding Grounded Theory for Software Engineering
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
0:00
30
TB Room
ICSE TB - Technical Briefings
Bayesian Data Analysis for Software Engineering
ICSE TB - Technical Briefings
Advances in Code Summarization
ICSE TB - Technical Briefings
The Software Challenges of Building SmartChatbots
ICSE TB - Technical Briefings
Advances in Code Summarization
Sat 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
30
4:00
30
5:00
30
TB Room
ICSE TB - Technical Briefings
The Software Challenges of Building SmartChatbots
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
TB Room
ICSE TB - Technical Briefings
Technical Briefings
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technol ...
15:00 - 16:15
ICSE TB - Technical Briefings
Technical Briefings
Hands-On Session on the Development of Trustworthy AI software
19:35 - 21:50
Wed 26 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
TB Room
ICSE TB - Technical Briefings
Technical Briefings
NLP for Requirements Engineering: Tasks, Techniques, Tools, and Technol ...
03:00 - 04:15
ICSE TB - Technical Briefings
Technical Briefings
Hands-On Session on the Development of Trustworthy AI software
07:35 - 09:50
ICSE TB - Technical Briefings
Technical Briefings
Reactive Synthesis with Spectra: A Tutorial
14:30 - 16:45
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
TB Room
ICSE TB - Technical Briefings
Technical Briefings
Reactive Synthesis with Spectra: A Tutorial
02:30 - 04:45
ICSE TB - Technical Briefings
Technical Briefings
Decoding Grounded Theory for Software Engineering
10:00 - 11:15
ICSE TB - Technical Briefings
Technical Briefings
Bayesian Data Analysis for Software Engineering
19:20 - 21:10
ICSE TB - Technical Briefings
Technical Briefings
Decoding Grounded Theory for Software Engineering
22:00 - 23:15
Fri 28 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
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
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
0:00
15
30
45
TB Room
ICSE TB - Technical Briefings
Technical Briefings
Bayesian Data Analysis for Software Engineering
07:20 - 09:10
ICSE TB - Technical Briefings
Technical Briefings
Advances in Code Summarization
11:10 - 13:00
ICSE TB - Technical Briefings
Technical Briefings
The Software Challenges of Building SmartChatbots
15:05 - 17:20
ICSE TB - Technical Briefings
Technical Briefings
Advances in Code Summarization
23:10 - 01:00
Sat 29 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
TB Room
ICSE TB - Technical Briefings
Technical Briefings
The Software Challenges of Building SmartChatbots
03:05 - 05:20
x
Fri 8 Nov 22:53