Events Calendar
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
|
28
|
29
|
30
|
1
|
2
|
3
|
4
|
|
|
|
|
PDL C-401 and via Zoom Link: https://washington.zoom.us/j/91547335974 |
|
||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
|
PDL C-401 and via Zoom Link: https://washington.zoom.us/j/91547335974 |
|
|
|||
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
PDL C-401 and via Zoom Link: https://washington.zoom.us/j/91547335974 |
Title: Math AI SeminarSeed Prover Deep and Broad Reasoning for Automated Theorem Proving (Vasily Ilin) PDL-C38, Zoom: https://washington.zoom.us/j/93878164589?pwd=JMgKEqmkweRU91rO7COjG8rknhjsuE.1 |
|
||||
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
|
|
|
PDL-C38 and Zoom https://washington.zoom.us/j/93878164589?pwd=JMgKEqmkweRU91rO7COjG8rknhjsuE.1 |
|
||
|
26
|
27
|
28
|
29
|
30
|
31
|
1
|
|
|
|
PDL C-401 and via Zoom Link: https://washington.zoom.us/j/91547335974 |
|