gmane.comp.mathematics.mizar archive

362 archived articles, newest first (page 4 of 4). Latest articles →

Final CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call, extended deadline)
Fri, 29 Aug 2014 17:37:49 +0200
Hugo Herbelin <[email protected]> • #1524
2nd CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)
Mon, 18 Aug 2014 17:58:48 +0200
Hugo Herbelin <[email protected]> • #1523
Fwd: Flyspeck project completion
Sun, 10 Aug 2014 16:37:32 +0200
Josef Urban <[email protected]> • #1522
RDP 2015 Call for Workshops
Wed, 06 Aug 2014 15:41:30 +0200
Aleksy Schubert <[email protected]> • #1521
CFP Post-proceedings TYPES 2014 Types for Proofs and Programs (open call)
Fri, 18 Jul 2014 15:45:25 +0200
Hugo Herbelin <[email protected]> • #1520
ATP and presentation service for Mizar updated to MML 5.23.1213
Sun, 29 Jun 2014 16:53:05 +0200
Josef Urban <[email protected]> • #1519
First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)
Sun, 11 May 2014 16:33:28 +0200
Michael Kohlhase <[email protected]> • #1515
∀X.Xπ - APPA - Call for Participation/Registratio
Thu, 8 May 2014 12:38:08 +0200 (CEST)
Makarius <[email protected]> • #1514
Notion of Proof 2014: Extended deadline and final Call for Papers
Wed, 7 May 2014 15:38:19 +0200
Jesse Alama <[email protected]> • #1513
Fwd: [MKM-IG] CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June 2014
Mon, 5 May 2014 19:50:57 +0200
Josef Urban <[email protected]> • #1512
CFP: Extended Deadline for 11th International Worksh op on Boolean Problems (IWSBP’14)
Sat, 3 May 2014 15:41:03 -0500
Miroslav Velev <[email protected]> • #1511
Types Meeting 2014 in Paris, 12 - 15 May: Last call for participation
Thu, 1 May 2014 16:51:35 +0200
Hugo Herbelin <[email protected]> • #1510
CFP: 11th International Workshop on Boolean Problems (IWSBP’14)
Sun, 27 Apr 2014 06:10:06 -0500
Miroslav Velev <[email protected]> • #1509
Types Meeting 2014 in Paris, 12 - 15 May: 2nd call for participation
Thu, 17 Apr 2014 09:25:36 +0200
Hugo Herbelin <[email protected]> • #1508
CfP: The Notion of Proof
Mon, 31 Mar 2014 16:24:53 +0200
Jesse Alama <[email protected]> • #1507
Types Meeting 2014 in Paris, 12 - 15 May: call for participation
Wed, 26 Mar 2014 11:11:36 +0100
Hugo Herbelin <[email protected]> • #1506
AI4FM 2014: Call for Participation
Tue, 25 Mar 2014 16:15:48 +0000
Iain Whiteside <[email protected]> • #1505
Artificial Intelligence and Symbolic Computation AISC 2014
Fri, 21 Mar 2014 13:14:54 +0100
Josef Urban <[email protected]> • #1504
Fwd: [Hol-info] CICM 2014: Extended Deadline March 14th, 2014
Fri, 28 Feb 2014 14:32:10 +0100
Josef Urban <[email protected]> • #1502
2nd CFP: 6PCM
Tue, 25 Feb 2014 16:11:30 +0100 (CET)
Artur Kornilowicz <[email protected]> • #1501
*Deadline extended* Final call for contributions AI4FM 2014
Tue, 25 Feb 2014 14:01:00 +0000
Iain Whiteside <[email protected]> • #1500
Fwd: 2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
Mon, 17 Feb 2014 17:40:16 +0100
Josef Urban <[email protected]> • #1498
AI4FM 2014: Call for Short Contributions
Thu, 6 Feb 2014 17:01:03 +0000
Iain Whiteside <[email protected]> • #1496
CFP: Computer-assisted Formalization of Mathematics at 6PCM 2014, Bialystok, Poland
Thu, 6 Feb 2014 17:18:51 +0100 (CET)
Artur Kornilowicz <[email protected]> • #1495
CFP: Computer-assisted Formalization of Mathematics at 6PCM 2014, Bialystok, Poland
Wed, 5 Feb 2014 12:32:55 +0100 (CET)
Artur Kornilowicz <[email protected]> • #1494
Sleszynski Award 2011, 2012
Mon, 06 Jan 2014 11:50:17 +0900
"Pauline N. Kawamoto" <[email protected]> • #1492
2013 - Mizar Prize for Young Researchers
Thu, 19 Dec 2013 01:37:32 +0100 (CET)
Roman Matuszewski <[email protected]> • #1490
New Mizar articles
Wed, 11 Dec 2013 09:37:42 +0100 (CET)
Adam Grabowski <[email protected]> • #1489
CSL-LICS 2014 - Call for Papers
Mon, 2 Dec 2013 17:12:20 +0100
Andrzej Murawski <[email protected]> • #1488
AI4FM 2014: Call for Short Contributions
Mon, 2 Dec 2013 10:17:55 +0000
Iain Whiteside <[email protected]> • #1487
Fwd: First Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014)
Sat, 23 Nov 2013 13:46:33 +0100
Josef Urban <[email protected]> • #1486
"Semantics of Proofs and Certified Mathematics", IHP trimester (second call for starting school and workshop registration)
Sun, 17 Nov 2013 16:48:22 +0100
Hugo Herbelin <[email protected]> • #1485
Re: 40 years of Mizar
Thu, 14 Nov 2013 11:05:47 +0100
Josef Urban <[email protected]> • #1484
40 years of Mizar
Thu, 14 Nov 2013 09:51:17 +0100 (CET)
Adam Naumowicz <[email protected]> • #1483
PhD and PostDoc Positions at the University of Innsbruck, Austria
Thu, 31 Oct 2013 09:46:06 +0100
Cezary Kaliszyk <[email protected]> • #1480
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration
Wed, 9 Oct 2013 18:51:12 +0200
Hugo Herbelin <[email protected]> • #1478
2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning'
Thu, 03 Oct 2013 12:05:26 +0100
Christoph LANGE <[email protected]> • #1477
Re: Mizar - Trybulec = ...
Sat, 14 Sep 2013 09:40:55 +0200 (CEST)
Adam Naumowicz <[email protected]> • #1476
"Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th)
Thu, 12 Sep 2013 15:08:30 +0200
Hugo Herbelin <[email protected]> • #1474
Mizar - Trybulec = ...
Thu, 12 Sep 2013 09:29:22 +0200 (CEST)
Adam Naumowicz <[email protected]> • #1473
Final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
Wed, 04 Sep 2013 23:25:26 +0200
Aleksy Schubert <[email protected]> • #1470
proof co-occurrence graph
Wed, 4 Sep 2013 15:36:12 +0200
Josef Urban <[email protected]> • #1469
FLoC 2014 Second Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna)
Thu, 08 Aug 2013 17:29:07 +0200
Aleksy Schubert <[email protected]> • #1468
2nd CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
Thu, 08 Aug 2013 16:29:42 +0200
Aleksy Schubert <[email protected]> • #1467
Tutorial 'Mechanised Reasoning in Economics' (Koblenz, Germany, 17 Sept.): early registration until 15 July
Thu, 04 Jul 2013 23:09:09 +0100
Christoph LANGE <[email protected]> • #1464
CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call)
Thu, 13 Jun 2013 01:39:55 +0200
Aleksy Schubert <[email protected]> • #1463
CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct)
Wed, 12 Jun 2013 15:23:55 +0100
Christoph LANGE <[email protected]> • #1462
FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria)
Sun, 09 Jun 2013 00:21:27 +0200
Aleksy Schubert <[email protected]> • #1461
2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June
Mon, 20 May 2013 12:12:44 +0100
Christoph LANGE <[email protected]> • #1460
MFPS/LICS/CSF Joint Call for Participation
Fri, 17 May 2013 14:07:55 +0200
Andrzej Murawski <[email protected]> • #1459
VeriSure Workshop Call for Papers
Fri, 03 May 2013 00:23:43 -0700
Sam Owre <[email protected]> • #1458
last CfA "TP components for educational software" at CICM
Thu, 2 May 2013 09:51:52 +0200 (CEST)
Makarius <[email protected]> • #1456
VSTTE 2013 Call for Participation
Wed, 01 May 2013 20:32:18 -0700
Sam Owre <[email protected]> • #1455
VSTTE 2013 Call for Participation
Tue, 23 Apr 2013 14:16:55 -0700
Sam Owre <[email protected]> • #1453
CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadline 7 June
Fri, 19 Apr 2013 23:34:41 +0100
Christoph LANGE <[email protected]> • #1452
VSTTE Competition 2013 Second Announcement
Wed, 17 Apr 2013 13:17:07 -0700
Sam Owre <[email protected]> • #1449
PxTP 2013 extended deadline (22 Apr.)
Mon, 15 Apr 2013 23:58:19 +0200
Josef Urban <[email protected]> • #1448
LICS 2013 - Call for Short Presentations
Tue, 2 Apr 2013 00:41:57 +0200
Andrzej Murawski <[email protected]> • #1446
CFP: Methods for Modalities 2013
Sun, 24 Mar 2013 11:02:29 -0300
Carlos Areces <[email protected]> • #1441
PxTP 2013: Second Call for Papers
Mon, 18 Mar 2013 09:54:19 +0100
Josef Urban <[email protected]> • #1439
Call for Extended Abstracts: THedu'13
Mon, 4 Mar 2013 12:01:58 +0100 (CET)
Makarius <[email protected]> • #1438
Fwd: [MKM-IG] Reminder: CICM/MKM deadline approaching!
Wed, 27 Feb 2013 17:58:39 +0100
Josef Urban <[email protected]> • #1437
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.