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

14:45 - 15:15
19:00 - 19:30
ICSE is runningICSE Culture and Sports at Networking and Culture Room 3 +12h
Chair(s): Luís Cruz Deflt University of Technology, Ayushi Rastogi University of Groningen, The Netherlands
19:00
30m
Social Event
ICSE is running (part 1)
ICSE Culture and Sports

Media Attached

Wed 26 May

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

07:00 - 07:30
07:00
30m
Social Event
ICSE is running (part 1)
ICSE Culture and Sports

Media Attached
10:45 - 11:15
18:15 - 18:45
Bookable EventICSE Social and Networking at Networking and Culture Room 3 +12h
Chair(s): Antonio Martini University of Oslo, Norway
18:15
30m
Panel
You might be studying technical debt and not know it
ICSE Social and Networking
Carolyn Seaman University of Maryland Baltimore County, Ipek Ozkaya Carnegie Mellon Software Engineering Institute, Eoin Woods Endava
Media Attached

Thu 27 May

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

06:15 - 06:45
06:15
30m
Panel
You might be studying technical debt and not know it
ICSE Social and Networking
Carolyn Seaman University of Maryland Baltimore County, Ipek Ozkaya Carnegie Mellon Software Engineering Institute, Eoin Woods Endava
Media Attached
14:30 - 15:00
Bookable EventICSE Social and Networking at Networking and Culture Room 3
Chair(s): Paris Avgeriou University of Groningen, The Netherlands
14:30
30m
Other
Europe Needs Strong Software Research
ICSE Social and Networking
Alexander Serebrenik Eindhoven University of Technology, Jurgen Vinju CWI, Netherlands, Marieke Huisman University of Twente
18:45 - 19:15
LGBTIQ Community MeetingsICSE Social and Networking at Networking and Culture Room 3
Chair(s): Andrew Begel Microsoft Research

Lesbian, Gay, Bisexual, Transgender, Intersexual, and Questioning (LGBTIQ) researchers and practitioners primarily come to software engineering conferences to discuss technical aspects of their work with the research community. But we are people, too, whose rights and safety are sometimes affected by the political climate. At this year’s group meeting, LBGTIQ researchers, practitioners, and friends are invited to speak together to build community. We will also discuss how we fit in with our academic, industry, and governmental institutions, the current political climate around the world, and what we can do to help make all software engineering conferences and workshops to be safe and welcoming spaces for LBGTIQ members of the Software Engineering research community.

18:45
30m
Meeting
LGBTIQ+ Group Meeting
ICSE Social and Networking

20:15 - 20:45

Fri 28 May

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

12:30 - 13:00
ICSE is runningICSE Culture and Sports at Networking and Culture Room 3 +12h
Chair(s): Luís Cruz Deflt University of Technology, Ayushi Rastogi University of Groningen, The Netherlands
Go directly to this room on Clowdr

Fun at #ICSE21isrunning

12:30
30m
Social Event
ICSE is running (part 2)
ICSE Culture and Sports

Media Attached
16:05 - 16:35

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

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Networking and Culture Room 3

Thu 27 May

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

Room6:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Networking and Culture Room 3

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