Program - ICSE 2020

Write a Blog >>

ICSE 2020

Wed 24 June - Thu 16 July 2020

Attending
Sponsorship
Program
Tracks
Organization
Search
Series
- Series
- ICSE 2025
- ICSE 2024
- ICSE 2023
- ICSE 2022
- ICSE 2021
- ICSE 2020
- ICSE 2019
- * ICSE 2018 *

ICSE 2020 (series) / FormaliSE 2020 (series) /

FormaliSE 2020 Program

This is the FormaliSE 2020 program - see the full program for ICSE 2020 and all affiliated events.

Detailed Table Session Timeline Detailed Timeline

Switch Program View

You're viewing a filtered program.

Do you want to keep these filters active in the new view?

Get Calendar (iCal)

Filter Program

Dates

Rooms

Tracks

Badges

Your Program

Program Display Configuration

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change

07:00 - 09:00	Session 1: Keynote and Q+A of paper presentationsFormaliSE at Goguryeo

07:00 60m Talk		SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers FormaliSE K: Shahar Maoz Tel Aviv University
08:00 60m Live Q&A		Q&A to authors of pre-recorded paper presentations FormaliSE

15:00 - 17:00	Session 2: Keynote and Q+A of paper presentationsFormaliSE at Goguryeo

15:00 60m Talk		On the Probabilistic Analysis of Neural Networks FormaliSE K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
16:00 60m Live Q&A		Q&A to authors of pre-recorded paper presentations FormaliSE

Get Calendar (iCal)

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format

Session Calendar (ical)

session-calendar.ics

Detailed Event Calendar (ical)

event-calendar.ics

xThu 25 Apr 15:35

ICSE 2020 Secretariat
#401, Meorijae Bldg., 76, Bangbae-ro, Seocho-gu Seoul
Tel.: +82-42-472-7460
Fax.: +82-42-472-7459
E-mail: icse2020@icse2020.org
Copyright (c) ICSE 2020 All Rights Reserved.
Business Registration Number: 114-82-03170

Terms & Conditions /
Privacy Policy

FormaliSE 2020 Program

Switch Program View

Program Display Configuration

Mon 13 JulDisplayed time zone: (UTC) Coordinated Universal Time change

Get Calendar (iCal)

Mon 13 Jul
Displayed time zone: (UTC) Coordinated Universal Time change