Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room namePlenary 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

10:00 - 10:30
CeremonyICSE Ceremonies at Plenary Room +12h
Chair(s): Natalia Juristo Universidad Politecnica de Madrid, Tao Xie Peking University, Arie van Deursen Delft University of Technology, Netherlands
10:00
30m
Other
Opening CeremonyLive during the mirror!
ICSE Ceremonies

Media Attached
13:45 - 14:00
Awards Announcement 1ICSE Awards at Plenary Room +12h
Chair(s): Arie van Deursen Delft University of Technology, Netherlands, Tao Xie Peking University, George Eleftherakis University of York at Thessaloniki
13:45
15m
Awards
ICSE Technical Track & ACM Europe Council AwardsAwards
ICSE Awards

Pre-print
14:00 - 15:15
ICSE KeynotesICSE Keynotes at Plenary Room +12h
Chair(s): Arie van Deursen Delft University of Technology, Netherlands
14:00
30m
Keynote
Dario Gil's Keynote: What’s Next in Software Keynote
ICSE Keynotes
Dario Gil IBM Research, USA
Media Attached
14:30
15m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

14:45
30m
Social Event
Meet Dario Gil
ICSE Keynotes

17:50 - 18:00
Awards Announcement 2ICSE Awards at Plenary Room +12h
Chair(s): Thomas Zimmermann Microsoft Research

The ACM SIGSOFT Outstanding Research Award Lecture is delivered jointly with Prem Devanbu’s Keynote. Please refer to the Keynote program for details.

17:50
10m
Awards
ACM SIGSOFT Outstanding Research AwardAwards
ICSE Awards
Prem Devanbu Department of Computer Science, University of California, Davis
18:00 - 19:30
ICSE KeynotesICSE Keynotes at Plenary Room +12h
Chair(s): Thomas Zimmermann Microsoft Research
18:00
30m
Keynote
Prem Devanbu's Keynote and Outstanding Award Lecture: "Naturalness and Bimodality of Code: A Research Overview" KeynoteACM SIGSOFT Outstanding Research AwardAwards
ICSE Keynotes
Prem Devanbu Department of Computer Science, University of California, Davis
Media Attached
18:30
30m
Social Event
Meet Prem DevanbuLive during the mirror!
ICSE Keynotes

19:00
30m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

22:00 - 22:30
CeremonyICSE Ceremonies at Plenary Room
The opening will be live during the mirror.
22:00
30m
Other
Opening CeremonyLive during the mirror!
ICSE Ceremonies

Media Attached

Wed 26 May

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

01:45 - 02:00
Awards Announcement 1ICSE Awards at Plenary Room
01:45
15m
Awards
ICSE Technical Track & ACM Europe Council AwardsAwards
ICSE Awards

Pre-print
02:00 - 03:15
ICSE KeynotesICSE Keynotes at Plenary Room

The Meet Dario Gil activity will not happen during the mirroring.

02:00
30m
Keynote
Dario Gil's Keynote: What’s Next in Software Keynote
ICSE Keynotes
Dario Gil IBM Research, USA
Media Attached
02:30
15m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

02:45
30m
Social Event
Meet Dario Gil
ICSE Keynotes

05:50 - 06:00
Awards Announcement 2ICSE Awards at Plenary Room

The ACM SIGSOFT Outstanding Research Award Lecture is delivered jointly with Prem Devanbu’s Keynote. Please refer to the Keynote program for details.

05:50
10m
Awards
ACM SIGSOFT Outstanding Research AwardAwards
ICSE Awards
Prem Devanbu Department of Computer Science, University of California, Davis
06:00 - 07:30
ICSE KeynotesICSE Keynotes at Plenary Room
Prem Devanbu will be present live in the Meet Prem Devanbu activity during the mirror.
07:00
30m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

10:00 - 11:15
ICSE KeynotesICSE Keynotes at Plenary Room +12h
Chair(s): Tao Xie Peking University
10:00
25m
Keynote
Michael Lyu's Keynote: "Reliability-Driven AIOps for Cloud Resilience" Keynote
ICSE Keynotes
Michael Lyu The Chinese University of Hong Kong
Media Attached
10:25
25m
Social Event
Meet Michael Lyu
ICSE Keynotes

10:50
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

17:20 - 17:30
Awards Announcement 3ICSE Awards at Plenary Room +12h
Chair(s): Thomas Zimmermann Microsoft Research
17:20
10m
Awards
Other ACM SIGSOFT AwardsAwards
ICSE Awards

17:30 - 18:45
ICSE KeynotesICSE Keynotes at Plenary Room +12h
Chair(s): Oscar Dieste Universidad Politécnica de Madrid
17:30
25m
Keynote
Elaine Weyuker's Keynote: "The View From 40 Years in the Research Trenches - From Academia to Industry and Back Again" Keynote
ICSE Keynotes
Elaine Weyuker University of Central Florida
Media Attached
17:55
25m
Social Event
Meet Elaine Weyuker
ICSE Keynotes

18:20
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

22:00 - 23:15
ICSE KeynotesICSE Keynotes at Plenary Room

The Meet Michael Lyu activity will not happen during the mirroring.

22:50
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

Thu 27 May

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

05:20 - 05:30
Awards Announcement 3ICSE Awards at Plenary Room
05:20
10m
Awards
Other ACM SIGSOFT AwardsAwards
ICSE Awards

05:30 - 06:45
ICSE KeynotesICSE Keynotes at Plenary Room

The Meet Elaine Weyuker activity will not happen during the mirroring.

06:20
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

13:35 - 13:45
Awards Announcement 4ICSE Awards at Plenary Room +12h
Chair(s): Nenad Medvidović University of Southern California, USA, Harald Gall University of Zurich, Switzerland
13:35
10m
Awards
ICSE 2011 Most Influential Paper AwardAwards
ICSE Awards
Lionel Briand University of Luxembourg and University of Ottawa, Andrea Arcuri Kristiania University College and Oslo Metropolitan University
13:45 - 15:00
ICSE 2011 Most Influential Paper Award LectureICSE Awards at Plenary Room +12h
Chair(s): Harald Gall University of Zurich, Switzerland, Nenad Medvidović University of Southern California, USA
13:45
30m
Awards
Award Lecture: A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering ICSE 2011 Most Influential Paper AwardAwards
ICSE Awards
Lionel Briand University of Luxembourg and University of Ottawa, Andrea Arcuri Kristiania University College and Oslo Metropolitan University
Media Attached
14:15
15m
Live Q&A
Questions and Answers
ICSE Awards

14:30
30m
Social Event
Meet Andrea Arcuri & Lionel Briand
ICSE Awards

17:50 - 18:00
Awards Announcement 5ICSE Awards at Plenary Room +12h
Chair(s): Antonia Bertolino CNR-ISTI
17:50
10m
Awards
Other ICSE AwardsAwards
ICSE Awards

18:00 - 19:15
ICSE KeynotesICSE Keynotes at Plenary Room +12h
Chair(s): Gail Murphy University of British Columbia
18:00
25m
Keynote
Jeannette Wing's Keynote: "Data for Good: Ensuring the Responsible Use of Data to Benefit Society" Keynote
ICSE Keynotes
Jeannette Wing Columbia University
Media Attached
18:25
25m
Social Event
Meet Jeannette Wing
ICSE Keynotes

18:50
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

Fri 28 May

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

01:35 - 01:45
Awards Announcement 4ICSE Awards at Plenary Room
01:35
10m
Awards
ICSE 2011 Most Influential Paper AwardAwards
ICSE Awards
Lionel Briand University of Luxembourg and University of Ottawa, Andrea Arcuri Kristiania University College and Oslo Metropolitan University
01:45 - 03:00
ICSE 2011 Most Influential Paper Award LectureICSE Awards at Plenary Room

The Meet Andrea Arcuri & Lionel Briand activity will not happen during the mirroring.

01:45
30m
Awards
Award Lecture: A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering ICSE 2011 Most Influential Paper AwardAwards
ICSE Awards
Lionel Briand University of Luxembourg and University of Ottawa, Andrea Arcuri Kristiania University College and Oslo Metropolitan University
Media Attached
02:15
15m
Live Q&A
Questions and Answers
ICSE Awards

02:30
30m
Social Event
Meet Andrea Arcuri & Lionel Briand
ICSE Awards

05:50 - 06:00
Awards Announcement 5ICSE Awards at Plenary Room
05:50
10m
Awards
Other ICSE AwardsAwards
ICSE Awards

06:00 - 07:15
ICSE KeynotesICSE Keynotes at Plenary Room

The Meet Jeannette Wing activity will not happen during the mirroring.

06:50
25m
Live Q&A
Questions and Answers (included in the keynote video)
ICSE Keynotes

13:35 - 13:45
Awards Announcement 6ICSE Awards at Plenary Room +12h
Chair(s): Forrest Shull Software Engineering Institute
13:35
10m
Awards
IEEE TCSE Harlan Mills AwardAwards
ICSE Awards
Dieter Rombach Technischen Universität Kaiserslautern
13:45 - 15:00
IEEE TCSE Harlan Mills Award LectureICSE Awards at Plenary Room +12h
Chair(s): Forrest Shull Software Engineering Institute
13:45
30m
Awards
Award Lecture: Software Engineering - Theory for Practice IEEE TCSE Harlan Mills AwardAwards
ICSE Awards
Dieter Rombach Technischen Universität Kaiserslautern
Media Attached
14:15
15m
Live Q&A
Questions and Answers
ICSE Awards

14:30
30m
Social Event
Meet Dieter Rombach
ICSE Awards

18:20 - 18:30
Awards Announcement 7ICSE Awards at Plenary Room +12h
Chair(s): Rick Kazman University of Hawai‘i at Mānoa
18:20
10m
Awards
Other IEEE TCSE AwardsAwards
ICSE Awards

18:30 - 19:30
CeremonyICSE Ceremonies at Plenary Room +12h
Chair(s): Rick Kazman University of Hawai‘i at Mānoa, Thomas Zimmermann Microsoft Research
18:30
60m
Other
Town Hall
ICSE Ceremonies

Media Attached
21:05 - 21:20
Awards Announcement 8ICSE Awards at Plenary Room +12h
Chair(s): Sarah Beecham Lero - The Irish Software Research Centre and University of Limerick, Fabio Calefato University of Bari, Aurora Ramírez University of Córdoba, Sergio Segura Universidad de Sevilla, Igor Steinmacher Northern Arizona University, USA
21:05
15m
Awards
SRC & SCORE AwardsAwards
ICSE Awards

21:20 - 21:45
CeremonyICSE Ceremonies at Plenary Room +12h
Chair(s): Natalia Juristo Universidad Politecnica de Madrid, Laurie Williams North Carolina State University
21:20
25m
Other
Closing Ceremony
ICSE Ceremonies

Media Attached

Sat 29 May

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

01:35 - 01:45
Awards Announcement 6ICSE Awards at Plenary Room
01:35
10m
Awards
IEEE TCSE Harlan Mills AwardAwards
ICSE Awards
Dieter Rombach Technischen Universität Kaiserslautern
01:45 - 03:00
IEEE TCSE Harlan Mills Award LectureICSE Awards at Plenary Room

The Meet Dieter Rombach activity will not happen during the mirroring.

01:45
30m
Awards
Award Lecture: Software Engineering - Theory for Practice IEEE TCSE Harlan Mills AwardAwards
ICSE Awards
Dieter Rombach Technischen Universität Kaiserslautern
Media Attached
02:15
15m
Live Q&A
Questions and Answers
ICSE Awards

02:30
30m
Social Event
Meet Dieter Rombach
ICSE Awards

06:20 - 06:30
Awards Announcement 7ICSE Awards at Plenary Room
06:20
10m
Awards
Other IEEE TCSE AwardsAwards
ICSE Awards

06:30 - 07:30
06:30
60m
Other
Town Hall
ICSE Ceremonies

Media Attached
09:05 - 09:20
Awards Announcement 8ICSE Awards at Plenary Room
09:05
15m
Awards
SRC & SCORE AwardsAwards
ICSE Awards

09:20 - 09:45
09:20
25m
Other
Closing Ceremony
ICSE Ceremonies

Media Attached

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

Sat 29 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