Confs in 2004
- POPL04
(14-16/1/04\
, Venice, Italy, subm: 18/7/03)***
- ETAPS'04
(27/3/04-4/4/04, Spa\
in, subm: 17/10/03)
- IJCAR'04 (4-8/7/04, Cork,
subm: 5/1/\
04)
- TCS04
(August 23-26, 2004, Toulouse, subm: January 15, 2004)
- LICS04
(14-17/7/0\
4, Finland, subm: 26/1/04)
- TPHOL04
(14 - 17 Sept 2004, Utah, subm: 20 Feb 2004)
- CTCS04
(12-14/8/04, Copenhagen, subm: 9/4/04)
- CSL'04
(20-24/9/04, Poland, subm: 10/4/04)
- LFM'04
(4-8/7/04, Cork, subm: 12/4/04)
- Nature of math proof
by Royal \
Society (18-19/10/04)***
- TYPES Workshop
on "Type\
s for Math" (1-2/11/04, Nijmegen)***
- TYPES'04
(15-18/12/04, Paris, subm: 12/4/04)***
Back to
Zhaohui
Luo's "useful pointers" page.