gmane.comp.mathematics.mizar archive

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

LPNMR 2026: Call for Participation
Wed, 12 Aug 2026 20:05:56 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1834
LPNMR 2026: Call for Participation
Thu, 16 Jul 2026 13:46:08 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1833
Collaboration for formalization of Lie Algebras
Sat, 11 Jul 2026 00:34:36 +0200
Sebastian Koch fly.high.android _AT_ gmail.com <[email protected]> • #1832
(LPNMR 2026) [Deadline Extension: Doctoral Consortium] 18th International Conference on Logic Programming and Non-monotonic Reasoning
Wed, 1 Jul 2026 16:56:34 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1831
[Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Mon, 29 Jun 2026 10:33:29 +0200
Antonio Ielo via clean-list <[email protected]> • #1830
[LPNMR 2026] [Call for Papers: Recently Published Research Track] 18th International Conference on Logic Programming and Non-monotonic Reasoning
Tue, 2 Jun 2026 09:02:45 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1829
[Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Wed, 20 May 2026 20:47:26 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1828
AITP 2026 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12
Tue, 5 May 2026 15:11:00 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1827
[Call for Papers: Deadline Extension] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Fri, 1 May 2026 09:33:10 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1826
[EULP 2026 - Call for Papers] 1st Workshop on End-User Logic Programming, Lisbon, Portugal | July 26
Thu, 30 Apr 2026 17:14:52 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1825
[Call for Workshops] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Thu, 23 Apr 2026 17:42:04 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1824
[cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Wed, 8 Apr 2026 17:11:21 +0200
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1823
[C.A.R.L.A. 2026 - Second Call for Papers] 2nd Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, Lisbon, Portugal | July 26
Wed, 8 Apr 2026 12:18:14 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1822
CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026) - reminder of approaching deadline
Fri, 20 Mar 2026 14:31:13 +0100
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1821
AITP 2026 - Call for Contributions
Mon, 9 Mar 2026 11:12:16 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1820
[cfp] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Mon, 23 Feb 2026 18:01:05 +0100
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> • #1819
CfP: 19th Conference on Intelligent Computer Mathematics (CICM 2026)
Mon, 16 Feb 2026 10:47:50 +0100
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1818
Re: Syntax change to scheme proposal
Wed, 21 Jan 2026 16:46:37 +0100
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1817
Fw:
Sat, 17 Jan 2026 01:13:16 +0000 (UTC)
paul young ykyw2018b _AT_ yahoo.com <[email protected]> • #1816
Syntax change to scheme proposal
Tue, 13 Jan 2026 08:05:56 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1815
Ring Theory in Mizar (a Rosetta stone)
Sun, 28 Dec 2025 19:07:03 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1814
Multiple Postdoc and PhD positions in Melbourne
Fri, 14 Nov 2025 14:30:02 +1100
Cezary Kaliszyk <[email protected]> • #1813
PRIMA 2025 – PhD Day: Call for Submissions – Extended Abstracts
Tue, 21 Oct 2025 09:38:36 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #1812
Re: Compositions of regular matroids, Lean and Mizar
Thu, 25 Sep 2025 04:22:07 +0000 (UTC)
paul young ykyw2018b _AT_ yahoo.com <[email protected]> • #1811
Re: ATP and presentation service for Mizar updated to MML 5.94.1493
Tue, 16 Sep 2025 19:08:23 +0200 (CEST)
Roman Matuszewski romat _AT_ mizar.org <[email protected]> • #1810
Re: ATP and presentation service for Mizar updated to MML 5.94.1493
Tue, 16 Sep 2025 12:04:31 +0200
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1809
ATP and presentation service for Mizar updated to MML 5.94.1493
Tue, 16 Sep 2025 11:37:04 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1808
Re: wsmiz.xml missing?
Fri, 12 Sep 2025 18:00:39 -0700
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1807
Re: wsmiz.xml missing?
Tue, 9 Sep 2025 08:21:29 -0700
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1806
Re: wsmiz.xml missing?
Mon, 08 Sep 2025 09:27:00 +0200
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1805
wsmiz.xml missing?
Wed, 3 Sep 2025 08:29:58 -0700
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1804
[Call for Alain Colmerauer Award] - Nominations for the 2025 edition of the Alain Colmerauer Prize
Mon, 28 Jul 2025 11:48:39 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1803
DEADLINE EXTENDED: The 26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
Wed, 16 Jul 2025 09:57:23 +0200 (CEST)
Vladana Perlic via clean-list <[email protected]> • #1802
Re: Compositions of regular matroids, Lean and Mizar
Mon, 14 Jul 2025 18:19:27 -0700
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1801
Compositions of regular matroids, Lean and Mizar
Mon, 14 Jul 2025 20:36:47 +0200 (CEST)
martin.dvorak _AT_ matfyz.cz <[email protected]> • #1800
ASPOCP 2025 Cfp - EXTENDED SUBMISSION DEADLINE
Wed, 25 Jun 2025 15:22:17 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1799
[ICLP DC 2025 - Deadline Extended] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 11 Jun 2025 12:22:25 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1798
[ICLP 2025 - Call for Student Grants] 41st Internati onal Conference on Logic Programming (ICLP’25), University of Calabria, Rende, Italy | September 12-19, 2025
Mon, 9 Jun 2025 19:46:26 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1797
Re: Size of Mizar/MML
Fri, 6 Jun 2025 09:43:18 +0200
Fabian Huch huch _AT_ in.tum.de <[email protected]> • #1796
Re: Size of Mizar/MML
Thu, 05 Jun 2025 22:01:51 +0200
Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> • #1795
Re: Size of Mizar/MML
Thu, 5 Jun 2025 21:14:31 +0200
Artur Kornilowicz arturk _AT_ math.uwb.edu.pl <[email protected]> • #1794
Re: Size of Mizar/MML
Thu, 5 Jun 2025 19:22:52 +0200
Fabian Huch huch _AT_ in.tum.de <[email protected]> • #1793
Re: Size of Mizar/MML
Thu, 5 Jun 2025 09:53:21 -0700
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1792
Size of Mizar/MML
Thu, 5 Jun 2025 17:51:53 +0200
Fabian Huch huch _AT_ in.tum.de <[email protected]> • #1791
[C.A.R.L.A. 2025 - Deadline Extended] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
Sat, 31 May 2025 19:35:28 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1790
ITP 2025: Call for workshops
Thu, 22 May 2025 15:52:57 +0200
Yannick Forster <[email protected]> • #1789
[AI3 2025 - Second Call for Papers] *DATES UPDATE* 9th Workshop on Advances in Argumentation in Artificial Intelligence
Tue, 20 May 2025 10:36:07 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1788
[AI3 2025 - First Call for Papers] 9th Workshop on Advances in Argumentation in Artificial Intelligence
Wed, 7 May 2025 23:33:58 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1787
AITP 2025 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12
Mon, 5 May 2025 23:59:18 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1786
[C.A.R.L.A. 2025 - Call for Papers] 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action, University of Calabria, Rende, Italy | September 12-13, 2025
Fri, 2 May 2025 14:40:12 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1785
[ICLP 2025 - CfP Special Tracks] 41st International Conference on Logic Programming (ICLP’25) University of Ca labria, Rende, Italy | September 12-19, 2025
Tue, 29 Apr 2025 23:58:47 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1784
Multiple PhD Positions at the University of Melbourne
Fri, 25 Apr 2025 17:04:05 +1000
Cezary Kaliszyk <[email protected]> • #1783
Formalization of Lie theory
Fri, 18 Apr 2025 18:19:18 +0200
Sebastian Koch fly.high.android _AT_ gmail.com <[email protected]> • #1782
[Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Mon, 31 Mar 2025 11:18:22 +0200
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1781
[ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
Sat, 29 Mar 2025 11:35:18 +0100
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1780
[ICLP 2025 - Deadline Approaching] 41st Internationa l Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Wed, 26 Mar 2025 10:16:33 +0100
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1779
Re: 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
Wed, 19 Mar 2025 19:49:04 +0900
Saburou Saitoh <[email protected]> • #1778
AITP 2025 - Call for Contributions
Wed, 12 Mar 2025 07:37:38 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1777
1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)
Mon, 3 Mar 2025 17:52:09 +0100
Frédéric Blanqui <[email protected]> • #1776
EuroProofNet Symposium, 8-19 September 2025, 1st Call for Talk Proposals
Mon, 3 Mar 2025 17:07:32 +0100
Frédéric Blanqui <[email protected]> • #1775
[ICLP 2025 - First Call for Papers] 41st Internation al Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Thu, 27 Feb 2025 19:17:03 +0100
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1774
[Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Sat, 8 Feb 2025 12:53:24 +0100
Manuel Alejandro Borroto Santana manuel.borroto _AT_ unical.it <[email protected]> • #1773
Re: Mizar Wiki 403 error "forbidden"
Sun, 29 Dec 2024 01:33:39 +0100
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1772
Mizar Wiki 403 error "forbidden"
Sat, 28 Dec 2024 09:40:20 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1771
Re: MML and "Building Mizar from Scratch"
Sat, 21 Dec 2024 13:10:02 +0100
Makarius makarius _AT_ sketis.net <[email protected]> • #1770
Re: MML and "Building Mizar from Scratch"
Sat, 21 Dec 2024 10:55:08 +0800
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1769
Projects in Mizar
Fri, 20 Dec 2024 08:15:50 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1768
Re: MML and "Building Mizar from Scratch"
Fri, 20 Dec 2024 07:25:44 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1767
Re: MML and "Building Mizar from Scratch"
Thu, 19 Dec 2024 13:46:01 +0100
Sebastian Koch fly.high.android _AT_ gmail.com <[email protected]> • #1766
Re: MML and "Building Mizar from Scratch"
Thu, 19 Dec 2024 12:51:38 +0100
adamn _AT_ math.uwb.edu.pl <[email protected]> • #1765
MML and "Building Mizar from Scratch"
Mon, 16 Dec 2024 12:42:30 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1764
AI for Math Fund announcement
Thu, 5 Dec 2024 14:44:30 -0500
Sarah Constantin sarah _AT_ renphil.org <[email protected]> • #1763
Formalizing Homology
Sun, 3 Nov 2024 05:47:46 +0100
Sebastian Koch fly.high.android _AT_ gmail.com <[email protected]> • #1762
AITP 2024 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12
Fri, 3 May 2024 10:09:27 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1761
Bijection Gowers Example
Wed, 27 Mar 2024 11:38:31 +0100
roland roland_coghetto _AT_ hotmail.com <[email protected]> • #1760
AITP 2024 - Call for Contributions
Mon, 11 Mar 2024 23:57:00 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1759
Re: Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)
Wed, 31 Jan 2024 16:05:10 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1758
Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024)
Wed, 31 Jan 2024 12:24:04 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1757
CICM 2024 Call for Papers
Mon, 8 Jan 2024 14:37:05 +0100 (CET)
Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> • #1756
Re: Mizar theorem GROUP_6:93
Fri, 8 Dec 2023 11:58:03 -0500
Victor Makarov viktmak _AT_ gmail.com <[email protected]> • #1755
Re: Mizar theorem GROUP_6:93
Fri, 8 Dec 2023 06:46:19 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1754
Mizar theorem GROUP_6:93
Fri, 8 Dec 2023 08:53:12 -0500
Victor Makarov viktmak _AT_ gmail.com <[email protected]> • #1753
Re: Rudin's "Principles of Analysis" Rosetta Stone
Mon, 27 Nov 2023 19:57:38 +0100
Sebastian Koch fly.high.android _AT_ gmail.com <[email protected]> • #1752
Re: Rudin's "Principles of Analysis" Rosetta Stone
Sun, 26 Nov 2023 10:35:29 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1751
Rudin's "Principles of Analysis" Rosetta Stone
Sat, 25 Nov 2023 19:41:59 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1750
Re: Rosetta Stone for Point-Set Topology Results in Mizar
Thu, 16 Nov 2023 16:53:52 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1749
Re: Rosetta Stone for Point-Set Topology Results in Mizar
Wed, 15 Nov 2023 13:04:44 +0100
Roland Coghetto roland_coghetto _AT_ hotmail.com <[email protected]> • #1748
Re: Rosetta Stone for Point-Set Topology Results in Mizar
Tue, 14 Nov 2023 07:23:32 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1747
Rosetta Stone for Point-Set Topology Results in Mizar
Mon, 13 Nov 2023 15:14:01 -0800
Alex Nelson thmprover _AT_ gmail.com <[email protected]> • #1746
ACL2-2023 Second Call for Participation
Sat, 14 Oct 2023 11:33:12 -0500
Matt Kaufmann <[email protected]> • #1745
ACL2-2023 Call for Participation
Sat, 16 Sep 2023 17:36:23 -0500
Matt Kaufmann <[email protected]> • #1744
EuroProofNet
Sun, 2 Jul 2023 12:44:41 +0200
Artur Kornilowicz arturk _AT_ math.uwb.edu.pl <[email protected]> • #1743
ITP2023 Call for Participation
Fri, 2 Jun 2023 07:38:00 +0200 (CEST)
Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> • #1742
Mizar 50 Workshop - CfP
Thu, 1 Jun 2023 09:07:49 +0200
Artur Kornilowicz arturk _AT_ math.uwb.edu.pl <[email protected]> • #1741
TABLEAUX 2023 - FINAL CALL FOR PAPERS (DEADLINE EXTENDED 21 MAY 2023)
Tue, 9 May 2023 22:47:42 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1740
AITP 2023 - Second Call for Contributions
Fri, 28 Apr 2023 12:02:56 +0200
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1739
TABLEAUX 2023 - FIRST CALL FOR PAPERS
Sat, 18 Mar 2023 14:29:40 +0100
Josef Urban josef.urban _AT_ gmail.com <[email protected]> • #1738
ITP 2023: Call for Workshop and Tutorial Proposals
Fri, 17 Mar 2023 14:38:57 +0100 (CET)
Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> • #1737
Lectureships at Lancaster University (Leipzig campus), Deadline 30 March
Fri, 10 Mar 2023 15:58:03 +0100
Marco Caminati job.caminati _AT_ gmail.com <[email protected]> • #1736
Call for Bids to Host ITP 2024
Thu, 9 Mar 2023 18:18:31 +0100 (CET)
Adam Naumowicz adamn _AT_ math.uwb.edu.pl <[email protected]> • #1735
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.