Program for Wednesday, January 13th: Session View

LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING

Overview Organization Invited Speakers/Papers Accepted Papers Proceedings CFP Sponsors PROGRAM AUTHORS KEYWORDS SLIDES

PROGRAM FOR WEDNESDAY, JANUARY 13TH: SESSION VIEW

Days:

View: with abstracts talk overview

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

16:00-17:15

Invited Talk and Breakout (CET Time)

17:15-18:15

Logic and Synthesis (CET Time)

17:15-18:15

Verification and Induction (CET Time)

18:15-19:30

Breakout, Invited Talk and LPAR-23 Closing (CET Time)

Disclaimer | Powered by EasyChair Smart Program