March 13
"Classical recapture through modal logic" by Joao Marcos (UFSC)
March 20
"Classical recapture through modal logic" by Joao Marcos (UFSC)
March 27
"Classical recapture through modal logic" by Joao Marcos (UFSC)
April 3
(Holidays)
April 10
There is no meeting this week: Workshop on Truth and Recapture (April 9).
April 17
There is no RG meeting this week: Double WIP.
April 24
"Multiset consequence relations" by Damian Szmuc
May 1
"Multiset consequence relations" by Damian Szmuc
May 8
"Multiset consequence relations" by Damian Szmuc
May 15
"Multiset consequence relations" by Damian Szmuc
May 22
There is no meeting this week: Workshop on Theory of Proof.
May 29
June 5
June 12
June 19
June 26
July 3
July 10
July 17
July 24
July 31
August 7
August 14
August 21
August 28
September 4
September 11
September 18
September 25
October 2
October 9
October 16
October 23
October 30
November 6
November 13
November 20
November 27
December 4
December 11
December 18
December 25