updated to summer 2024

kwarcpubs.bib

@@ -2,6 +2,81 @@ @string{kpmessage
 @STRING{stexyear = 2024}
 @STRING{testing = 16}
 
+@proceedings{RS:lfmtp:24,
+  title = "{LFMTP 2024: Proceedings of the Workshop on Logical Frameworks: Meta-Theory and Practice}",
+  year = "2024",
+  note = "see \url{https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LFMTP2024}",
+  editor = "F. Rabe and C. {Sacerdoti Coen}",
+  publisher = "Open Publishing Association"
+}
+
+@inproceedings{MJXR:dafnystability:23,
+  author = "S. McLaughlin and G. Jaloyan and T. Xiang and F. Rabe",
+  title = "{Enhancing Proof Stability}",
+  year = "2023",
+  booktitle = "Dafny 2024",
+  editor = "J. Tassarotti and S. Zetzsche"
+}
+
+@article{mathdagstuhl:23,
+  author = "A. Bauer and K. Ber{\v{c}}i{\v{c}} and N. Thi{\'e}ry and F. Rabe and J. Taslak",
+  title = "{Automated mathematics: integrating proofs, algorithms and data (Dagstuhl Seminar 23401)}",
+  year = "2024",
+  pages = "1--23",
+  journal = "Dagstuhl Reports by Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
+  volume = "13",
+  number = "10"
+}
+
+@inproceedings{rabe:cons:24,
+  author = "F. Rabe",
+  title = "{A Logical Framework Perspective on Conservativity}",
+  year = "2024",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "A. Kohlhase and L. Kovacs",
+  publisher = "Springer"
+}
+
+@inproceedings{RW:aldor:23,
+  author = "F. Rabe and S. Watt",
+  title = "{Extracting Theory Graphs from Aldor Libraries}",
+  year = "2023",
+  pages = "315--320",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "C. Dubois and M. Kerber",
+  publisher = "Springer"
+}
+
+@inproceedings{RW:morpheq:23,
+  author = "F. Rabe and F. Weber",
+  title = "{Morphism Equality in Theory Graphs}",
+  year = "2023",
+  pages = "174--189",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "C. Dubois and M. Kerber",
+  publisher = "Springer"
+}
+
+@inproceedings{RRB:dhol:23,
+  author = "C. Rothgang and F. Rabe and C. Benzmüller",
+  title = "{Theorem Proving in Dependently Typed Higher-Order Logic}",
+  year = "2023",
+  pages = "438--455",
+  booktitle = "Automated Dedution",
+  editor = "B. Pientka and C. Tinelli",
+  publisher = "Springer"
+}
+
+@inproceedings{RKR:mizar:21,
+  author = "C. Rothgang and A. Kornilowicz and F. Rabe",
+  title = "{A New Export of the Mizar Mathematical Library}",
+  year = "2021",
+  pages = "205--210",
+  booktitle = "Intelligent Computer Mathematics",
+  editor = "F. Kamareddine and C. {Sacerdoti Coen}",
+  publisher = "Springer"
+}
+
 @mastersthesis{Ama:msc23,
   title = {Enabling Interlinking of WissKIs Using Open Data},
   author = {Kai Amann},
@@ -896,14 +971,6 @@ @inproceedings{RR:soften:21
   pubs = {frabe,nroux,mmt,oaf,latin}
 }
 
-@unpublished{RabRou:modlog21,
-  title = {Modular Formalization of Formal Systems},
-  author = {Florian Rabe and Navid Roux},
-  year = {2021},
-  note = {under review},
-  url = {https://kwarc.info/people/frabe/Research/RR_modlog_21.pdf},
-  pubs = {frabe,nroux,mmt,oaf,latin}}
-
 @mastersthesis{Cerny:bsc20,
   title = {Generating Expressions in MMT},
   author = {Christian Cerny},