gmane.comp.mathematics.mizar archive
362 archived articles, newest first (page 2 of 4). Latest articles →
Proof Assistants for Teaching
Tue, 7 Mar 2023 18:01:57 +0100Re: Raspberry PI - Mizar
Sat, 4 Mar 2023 13:03:17 -0800Raspberry PI - Mizar
Fri, 03 Mar 2023 21:03:39 +0100AITP 2023 - Call for Contributions
Thu, 2 Mar 2023 09:52:04 +0100Re: Open-sourcing Mizar
Sun, 26 Feb 2023 19:08:28 +0100Re: Open-sourcing Mizar
Fri, 24 Feb 2023 16:56:32 +0300Open-sourcing Mizar
Fri, 24 Feb 2023 13:43:53 +0100 (CET)TABLEAUX 2023 - PRELIMINARY CALL FOR PAPERS
Mon, 13 Feb 2023 05:20:55 +0100ITP 2023: Second Call for Papers
Fri, 20 Jan 2023 22:56:58 +0100ITP 2023: First Call for Papers
Fri, 18 Nov 2022 09:01:30 +0100 (CET)ITP 2022: Call for Participation
Wed, 25 May 2022 00:21:22 +0000AITP 2022 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 10
Mon, 2 May 2022 07:11:40 +0200Vacancy at Lancaster University (Leipzig campus), Deadline 18 April 2022
Tue, 5 Apr 2022 15:47:38 +0200AITP 2022 - Call for Contributions
Tue, 8 Mar 2022 11:43:05 +0100Re: Call for bids to host ITP 2023
Fri, 4 Mar 2022 04:21:14 +0000ITP 2022: Last Call for Papers
Mon, 31 Jan 2022 15:43:51 +0000Call for bids to host ITP 2023
Thu, 27 Jan 2022 01:00:54 +0000Proofreading and Editing
Thu, 20 Jan 2022 17:07:37 -0500ITP 2022: Third Call for Papers
Tue, 4 Jan 2022 23:07:28 +0000Quarantine Summary: [ 1 message(s) quarantined from Mon, 13 Dec 2021 09:00:00 +0100 to Tue, 14 Dec 2021 09:00:00 +0100 ]
Tue, 14 Dec 2021 09:00:01 +0100Fwd: Certified Programs and Proofs (CPP) 2022: Call for Participation
Thu, 9 Dec 2021 15:30:28 +0100ITP 2022: Second Call for Papers
Tue, 7 Dec 2021 20:47:24 +0000Manuscript Proofreading
Wed, 24 Nov 2021 07:29:41 +0000Quarantine Summary: [ 1 message(s) quarantined from Thu, 11 Nov 2021 09:00:00 +0100 to Fri, 12 Nov 2021 09:00:00 +0100 ]
Fri, 12 Nov 2021 09:00:00 +0100Darowizna dla Ciebie
Fri, 5 Nov 2021 07:08:47 -0700Reduction of some items "environ": MML 5.63.1382.CR
Mon, 25 Oct 2021 17:55:57 +0000ITP 2022: First Call for Papers
Mon, 11 Oct 2021 00:49:51 +0000Academic Editor
Mon, 04 Oct 2021 23:35:34 +0100Final Call for Workshops affiliated to ITP - FLoC 2022: Deadline September 27, 2021
Mon, 20 Sep 2021 13:19:46 +0200High Tech Website Proposal
Fri, 17 Sep 2021 23:03:36 +0530High Tech Website Proposal
Thu, 9 Sep 2021 12:45:40 +0000Editing & Proofreading
Fri, 09 Jul 2021 04:43:59 -0500Academic Proofreading
Sun, 27 Jun 2021 12:36:35 -0500PhD position on program verification in Coq
Fri, 28 May 2021 08:05:17 +0200Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021)
Mon, 17 May 2021 17:10:51 +0200 (CEST)SETTA 2021: 2nd CFP updated with a special issue for STTT
Fri, 7 May 2021 20:14:44 +0800Manuscript Proofreading
Wed, 21 Apr 2021 14:23:22 +0000Preliminary CFP SETTA 2021 - Symposiumon Dependable Software Engineering: Theories, Tools and Applications
Sat, 3 Apr 2021 19:09:57 +0800English Language Proofreading & Editing
Fri, 02 Apr 2021 09:19:52 +0000Proofreading English Documents
Mon, 15 Mar 2021 05:40:56 -0500Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
Thu, 25 Feb 2021 11:14:50 +0100Proofreading & Editing
Tue, 02 Feb 2021 08:30:20 -0500Apps Proposal
Fri, 22 Jan 2021 16:52:00 +0000ITP 2021: Third Call for Papers
Tue, 12 Jan 2021 12:23:11 +0100ITP2021: Second Call for Workshops (Deadline 11 January 2021)
Tue, 05 Jan 2021 10:05:45 -0500Discount is available only for coming 7 days
Thu, 31 Dec 2020 21:49:41 +0530CPP 2021: Call for Participation and Lightning Talks
Tue, 22 Dec 2020 19:07:36 +0000ITP2021: Call for Workshops
Thu, 03 Dec 2020 11:02:50 -0500Re: Union of two subgroups
Sun, 22 Nov 2020 14:44:15 -0500Re: Union of two subgroups
Sat, 21 Nov 2020 17:50:43 +0000Re: Union of two subgroups
Fri, 20 Nov 2020 10:07:11 -0500RE: Union of two subgroups
Fri, 20 Nov 2020 08:38:59 +0000Announcing the release of PVS 7.1.
Wed, 18 Nov 2020 14:21:03 -0800Re: Union of two subgroups
Tue, 17 Nov 2020 22:13:46 -0500Re: Union of two subgroups
Tue, 17 Nov 2020 13:43:09 +0100 (CET)Union of two subgroups
Mon, 16 Nov 2020 22:34:25 -0500ITP 2021: Call for Papers
Tue, 20 Oct 2020 12:17:07 +0200SEFM 2020: Registration is open
Fri, 28 Aug 2020 17:25:59 +0200Fwd: Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Tue, 18 Aug 2020 07:03:00 +0200Fwd: Certified Programs and Proofs (CPP) 2021: First Call for Papers
Sun, 24 May 2020 10:30:08 +0200SEFM - Deadline extension and move to virtual modality
Tue, 28 Apr 2020 12:29:44 +0200New URL of Mizar Reference Tool
Thu, 2 Apr 2020 20:46:51 +0900AW: AW: Mizar Streams
Thu, 2 Apr 2020 07:32:48 +0000Re: AW: Mizar Streams
Wed, 1 Apr 2020 21:35:01 +0200 (CEST)AW: Mizar Streams
Wed, 1 Apr 2020 16:25:30 +0000Mizar Streams
Wed, 1 Apr 2020 16:24:26 +0000CILC 2020 - Preliminary Call For Papers
Thu, 5 Mar 2020 13:18:17 +0100CILC 2020 - Preliminary Call For Papers
Thu, 5 Mar 2020 13:18:15 +0100CICM 2020 in Bertinoro (PC members please help distribute the CFP) (fwd)
Thu, 13 Feb 2020 09:16:50 +0100 (CET)Mizar for MacOSX Catalina
Wed, 11 Dec 2019 14:45:32 +0100 (CET)Re: Release information about Mizar extension for VSCode
Mon, 9 Dec 2019 10:02:03 +0100 (CET)Release information about Mizar extension for VSCode
Mon, 9 Dec 2019 15:59:21 +0900Artificial Intelligence and Theorem Proving 2020 - Call for Papers
Tue, 15 Oct 2019 20:11:52 +0200Re: ITP 2019: Final Call for Participation
Fri, 23 Aug 2019 10:18:54 +0900ITP 2019: Final Call for Participation
Fri, 23 Aug 2019 00:13:16 +0000Vote for location of ITP2021 (DEADLINE 2nd Aug)
Sun, 28 Jul 2019 14:01:19 +0000ITP 2019: Second Call for Participation
Sun, 28 Jul 2019 14:01:03 +0000[] Call for Papers: 24th European Conference on Artificial Intelligence (ECAI 2020)
Tue, 23 Jul 2019 10:01:53 +0200Vote for location of ITP2021
Mon, 1 Jul 2019 15:07:38 +0000ITP 2019: Call for Participation
Tue, 25 Jun 2019 06:44:07 +0000Call for Bids to host ITP 2021
Wed, 10 Apr 2019 03:54:48 +00001st CFP for Certified Programs and Proofs (CPP 2020)
Wed, 27 Mar 2019 12:30:54 +0100 (CET)Fwd: Postdoc proposal in Paris on Proof interoperability with Mizar
Fri, 22 Mar 2019 17:27:35 +0100ITP 2019: Final Call for Papers
Thu, 14 Mar 2019 19:31:26 +0000ITP 2019: Second Call for Papers
Fri, 15 Feb 2019 23:21:33 +0000Re: [] [tag] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION **
Thu, 14 Feb 2019 08:36:53 +0100ITP 2019: Call for Papers
Thu, 10 Jan 2019 06:35:17 +0000Re: where do people check for the MML library?
Wed, 5 Dec 2018 16:42:48 +0000Academic Proofreading
Tue, 04 Dec 2018 04:13:51 -0500Academic Proofreading
Tue, 04 Dec 2018 04:04:47 -0500Re: where do people check for the MML library?
Fri, 30 Nov 2018 14:06:48 +0100 (CET)Re: where do people check for the MML library?
Fri, 30 Nov 2018 14:03:19 +0100 (CET)Re: where do people check for the MML library?
Fri, 30 Nov 2018 12:56:26 +0100AW: where do people check for the MML library?
Fri, 30 Nov 2018 10:18:35 +0000Re: where do people check for the MML library?
Thu, 29 Nov 2018 23:31:06 +0000Re: where do people check for the MML library?
Fri, 30 Nov 2018 00:25:53 +0100Re: where do people check for the MML library?
Thu, 29 Nov 2018 23:09:45 +0000Re: question about translating to logical connectives
Fri, 30 Nov 2018 00:06:52 +0100Re: where do people check for the MML library?
Thu, 29 Nov 2018 23:50:58 +0100plugin for mizar Atom text editor?
Thu, 29 Nov 2018 02:12:26 +0000
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.