IM CAS logic seminar

External homepage

logic

Audience: Researchers in the topic
Seminar series time: Monday 15:00-16:30 in your time zone, UTC
Organizer: Neil Thapen*
*contact for this listing
Upcoming talks
Past talks
Your timeSpeakerTitle
MonDec 1215:00Ján PichTowards P != NP from Extended Frege lower bounds
Embed this schedule
Export series to