gmane.comp.mathematics.mizar

1785 articles on record, showing the most recent 50.

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