dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

Interactive Proofs

  • Start Date: September 19, 2018
  • Event Start Time: 12:15 PM
  • Event End Time: 1:15 PM
  • Seminar Series: Graduate Combinatorics Seminar
  • Presenter(s): Justin Semonsen - Rutgers University
  • Event Location: Mathematics Graduate Student Lounge -- 7th Floor | Rutgers University | Hill Center | Mathematics Department
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    What is a proof? What is a proof to a computer? In this talk, we will develop a number of ways to prove whether two graphs are isomorphic or not, and thereby explore the power and limitations of interactive proofs.