Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room nameTB Room
Room InformationNo extra information available
Program

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 TechnologiesICSE 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
Media Attached
19:35 - 21:50
Hands-On Session on the Development of Trustworthy AI softwareICSE 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
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 TechnologiesICSE 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
Media Attached
07:35 - 09:50
Hands-On Session on the Development of Trustworthy AI softwareICSE 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
Media Attached
14:30 - 16:45
Reactive Synthesis with Spectra: A TutorialICSE 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 TutorialICSE 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 EngineeringICSE 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 EngineeringICSE 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 EngineeringICSE 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 EngineeringICSE 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 SummarizationICSE 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 SmartChatbotsICSE 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 SummarizationICSE 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 SmartChatbotsICSE 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

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sat 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room2:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
TB Room

Fri 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:00153045
TB Room

Sat 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change