gmane.comp.mathematics.mizar archive
362 archived articles, newest first (page 3 of 4). Latest articles →
how does dc-proof language compare to mizar?
Wed, 28 Nov 2018 16:50:03 +0000Re: How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?
Wed, 28 Nov 2018 07:45:57 +0100 (CET)How does one prove there is a Natural number equal to 1 in Mizar (mathematical theorem proving language)?
Wed, 28 Nov 2018 04:33:20 +0000Re: question about translating to logical connectives
Tue, 27 Nov 2018 23:45:08 +0100 (CET)Re: where do people check for the MML library?
Tue, 27 Nov 2018 23:37:09 +0100 (CET)where do people check for the MML library?
Tue, 27 Nov 2018 21:42:09 +0000question about translating to logical connectives
Tue, 27 Nov 2018 21:34:23 +0000Call for Reviewers and Editors
Fri, 19 Oct 2018 05:30:21 -0500Professional Proofreading and Editing
Thu, 18 Oct 2018 03:33:12 -0500Looking for co-author for ordinal article
Sun, 7 Oct 2018 20:16:27 +0200[ACL2-2018] Second Call For Participation: Registration Open!
Wed, 3 Oct 2018 10:39:18 -0500Proofreading English Language Documents
Wed, 03 Oct 2018 04:02:19 -0500Professional Proofreading and Editing
Wed, 03 Oct 2018 01:48:25 -0500[ACL2-2018] Call for Participation --- Registration Open!
Tue, 28 Aug 2018 09:50:39 -0500Call for Editorial Board Members
Fri, 27 Jul 2018 05:19:56 -0500[] FGCT 2018
Fri, 13 Jul 2018 04:13:01 -0600Deadline Extension for ACL2 2018
Wed, 27 Jun 2018 16:31:39 -0500ACL2 2018: Second Call for Papers
Mon, 11 Jun 2018 15:17:09 -0500ACL2 2018 Call for Papers
Fri, 13 Apr 2018 17:36:15 -0500Multiple Positions at FAU Erlangen/Nürnberg
Thu, 22 Mar 2018 19:44:47 +0100CfP: 6th INTERNATIONAL CONGRESS ON MATHEMATICAL SOFTWARE
Wed, 21 Mar 2018 15:21:19 +0100CFP 29th OpenMath Workshop (ABSTRACT DEADLINE 31. March), 24-27 July 2018, ICMS, Notre Dame University, South Bend, USA
Tue, 20 Mar 2018 06:23:09 +0100ICMS Session: Math in 2050 (ABSTRACT DEADLINE 31. March), 24-27 July 2018, Notre Dame University, South Bend, USA
Tue, 20 Mar 2018 06:39:24 +0100Verification and Deduction Mentoring Workshop 2018
Mon, 19 Mar 2018 10:13:14 -0400 (EDT)Fwd: [Coq-Club] Call for Sessions, ICMS 2018
Wed, 10 Jan 2018 10:38:02 +0100Re: Grzegorz Bancerek has passed away
Wed, 22 Nov 2017 09:47:27 +0100 (CET)Re: Grzegorz Bancerek has passed away
Tue, 21 Nov 2017 22:26:12 +0000Grzegorz Bancerek has passed away
Tue, 21 Nov 2017 22:51:12 +0100 (CET)CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17)
Mon, 22 May 2017 19:55:39 +0200AFM 2017 call for registration
Sun, 07 May 2017 17:04:15 -0700PhD and Postdoc positions in Innsbruck
Wed, 3 May 2017 21:10:49 +0200An approach to the MML - "Translating" a book
Thu, 20 Apr 2017 10:30:28 +0000Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Sat, 08 Apr 2017 12:02:17 -0700AFM deadline extension: Automated Formal Methods 2017 Final Call for papers
Sun, 19 Mar 2017 22:45:52 -0700Seventh Summer School on Formal Techniques, May 21-26, 2017, Menlo College, Atherton
Fri, 10 Mar 2017 23:06:27 -0800Automated Formal Methods (AFM) 2017 Final Call for papers
Thu, 09 Mar 2017 13:01:56 -0800Automated Formal Methods (AFM) 2017 Call for papers
Mon, 30 Jan 2017 14:32:40 -0800ACL2 2017 Submission Deadline Extension
Tue, 17 Jan 2017 15:33:47 -0600ACL2 2017 Call for Papers
Tue, 03 Jan 2017 17:26:56 -0600PhD positions on the AI4REASON project in Prague
Sun, 11 Dec 2016 17:00:14 +01002017 ACL2 Workshop Call for Paper
Tue, 06 Dec 2016 13:01:50 -0600Fwd: [Hol-info] CALL FOR PAPERS: Special Issue on Milestones in Interactive Theorem Proving
Mon, 22 Aug 2016 10:45:51 +0200{Disarmed} Proofreading & Publishing
Fri, 29 Jul 2016 05:17:45 -0700Re: ATP and presentation service for Mizar updated to MML 5.23.1213
Thu, 16 Jun 2016 22:28:00 +0200Formal Mathematics for Mathematicians at CICM2016
Mon, 6 Jun 2016 15:45:11 +0200 (CEST)Re: Formalization of the Lebesgue measure in Mizar
Mon, 23 May 2016 19:55:59 +0200 (CEST)Re: Formalization of the Lebesgue measure in Mizar
Mon, 23 May 2016 19:07:14 +0300RR 2016 Final call for papers - abstract submission: 23 May
Fri, 20 May 2016 19:23:04 +0200Re: Formalization of the Lebesgue measure in Mizar
Mon, 23 May 2016 09:06:23 +0200Formalization of the Lebesgue measure in Mizar
Sun, 22 May 2016 16:48:16 +0300RR 2016 Second Call for Papers
Thu, 12 May 2016 15:30:36 +0200[ITP 2016] Circulating the call to vote on bids for ITP 2017 (fwd)
Mon, 9 May 2016 18:19:54 +0200 (CEST)Final Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Fri, 29 Apr 2016 08:43:09 +0000ADG 2016 : deadline extended until Mai 2
Sat, 23 Apr 2016 14:43:40 +0200Formalization of math theorems in Mizar
Tue, 12 Apr 2016 17:39:37 +0800ADG 2016 2nd CFP - Automated Deduction in Geometry, Strasbourg, June, 27-29
Wed, 30 Mar 2016 18:42:07 +0200Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Tue, 15 Mar 2016 16:44:26 +0000Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems
Tue, 15 Mar 2016 16:40:54 +0000[ITP 2016] Please circulate: Call for Bids to Host ITP 2017 (fwd)
Thu, 10 Mar 2016 16:29:13 +0100 (CET)CFP: Logical Frameworks and Meta-Languages: Theory and Practice
Wed, 2 Mar 2016 20:30:32 +0100 (CET)RR 2016 - 1st Call for Papers
Fri, 26 Feb 2016 15:31:35 +0100Funded Doctoral Positions in Computer Science in Austria (LogiCS)
Fri, 29 Jan 2016 11:34:45 +0100 (CET)Fwd: free ultrafilters
Fri, 11 Dec 2015 12:16:25 +0100[CICM] Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Deadline 28. February 2016 (fwd)
Tue, 8 Dec 2015 11:50:09 +0100 (CET)ITP 2016: Call for Workshops and Tutorials (fwd)
Tue, 13 Oct 2015 17:29:59 +0200 (CEST)AVoCS 2015: Final Call for Research Idea Papers & Participation
Mon, 3 Aug 2015 10:14:08 +0000AVoCS 2015: Joint Call for Research Idea Papers & Participation
Fri, 17 Jul 2015 10:43:32 +0000AI4FM 2015: Final call for short contributions
Sun, 12 Jul 2015 14:50:44 +0100Formal Mathematics for Mathematicians Workshop 2015 - SUBMISSION DEADLINE EXTENDED
Fri, 12 Jun 2015 14:54:01 +0200 (CEST)AVoCS 2015: Extended Paper Deadline
Mon, 8 Jun 2015 09:26:36 +0100FMCAD Student Forum: Call for Contributions
Mon, 8 Jun 2015 02:07:23 +0200 (CEST)New Doctoral Program on Logical Methods in Computer Science (LogiCS)
Fri, 29 May 2015 11:48:45 +0200 (CEST)3.Cf abstracts "(Mechanised) Proving in Mathematics Education"
Thu, 28 May 2015 16:04:40 +0200Formal Mathematics for Mathematicians Workshop 2015
Wed, 27 May 2015 21:50:23 +0200 (CEST)AVoCS 2015: Final Call for Papers
Wed, 27 May 2015 11:39:12 +0100MFPS XXXI/CALCO 2015 : Call for Participation
Tue, 19 May 2015 15:21:22 +0200 (CEST)MFPS XXXI/CALCO 2015 : Call for Participation
Tue, 19 May 2015 15:21:20 +02002.Cf abstracts "(Mechanised) Proving in Mathematics Education"
Fri, 01 May 2015 14:56:08 +0200Extended Deadline (May 1), VSTTE'15
Thu, 23 Apr 2015 02:13:03 -0700AI4FM 2015: Call for Short Contributions
Tue, 21 Apr 2015 08:55:40 +0000CICM 2015 Doctoral Programme [2nd Call for Applications]
Fri, 17 Apr 2015 01:38:24 -0400CICM 2015 Doctoral Programme [2nd Call for Applications]
Fri, 17 Apr 2015 01:38:24 -0400CALCO Early Ideas 2015 : Call for Contributions
Wed, 15 Apr 2015 14:27:19 +0200 (CEST)CALCO Early Ideas 2015 : Call for Contributions
Wed, 15 Apr 2015 14:27:15 +0200AVoCS 2015: Second Call for Papers
Fri, 27 Mar 2015 11:29:12 +0000Fwd: [MKM-IG] Second Call for Papers: SETS 2015
Fri, 27 Mar 2015 12:08:16 +0100Re: Is remote ATP solving server now down?
Mon, 2 Mar 2015 11:06:38 +0100Re: Is remote ATP solving server now down?
Sat, 21 Feb 2015 19:57:39 +0400Re: Is remote ATP solving server now down?
Sat, 21 Feb 2015 16:51:12 +0100Is remote ATP solving server now down?
Sat, 21 Feb 2015 11:37:31 +0000A symbol reference system works on the HTML-ized MML
Fri, 20 Feb 2015 17:45:41 +0900Fwd: [Coq-Club] First Call for Papers: SETS 2015
Wed, 21 Jan 2015 15:48:40 +0100AVoCS 2015: First Call for Papers
Wed, 21 Jan 2015 12:15:07 +00002014 - Mizar Prize for Young Researchers
Tue, 23 Dec 2014 01:48:01 +0100 (CET)LICS 2015 - Last Call for Papers
Sun, 14 Dec 2014 22:52:07 +0000QED+20 - JFR Special Issue: Last Call for Papers - EXTENDED DEADLINE
Wed, 26 Nov 2014 20:45:42 +0100Doctoral Program on Logical Methods in Computer Science (LogiCS)
Wed, 26 Nov 2014 14:20:14 +0100 (CET)RDP 2015 Last Call for Workshops
Mon, 10 Nov 2014 22:35:06 +0100RDP 2015 Second Call for Workshops
Fri, 24 Oct 2014 17:00:42 +0200ATVA 2014: Call for Participation
Thu, 11 Sep 2014 07:42:00 +1000
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.