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

11:30 - 12:00
Meet your peersICSE Social and Networking at Networking Shuffle Room

In this series of speed networking events, ICSE participants can meet their (more) senior colleagues working on similar aspects of software engineering research.

11:30
30m
Meeting
Meet your peers: Human aspects
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: AI and software engineering (AI for SE, SE for AI)
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: Testing
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: Program analysis
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: Open (any topic)
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: Software evolution and maintenance
ICSE Social and Networking

11:30
30m
Meeting
Meet your peers: Requirements, design, modeling
ICSE Social and Networking

19:00 - 19:30
19:00
30m
Meeting
Speed networking: Hablamos español
ICSE Social and Networking

23:30 - 00:00
Meet your peersICSE Social and Networking at Networking Shuffle Room

In this series of speed networking events, ICSE participants can meet their (more) senior colleagues working on similar aspects of software engineering research. Join and select one of the speed networking events

23:30
30m
Meeting
Meet your peers: Software evolution and maintenance
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: Open (any topic)
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: AI and software engineering (AI for SE, SE for AI)
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: Testing
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: Requirements, design, modeling
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: Program analysis
ICSE Social and Networking

23:30
30m
Meeting
Meet your peers: Human aspects
ICSE Social and Networking

Wed 26 May

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

15:30 - 16:00
15:30
30m
Meeting
Meet your peers: Postdoctoral researchers
ICSE Social and Networking

15:30
30m
Meeting
Meet your peers: PhD students
ICSE Social and Networking

15:30
30m
Meeting
Meet your peers: Faculty
ICSE Social and Networking

Thu 27 May

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

03:30 - 04:00
Meet your peersICSE Social and Networking at Networking Shuffle Room

In this series of speed networking events, ICSE participants can meet their academic peers. Join and select one of the speed networking events. Please note that CLOWDR calls the speed networking events “shuffle spaces”.

03:30
30m
Meeting
Meet your peers: Postdoctoral researchers
ICSE Social and Networking

03:30
30m
Meeting
Meet your peers: Faculty
ICSE Social and Networking

03:30
30m
Meeting
Meet your peers: PhD students
ICSE Social and Networking

20:15 - 20:45
20:15
30m
Meeting
Blacks in Software Engineering: Speed Networking
ICSE Social and Networking

20:15
30m
Meeting
Women in Software Engineering Speed Networking
ICSE Social and Networking

20:15
30m
Meeting
LGBTIQ+ Speed Networking
ICSE Social and Networking
Andrew Begel Microsoft Research

Fri 28 May

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

12:30 - 13:00
12:30
30m
Meeting
Meet your peers: We love other pets
ICSE Social and Networking

12:30
30m
Meeting
Meet your peers: No pets
ICSE Social and Networking

12:30
30m
Meeting
Meet your peers: We love dogs
ICSE Social and Networking

12:30
30m
Meeting
Meet your peers: We love cats
ICSE Social and Networking

Sat 29 May

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

00:30 - 01:00
00:30
30m
Meeting
Meet your peers: No pets
ICSE Social and Networking

00:30
30m
Meeting
Meet your peers: We love other pets
ICSE Social and Networking

00:30
30m
Meeting
Meet your peers: We love dogs
ICSE Social and Networking

00:30
30m
Meeting
Meet your peers: We love cats
ICSE Social and Networking

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

Room2:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:0030
Networking Shuffle Room

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

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

Room3:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:00153045
Networking Shuffle Room

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