Calendar

Agenda
Agenda
September – November 2015 Sep – Nov 2015
Collapse All Expand All
Sep
18
Fri
David Webb: The Pumping Lemma for Context-Free Languages
Sep 18 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Sep
25
Fri
Achilles Beros: A diagonally non-computable function that computes no effectively bi-immune set
Sep 25 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Oct
2
Fri
Achilles Beros: A diagonally non-computable function (II)
Oct 2 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Oct
9
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set
Oct 9 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Oct
16
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set II
Oct 16 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Oct
23
Fri
Mushfeq Khan: A slow-growing diagonally non-computable function that computes no effectively bi-immune set
Oct 23 @ 9:30 am – 10:30 am
Read more
Categories: Logic seminar
Nov
9
Mon
CCR submission deadline
Nov 9 all-day
CCR submission deadline
Read more
Categories: CCR conference
Nov
24
Tue
Decision on submissions
Nov 24 all-day
Decision on submissions
Read more
Categories: CCR conference