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

Sally Goodall | 2 May 1991 23:33

CADE 92, Call for Papers

Date: Thu, 2 May 91 15:03:36 -0400

           11-th International Conference on Automated Deduction
                         Saratoga Springs, NY   USA
                              June 15-18, 1992

                              CALL FOR PAPERS

   CADE is the major research forum covering  all  aspects  of  automated
   deduction. Original papers in automated deduction (for nonclassical as
   well as classical logics) are invited;  specific  topics  of  interest
   include (but are not limited to):

       Applications               Induction            Program Synthesis
   Commonsense Reasoning      Inference Systems          Rewrite Rules
    Deductive Databases       Logic Programming         Theorem Proving
    Decision Procedures      Program Verification      Unification Theory

   CADE-11 will be held at  the  Ramada  Renaissance  Hotel  in  Saratoga
   Springs,  NY and will be hosted by the State University of New York at
   Albany.  Saratoga  Springs is located about  25 miles north of Albany.

   Original research  papers, descriptions of working  reasoning systems,  
   and  problem  sets  that  provide innovative,  challenging  tests  for 
   automated reasoning systems, are solicited. Research papers should not
   exceed 7000 words in length (15 proceeding pages,  5.5 X 8 inches,  11
   point type, will  be  allotted).  System descriptions and problem sets 
   should be limited to five proceeding pages.

   The title  page  of  the  submission  should  include  author's  name,

(Continue reading)

headers

Albert R. Meyer | 10 May 1991 15:50

Trakhtenbrot Symposium Program, June 10-12, Tel-Aviv

			     ADVANCE PROGRAM
			An International Symposium
				    on
		       Theoretical Computer Science

			       in honor of
			  BORIS A. TRAKHTENBROT
        on the occasion of his Retirement and Seventieth Birthday
				     
			       sponsored by
	The Moise & Frida Eskenasy Institute of Computer Sciences
		  TEL AVIV UNIVERSITY, JUNE 10-12, 1991

			      MONDAY June 10
9:00 REGISTRATION
9:30 OPENING SESSION (Schreiber Bldg., Ramneceanu Hall)
       Amiram Yehudai, Tel-Aviv U., Organizing Chair
       Dan Amir, Vice Rector, Tel-Aviv University
       David Horn, Dean, Raymond and Beverly
              Sackler Faculty of Exact Sciences
       Albert R. Meyer, MIT, Symposium Chair
10:00 J. Barzdins (U. Latvia)
       Inductive synthesis: old and new approaches
10:35 Break
11:05 Eli Shamir (Hebrew U.)
       PAC learning of fuzzy concept classes by quantizing
       the underlying domain
11:40 Michail A. Taitslin (Tver' U., USSR)
       Datalog and expert systems
12:15 LUNCH break

(Continue reading)

headers

Paul Myers | 21 May 1991 02:29

Constructivity Symposium

Date:         Mon, 20 May 91 15:00:36 CST
To: theory-logic@..., categories-request <at> mta.ai.mit.edu,
        cmu-theorynet@..., gnaedig <at> prouve.crin.fr,
        huet@..., jouannaud <at> lri.lri.fr,
        jss2z@..., langston <at> utkcs2.cs.utk.edu,
        lescanne@..., lics-organizers <at> theory.lcs.mit.edu,
        ljs4@..., logic <at> theory.lcs.mit.edu, peter <at> fwi.uva.nl,
        proof-request@..., sml <at> cs.cmu.edu,
        termination@..., theorem-provers <at> mc.lcs.mit.edu,
        theorynt@..., theorynt <at> yktvmx.ai.mit.edu

Announcing a Summer Symposium ...

               CONSTRUCTIVITY IN COMPUTER SCIENCE

                        June 19-22, 1991
                       San Antonio, Texas

                          Sponsored by
                       Trinity University
                   The University of Chicago
               The Association for Symbolic Logic

Top-Down Agenda:

     Wednesday, June 19                          Friday, June 21
       11 AM - 5 PM   Registration                 7 AM - 8 AM   Breakfast
       4 PM           Welcome                      8 AM - noon   Paper Sessions
       4:15 -  6 PM   Paper Session                noon - 1 PM   Lunch
       6:30 PM        Reception and dinner         1 PM - 5 PM   Paper Sessions

(Continue reading)

headers

muller | 22 May 1991 16:41

FPCA '91 Advance Progra

Date: Wed, 22 May 91 10:31:54 EDT

                     FPCA '91 Advance Program

           Conference on Functional Programming Languages 
                     and Computer Architecture 

            Cambridge, Massachusetts, August 28-30, 1991

 Sponsored by IFIP WG 2.8, ACM SIGPLAN/SIGARCH, and Harvard University

The conference will be held on the campus of Harvard University in 
Cambridge, Massachusetts August 28-30, 1991. The conference will be 
preceded by a two day tutorial August 26-27, 1991. 

                              Program
Tutorial

Monday August 26th  -- Functional Programming Basics --

8:00-9:00       Tutorial Registration

9:00-12:00      Tutorial on Standard ML - Mads Tofte

2:00- 5:00      Exploiting Lazy Functional Languages - John Hughes

Tuesday August 27th -- Advanced Research Topics --

9:00-12:00      Partial Evaluation - Neil Jones

(Continue reading)

headers

Pierre-Louis Curien | 23 May 1991 18:23

Category conference, Paris, 9/3-6/91

Date: Thu, 23 May 91 16:58:20 MET DST

		       FOURTH BIENNAL CONFERENCE ON
	     CATEGORY THEORY AND COMPUTER SCIENCE (C.T.C.S.)
			   3-6  September 1991

The Fourth of the Biennal Summer Conferences on Category Theory and
Computer Science will be held in Paris (France).

The main purpose of these conferences is to link research in category
theory with computer science.  The importance of categories in
understanding basic issues in computer science is now well established.
Other structures in logic, algebra and topology are also seen as
fundamental and the scope of the conference is to cover applications of
these structures as well.  Proceedings are published in the Springer LNCS
series.

		    Organising and Program Committee
Samson Abramsky, Pierre-Louis Curien, Peter Dybjer, Giuseppe Longo, John
Mitchell, David Pitt, Andrew Pitts, Axel Poigne', David Rydeheard, Don
Sannella, Eric Wagner.

                INVITED SPEAKERS
   Albert Burroni
   Eugenio Moggi
   Thierry Coquand
   Ugo Montanari
   Peter  Freyd
   Robert  Tennent

(Continue reading)


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

Mon

Tue

Wed

Thu

Fri

Sat

Sun

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