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

Wed 19 May

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

23:00 - 23:30
23:00
30m
Meeting
Mentoring circle led by Joanne M. Atlee
ICSE Social and Networking
Joanne M. Atlee University of Waterloo

Fri 21 May

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

15:00 - 15:30
15:00
30m
Meeting
Mentoring circle led by Alexander Serebrenik
ICSE Social and Networking
Alexander Serebrenik Eindhoven University of Technology

Tue 25 May

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

14:45 - 15:15
14:45
30m
Panel
COST Action Network on Gender Balance
ICSE Social and Networking
Barbora Buhnova Masaryk University, Letizia Jaccheri Norwegian University of Science and Technology
Media Attached

Wed 26 May

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

10:45 - 11:15
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Abhik Roychoudhury National University of Singapore
10:45
30m
Meeting
Mentoring circle led by Abhik Roychoudhury
ICSE Social and Networking
Abhik Roychoudhury National University of Singapore
15:30 - 16:00
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Jonathan Bell Northeastern University
15:30
30m
Meeting
Mentoring circle led by Jonathan Bell
ICSE Social and Networking
Jonathan Bell Northeastern University
22:45 - 23:15
22:45
30m
Panel
COST Action Network on Gender Balance
ICSE Social and Networking
Barbora Buhnova Masaryk University, Letizia Jaccheri Norwegian University of Science and Technology
Media Attached

Thu 27 May

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

03:30 - 04:00
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Gail Murphy University of British Columbia
03:30
30m
Meeting
Mentoring circle led by Gail Murphy
ICSE Social and Networking
Gail Murphy University of British Columbia
06:15 - 06:45
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Tao Xie Peking University
06:15
30m
Meeting
Mentoring circle led by Tao Xie
ICSE Social and Networking
Tao Xie Peking University
14:30 - 15:00
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Patricia Lago Vrije Universiteit Amsterdam
14:30
30m
Meeting
Mentoring circle led by Patricia Lago
ICSE Social and Networking
Patricia Lago Vrije Universiteit Amsterdam
18:45 - 19:15
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Thomas Zimmermann Microsoft Research
18:45
30m
Meeting
Mentoring circle led by Thomas Zimmermann
ICSE Social and Networking
Thomas Zimmermann Microsoft Research

Fri 28 May

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

06:45 - 07:15
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Julia Rubin University of British Columbia, Canada
06:45
30m
Meeting
Mentoring circle led by Julia Rubin
ICSE Social and Networking
Julia Rubin University of British Columbia, Canada
10:55 - 11:25
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Lars Grunske Humboldt University of Berlin
10:55
30m
Meeting
Mentoring circle led by Lars Grunske
ICSE Social and Networking
Lars Grunske Humboldt University of Berlin
14:30 - 15:00
Mentoring circleICSE Social and Networking at Networking and Culture Room 2
Chair(s): Diomidis Spinellis Athens University of Economics and Business & TU Delft
14:30
30m
Meeting
Mentoring circle led by Diomidis Spinellis
ICSE Social and Networking
Diomidis Spinellis Athens University of Economics and Business & TU Delft
16:05 - 16:35
16:05
30m
Panel
Meet ICPC!
ICSE Social and Networking

Mon 31 May

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

20:00 - 20:30
20:00
30m
Meeting
Mentoring circle led by Arie van Deursen
ICSE Social and Networking
Arie van Deursen Delft University of Technology, Netherlands

Thu 3 Jun

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

01:00 - 01:30
01:00
30m
Meeting
Mentoring circle led by John Grundy
ICSE Social and Networking
John Grundy Monash University

Wed 19 May

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

Fri 21 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

Mon 31 May

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

Thu 3 Jun

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

Wed 19 May

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

Fri 21 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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Networking and Culture Room 2

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 and Culture Room 2

Fri 28 May

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

Mon 31 May

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

Thu 3 Jun

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