QUARC: Towards an Efficient Hybrid System for Bounded Model Checking (QP 2023 - The First International Workshop on the Art, Science, and Engineering of Quantum Programming)

Mon 13 - Fri 17 March 2023 Tokyo, Japan

Who

Christoph Kirsch, Stefanie Muroya Lei

Track

QP 2023

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

When

Tue 14 Mar 2023 11:00 - 11:30 at Faculty of Engineering Building 6, Seminar Room C - First paper session Chair(s): Shaukat Ali

Christoph Kirsch

University of Salzburg; Czech Technical University

Austria

Stefanie Muroya Lei

Institute of Science and Technology in Austria

Peru