TYPES is a moderated e-mail forum focusing on Type Theory in Computer Science, with a broad view of the subject.

headers Eike Ritter | 3 Mar 2008 12:35

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

----------------------------------------------------------------------

   MIDLANDS GRADUATE SCHOOL IN THE FOUNDATIONS OF COMPUTING SCIENCE

                           14-18 APRIL 2008
                      BIRMINGHAM, UNITED KINGDOM

                      REGISTRATION FORM

          *** The registration deadline is 8 MARCH 2008  ***

----------------------------------------------------------------------

TITLE                          :

NAME                           :

POSITION                       :

AFFILIATION                    :

POSTAL ADDRESS                 :

EMAIL ADDRESS                  :

PHONE NUMBER                   :

Mon	Tue	Wed	Thu	Fri	Sat	Sun

					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

[TYPES/announce] Final Call for Participation Midlands Graduate School in Foundations of Computing Science

[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008)

[TYPES/announce] First CFP AICCSA 2009

my habilitation thesis available on the net

19	May 2013
83	April 2013
1	February 2013
2	January 2013
11	December 2012
3	November 2012
1	October 2012
10	August 2012
5	July 2012
8	April 2012
6	March 2012
9	November 2011
11	October 2011
3	June 2011
39	May 2011
63	April 2011
77	March 2011
57	February 2011
59	January 2011
33	December 2010
37	November 2010
21	October 2010
35	September 2010
26	August 2010
19	July 2010
42	June 2010
67	May 2010
45	April 2010
61	March 2010
39	February 2010
46	January 2010
2	December 2009
2	November 2009
24	October 2009
12	September 2009
22	August 2009
17	July 2009
4	June 2009
22	April 2009
6	March 2009
2	February 2009
6	January 2009
27	November 2008
22	October 2008
10	September 2008
4	August 2008
3	July 2008
24	June 2008
20	May 2008
26	April 2008
4	March 2008
9	February 2008
26	January 2008
1	December 2007
6	November 2007
2	October 2007
4	September 2007
17	August 2007
8	July 2007
9	June 2007
9	May 2007
6	April 2007
15	March 2007
15	February 2007
5	January 2007
3	December 2006
11	November 2006
24	October 2006
3	September 2006
2	August 2006
18	July 2006
14	June 2006
7	May 2006
10	April 2006
25	March 2006
9	February 2006
27	January 2006
51	December 2005
43	November 2005
26	October 2005
24	September 2005
28	August 2005
41	July 2005
57	June 2005
62	May 2005
56	April 2005
40	March 2005
43	February 2005
36	January 2005
27	December 2004
21	November 2004
26	October 2004
44	September 2004
28	August 2004
29	July 2004
24	June 2004
28	May 2004
23	April 2004
26	March 2004
35	February 2004
26	January 2004
9	December 2003
36	November 2003
66	October 2003
28	September 2003
16	August 2003
19	July 2003
27	June 2003
21	May 2003
29	April 2003
19	March 2003
32	February 2003
26	January 2003
35	December 2002
29	November 2002
27	October 2002
18	September 2002
12	August 2002
12	July 2002
26	June 2002
38	May 2002
28	April 2002
36	March 2002
28	February 2002
46	January 2002
74	December 2001
33	November 2001
32	October 2001
15	September 2001
15	August 2001
18	July 2001
25	June 2001
19	May 2001
18	April 2001
44	March 2001
28	February 2001
13	January 2001
13	December 2000
28	November 2000
16	October 2000
22	September 2000
9	August 2000
16	July 2000
28	June 2000
21	May 2000
19	April 2000
33	March 2000
17	February 2000
55	January 2000
29	December 1999
25	November 1999
20	October 1999
13	September 1999
12	August 1999
14	July 1999
13	June 1999
30	May 1999
15	April 1999
14	March 1999
19	February 1999
16	January 1999
7	December 1998
12	November 1998
19	October 1998
15	September 1998
13	August 1998
12	July 1998
60	June 1998
24	May 1998
34	April 1998
33	March 1998
16	February 1998
19	January 1998
17	December 1997
20	November 1997
31	October 1997
22	September 1997
15	August 1997
19	July 1997
26	June 1997
28	May 1997
28	April 1997
20	March 1997
19	February 1997
11	January 1997
19	December 1996
18	November 1996
16	October 1996
13	September 1996
25	August 1996
11	July 1996
15	June 1996
23	May 1996
17	April 1996
19	March 1996
19	February 1996
1	January 1996
9	December 1995
15	November 1995
11	October 1995
12	September 1995
9	August 1995
14	July 1995
17	June 1995
18	May 1995
18	April 1995
27	March 1995
18	February 1995
14	January 1995
13	December 1994
10	November 1994
20	October 1994
19	September 1994
6	August 1994
14	July 1994
19	June 1994
6	May 1994
12	April 1994
17	March 1994
20	February 1994
7	January 1994
18	December 1993
16	November 1993
10	October 1993
8	September 1993
9	August 1993
13	July 1993
14	June 1993
21	May 1993
12	April 1993
7	March 1993
22	February 1993
21	January 1993
10	December 1992
22	November 1992
14	October 1992
20	September 1992
17	August 1992
15	July 1992
14	June 1992
10	May 1992
6	April 1992
9	March 1992
25	February 1992
27	January 1992
27	December 1991
52	November 1991
7	October 1991
4	September 1991
11	August 1991
8	July 1991
4	June 1991
5	May 1991
7	April 1991
5	March 1991
2	February 1991
9	January 1991
2	December 1990
4	November 1990
4	October 1990
7	September 1990
4	August 1990
7	July 1990
5	June 1990
10	May 1990
7	April 1990
5	March 1990
8	February 1990
4	January 1990
14	November 1989
8	October 1989
6	September 1989
8	August 1989
8	July 1989
14	June 1989
5	May 1989
4	April 1989
27	March 1989
12	February 1989
9	January 1989
26	November 1988
36	October 1988
2	September 1988
4	August 1988
5	July 1988
31	June 1988
26	May 1988
14	April 1988
14	March 1988
7	February 1988
8	January 1988
3	December 1987
11	November 1987