THIS SITE

Information for

Events

Tuesday, May 22, 2018 — 2:00 PM EDT

Marijn Heule, Research Assistant Professor
University of Texas at Austin

Progress in satisfiability (SAT) solving has enabled answering long-standing open questions in mathematics completely automatically, resulting in clever though potentially gigantic proofs. We illustrate the success of this approach by presenting the solution of the Boolean Pythagorean triples problem. We also produced and validated a proof of the solution, which has been called the "largest math proof ever." 

Wednesday, May 23, 2018 — 3:30 PM EDT
photo of Professor Joe Mitchell

Joe Mitchell
Department of Applied Mathematics and Statistics
State University of New York at Stony Brook 

Thursday, May 24, 2018 — 2:00 PM EDT

Xiao-Bo Li, PhD candidate
David R. Cheriton School of Computer Science

Monday, May 28, 2018 — 10:00 AM EDT

Dimitrios Skrepetos, PhD candidate
David R. Cheriton School of Computer Science

Thursday, May 31, 2018 — 4:00 PM EDT

Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science

Friday, June 1, 2018 — 4:30 PM to Saturday, June 2, 2018 — 5:00 PM EDT

Considering a career in academia?

Are you a graduate student, postdoc or young scholar considering an academic career? Join us to explore the spectrum of pathways of academic success with an explicit focus on gender equity and its intersections with other identity markers.

Tuesday, June 19, 2018 — 11:30 AM EDT

Edward Zulkoski, PhD candidate
David R. Cheriton School of Computer Science

Friday, June 22, 2018 — 5:30 PM to Sunday, June 24, 2018 — 5:00 PM EDT

Three-day programing workshop

Dates Times
Friday, June 22, 2018 5:30 p.m. to 8:30 p.m.
Saturday, June 23, 2018 10:00 a.m. to 5:00 p.m.
Sunday, June 24, 2018 10:00 a.m. to 5:00 p.m.
Applications for a three-day programming workshop Programming Workshop for Beginners are open!
Friday, June 29, 2018 — 10:00 AM EDT

Michael Cormier, PhD candidate
David R. Cheriton School of Computer Science

S M T W T F S
29
30
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
1
2
  1. 2018 (91)
    1. June (4)
    2. May (25)
    3. April (34)
    4. March (24)
    5. February (3)
    6. January (1)
  2. 2017 (37)
    1. December (2)
    2. November (5)
    3. October (3)
    4. September (4)
    5. July (4)
    6. June (3)
    7. May (2)
    8. April (2)
    9. March (6)
    10. February (4)
    11. January (2)
  3. 2016 (21)
  4. 2015 (36)
  5. 2014 (33)
  6. 2013 (23)
  7. 2012 (4)
  8. 2011 (1)
  9. 2010 (1)
  10. 2009 (1)
  11. 2008 (1)