mbox by subject

Messages sorted by: [ date ][ thread ][ author ]
Other mail archives

Starting: Sat 15 Apr 1995 - 08:42:45 CST
Ending: Mon 25 Mar 1996 - 00:00:-54724 CST
Messages: 141

"Types are Not Harmless"
- lamport@pa.dec.com Mon, 10 Jul 95 13:42:02 -0700
(no subject)
- Matthias Brucke Wed, 31 Jan 1996 11:56:51 GMT+1
- Matthias Brucke Wed, 31 Jan 1996 11:56:51 GMT+1
- Matthias Brucke Wed, 31 Jan 1996 11:56:51 GMT+1
2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (ASCII)
- Jim Grundy Tue, 30 Jan 1996 17:11:55 +0200
2nd CFP: TPHOLs96 - Theorem Proving in Higher Order Logics (LaTeX)
- Jim Grundy Tue, 30 Jan 1996 17:12:52 +0200
about the proof of the CheckerBoard Problem
- Geoff Sutcliffe Fri, 11 Aug 1995 14:33:23 +1000 (+1000)
- Rusty Lusk Thu, 10 Aug 1995 13:06:28 -0500
about the proof of the CheckerBoard Problem (fwd)
- Geoff Sutcliffe Fri, 11 Aug 1995 14:54:26 +1000 (+1000)
about the proof of the CheckerBoard Problem]
- Rusty Lusk Thu, 10 Aug 1995 14:01:15 -0500
Abstracts from J. of Automated Reasoning, Vol. 15, No. 2
- Deepak Kapur Tue, 17 Oct 1995 13:26:08 -0400
abstracts from J. of Automated Reasoning, Vol. 15, No. 3
- Deepak Kapur Tue, 17 Oct 1995 13:26:48 -0400
Abstracts from the latest issue of JAR
- Deepak Kapur Wed, 13 Sep 1995 10:14:22 -0400
ACL2
- J Strother Moore Mon, 25 Sep 95 15:56:12 CDT
Announcing the Availability of More Nqthm-Checked Theorems
- Robert S. Boyer Fri, 15 Sep 95 09:35:29 CDT
CADE-13 Call for Papers
- Johann Schumann Thu, 31 Aug 1995 11:32:59 +0200
CADE-13 Call for Tutorials (text & LaTeX)
- Amy Felty Mon, 18 Sep 95 08:37 EDT
CADE-13 Call for Workshops (text & LaTeX)
- Amy Felty Sun, 17 Sep 95 22:01 EDT
CADE-13 Second Call for Papers (text & LaTeX)
- Amy Felty Wed, 13 Dec 95 09:10 EST
CADE-14 Program Chair
- Geoff Sutcliffe Tue, 14 Nov 1995 08:31:57 +1000 (+1000)
Call for Papers, RTA-96
- David Plaisted Thu, 28 Sep 1995 14:48:16 -0400
Call for written contributions
- D.W.Loveland Fri, 12 Jan 96 00:01:08 -0500
CfP (Theorem Proving in Higher Order Logics) - LaTeX version
- Jockum von Wright IB Tue, 2 Jan 1996 11:22:46 +0200
contact req.
- Johann Schumann Sat, 6 May 1995 10:52:12 +0200
- Larry Wos Wed, 3 May 1995 12:53:36 -0500
Coq V5.10 Release
- Coq Team Tue, 4 Jul 1995 15:32:53 +0200 (MET DST)
DAC 1996 - Special Topics Session on Functional Design Verification
- Raj Raina Wed, 27 Sep 95 16:20:36 -0600
Effective ?
- Jan Friso Groote Fri, 28 Apr 1995 18:43:14 +0200 (MET DST)
FM9001 Release Announcement
- Warren A. Hunt Jr. Thu, 17 Aug 95 12:13:25 CDT
Formal Methods in Computer-Aided Design (FMCAD'96)
- srivas Wed, 20 Dec 1995 10:11:20 -0800
- srivas Wed, 20 Dec 1995 10:11:20 -0800
Formalised Mathematics
- Roger Bishop Jones Wed, 20 Mar 1996 20:00:33 GMT
Furure developments
- Bernd Ingo Dahn Fri, 12 Jan 1996 10:49:38 +0100
Hierarchy of theorem provers
- Bernd Ingo Dahn Tue, 15 Aug 95 09:21:14 +0200
HTML manifesto
- Roger Bishop Jones Fri, 12 Jan 1996 16:13:08 -0500
Inference rules in the Veda system
- Vaughan Pratt Thu, 14 Mar 1996 12:19:22 -0800
- Lawrence C Paulson Thu, 14 Mar 1996 14:48:14 +0100
- Andrzej Trybulec Thu, 14 Mar 1996 13:42:13 +0100 (MET)
- MAKV@delphi.com Wed, 13 Mar 1996 22:14:14 -0500 (EST)
Isabelle users workshop
- Lawrence C Paulson Mon, 01 May 1995 12:40:14 +0100
JAR special issue CFP: Computer Algebra & Automated Theorem Proving
- Dongming Wang Fri, 24 Nov 1995 15:29:40 +0100
letter from Olga! =)
- romance@in.the.former.USSR.ua Thu, 20 Jul 1995 22:06:25 -0500
Mechanization of category theory
- Amokrane Saibi Mon, 25 Mar 1996 10:47:28 +0100
- David Rydeheard Fri, 22 Mar 96 13:52:38 GMT
- HAGIYA Masami Fri, 22 Mar 1996 18:08:30 +0900
- Bernd Ingo Dahn Fri, 22 Mar 1996 09:06:37 +0100
- Roger Bishop Jones Fri, 22 Mar 1996 05:16:51 GMT
- Vaughan Pratt Thu, 21 Mar 1996 09:53:06 -0800
- Clemens Ballarin Thu, 21 Mar 1996 16:11:48 +0100
Meta-logic
- Randall Holmes Thu, 17 Aug 1995 15:29:18 -0600
Natural Language Output for Your Theorem Prover?
- Bernd Ingo Dahn Mon, 29 May 95 12:52:25 +0200
new software verification e-mail list
- Paul E. Black Sun, 3 Mar 1996 22:21:57 -0700
Nuprl release.
- Richard Eaton Mon, 30 Oct 1995 12:27:02 -0500
paper available
- Lawrence C Paulson Wed, 26 Jul 1995 17:07:12 +0100
Paper on formalized mathematics available
- (no name) Wed, 28 Feb 1996 04:55:13 -0600
- John Harrison Thu, 22 Feb 1996 17:39:12 +0200
Paper on reflection
- John Harrison Thu, 04 May 1995 12:22:18 +0100
- David McAllester Wed, 3 May 95 17:05:43 EDT
- rv_harris@ccmail.pnl.gov Mon, 01 May 1995 10:31 -0700 (PDT)
- John Harrison Mon, 01 May 1995 10:48:18 +0100
- David McAllester Sun, 30 Apr 95 14:44:08 EDT
- Roger Bishop Jones Thu, 27 Apr 1995 07:06:16 GMT
- Konrad Slind Thu, 27 Apr 1995 21:54:41 +0200
- Randy Pollack Thu, 27 Apr 1995 20:22:37 +0200
- David McAllester Thu, 27 Apr 95 10:20:23 EDT
- John Harrison Tue, 25 Apr 1995 20:13:54 +0100
- Roger Bishop Jones Tue, 25 Apr 1995 06:26:22 GMT
- John Harrison Mon, 24 Apr 1995 21:21:24 +0100
PhD Scholarships at Chalmers, Gothenburg
- Henrik Persson Fri, 26 Jan 1996 13:48:11 +0100 (MET)
PRA
- Randall Holmes Thu, 2 Nov 1995 09:15:26 -0700
PRA implementation
- Victor Yodaiken Thu, 2 Nov 1995 21:59:45 -0700
- Randall Holmes Wed, 1 Nov 1995 09:32:57 -0700
practical Proof Checking
- Lawrence C Paulson Tue, 19 Mar 1996 15:49:51 +0100
practical Proof Checking systems
- John McCarthy Mon, 18 Mar 1996 14:26:14 -0800 (PST)
- John Harrison Mon, 18 Mar 1996 22:32:37 +0200
- MAKV@delphi.com Tue, 20 Feb 1996 20:45:23 -0500 (EST)
Probabilistic Proofs
- Eric Inman Wed, 3 May 95 06:10:39 -0500
proof double checking and verified compilers
- William McCune Tue, 12 Dec 1995 15:47:17 -0600
Q: Systems for Algebraic/ Structural Reasoning
- N.G. De Bruijn Mon, 11 Mar 1996 17:13:26 MET-2DST
- Ruslan Shevchenko Fri, 8 Mar 1996 17:21:59 +0200 (EET)
- Paul Jackson Fri, 08 Mar 1996 13:00:19 +0000
- Vaughan Pratt Thu, 07 Mar 1996 21:41:46 -0800
- Vaughan Pratt Thu, 07 Mar 1996 21:03:18 -0800
- Florian Kammueller Thu, 07 Mar 1996 19:30:32 +0000
Q:Systems for Algebraic/Structural Reasoning
- N.G. De Bruijn Mon, 11 Mar 1996 17:02:57 MET-2DST
QED and OpenMath
- Yozo Toda Sun, 11 Feb 1996 22:40:17 +0900
- Roger Bishop Jones Sun, 11 Feb 1996 07:39:51 GMT
QED Archives on WWW?
- Rusty Lusk Wed, 20 Dec 1995 11:13:14 -0600
- Rusty Lusk Wed, 20 Dec 1995 11:12:04 -0600
- Roger Bishop Jones Wed, 20 Dec 1995 02:27:30 -0500
QED Framework
- Bernd Ingo Dahn Wed, 23 Aug 95 09:05:57 +0200
QED II - final report - available
- Roman Matuszewski Tue, 12 Dec 95 21:45:06 CET
QED links to QED people
- Manfred Kerber Mon, 15 Jan 1996 17:05:04 +0000
- William McCune Mon, 18 Dec 1995 11:45:20 -0600
QED Workshop 2 - Cooperation of Automated and Interactive Theorem Provers
- Bernd Ingo Dahn Thu, 18 May 95 15:10:14 +0200
QED Workshop II
- Roman Matuszewski Fri, 28 Jul 95 18:36:28 CET
- Roderick Moten Thu, 27 Apr 1995 09:11:55 -0400
- Roman Matuszewski Thu, 27 Apr 95 13:30:51 CET
- Roman Matuszewski Sat, 15 Apr 95 15:41:28 CET
QED Workshop.
- shepherd_david/uk_bristo_br@brx001.inmos.co.uk Fri, 28 Apr 95 13:01:54 +0100
- John Harrison Fri, 28 Apr 1995 12:04:03 +0100
- ma_friesel@gate.pnl.gov Thu, 27 Apr 1995 12:52 -0700 (PDT)
- Jan Friso Groote Thu, 27 Apr 1995 18:10:11 +0200 (MET DST)
QED-WS Integration of existing code
- kerber@cs.uni-sb.de Mon, 19 Jun 95 18:13:15 +0200
Re[2]: Paper on reflection
- ma_friesel@gate.pnl.gov Thu, 27 Apr 1995 20:49 -0700 (PDT)
Re[2]: QED Workshop.
- ma_friesel@ccmail.pnl.gov Tue, 02 May 1995 07:41 -0700 (PDT)
REMINDER FINAL CFP FOR DISCO'96
- Andreas Wolf Tue, 30 Jan 1996 11:59:34 +0100
- Karsten Homann Mon, 29 Jan 1996 17:28:51 +0100
Requirements for QEDL
- MAKV@delphi.com Sun, 03 Mar 1996 15:13:18 -0500 (EST)
Status of dimacs benchmarks
- JanFriso.Groote@cwi.nl Sat, 16 Mar 1996 13:26:18 +0100 (MET)
subscribe
- Roberto Sebastiani Mon, 30 Oct 1995 16:30:38 +0100 (MET)
The Russel paradox and the VEDA system
- MAKV@delphi.com Sat, 09 Mar 1996 16:56:58 -0500 (EST)
The Russel paradox and the VEDA system
- Ruslan Shevchenko Mon, 11 Mar 1996 19:24:07 +0200 (EET)
To type or not to type
- Piotr Rudnicki Mon, 5 Jun 1995 12:18:37 -0600 (MDT)
Toward a common syntax for writing proofs
- bshults@fireant.ma.utexas.edu Mon, 18 Mar 96 13:01:13 CST
- Ilya Beylin Mon, 18 Mar 1996 19:28:33 +0100 (MET)
- David Musser Mon, 18 Mar 96 10:43:25 EST
- Bernd Ingo Dahn Mon, 18 Mar 1996 11:11:00 +0100
- MAKV@delphi.com Sat, 16 Mar 1996 23:44:58 -0500 (EST)
Undefined terms
- John Harrison Tue, 13 Jun 1995 12:08:24 +0100
- Malcolm Newey Tue, 23 May 1995 21:59:00 +1000
- John Harrison Tue, 23 May 1995 12:24:16 +0100
- Matt Kaufmann Mon, 22 May 95 15:49:09 CDT
- Benjamin Price Shults Mon, 22 May 1995 16:32:16 -0500
- Matt Kaufmann Mon, 22 May 95 15:43:05 CDT
- Benjamin Price Shults Mon, 22 May 1995 15:23:53 -0500
- Benjamin Price Shults Mon, 22 May 1995 15:32:07 -0500
- Matt Kaufmann Mon, 22 May 95 13:31:03 CDT
- John Harrison Mon, 22 May 1995 14:27:18 +0100
- trybulec@cksr.ac.bialystok.pl Mon, 22 May 95 13:41 MED
- Randall Holmes Fri, 19 May 1995 10:20:03 -0600
- Randall Holmes Fri, 19 May 1995 09:55:48 -0600
- John Harrison Fri, 19 May 1995 10:54:02 +0100
- Randall Holmes Thu, 18 May 1995 12:39:59 -0600
unsubscribe
- Frank Lesske Thu, 1 Feb 96 10:38:57 MEZ
- Lyle Burkhead Tue, 03 Oct 1995 01:11:12 -0400 (EDT)
- Lyle Burkhead Tue, 03 Oct 1995 01:11:12 -0400 (EDT)
URGENT: Workshop Proposal ECAI96
- Wolfgang Jaksch Tue, 24 Oct 1995 17:30:49 +0100
URI Support Program
- Rusty Lusk Wed, 14 Jun 1995 09:32:10 -0500
Web page for 1996 International Conference on Theorem Proving in Higher Order Logics
- John Harrison Thu, 11 Jan 1996 17:18:40 +0200
Workshop
- Wolfgang Jaksch Tue, 24 Oct 1995 17:17:31 +0100

Last message date: Mon 25 Mar 1996 - 00:00:-54724 CST
Archived on: Tue Apr 02 1996 - 16:17:08 CST

Messages sorted by: [ date ][ thread ][ author ]
Other mail archives

This archive was generated by hypermail 1.02.