Cl-isabelle-users December 2020 Archives by author

• December 2020 messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...
• List archive Table of Contents

• Andrei Popescu, andrei.h.popescu at gmail.com
  • [isabelle] CPP 2021: Call for Participation and Lightning Talks - Tue, 22 Dec 2020 18:37:06 +0000
• Carsten Fuhs, carsten at dcs.bbk.ac.uk
  • [isabelle] FSCD 2021: Second Call for Workshop Proposals (deadline 6 Dec 2020) - Tue, 01 Dec 2020 13:15:54 +0000
  • [isabelle] FSCD 2021: Third Call for Workshop Proposals - Extended Deadline: 20 Dec 2020 - Wed, 09 Dec 2020 13:49:16 +0000
• Clemens Ballarin, ballarin at in.tum.de
  • [isabelle] Debug facilities of locales - Mon, 14 Dec 2020 20:36:44 +0000
• David E. Narvaez, den9562 at rit.edu
  • Re: [isabelle] Sub/superscripts in document preparation - Tue, 01 Dec 2020 22:28:53 +0000
• David Kretzmer, david.k at posteo.de
  • [isabelle] Efficient code for inductive predicates - Wed, 02 Dec 2020 15:46:12 +0000
  • Re: [isabelle] Efficient code for inductive predicates - Thu, 03 Dec 2020 10:10:39 +0000
• Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] Isabelle2021-RC0: Java/VM monitor - Fri, 04 Dec 2020 22:56:51 +0000
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Fri, 04 Dec 2020 23:04:24 +0000
• Gerwin Klein, kleing at unsw.edu.au
  • [isabelle] New in the AFP: Finite Map Extras - Tue, 01 Dec 2020 21:31:38 +0000
• itp2021-workshops, itp2021-workshops at easyconferences.eu
  • [isabelle] ITP2021: Call for Workshops - Thu, 03 Dec 2020 16:16:39 +0000
• Jasmin Blanchette via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Question regarding nitpick - Fri, 18 Dec 2020 14:54:40 +0000
• John F. Hughes, jfh at cs.brown.edu
  • Re: [isabelle] Question regarding nitpick - Fri, 11 Dec 2020 12:10:58 +0000
• Kristin Yvonne Rozier, kyrozier at iastate.edu
  • [isabelle] Postdoc and PhD Positions @ Iowa State University - Sun, 06 Dec 2020 02:30:30 +0000
• Lawrence Paulson, lp15 at cam.ac.uk
  • [isabelle] Another ZF entry for the AFP - Mon, 28 Dec 2020 10:54:09 +0000
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Mon, 28 Dec 2020 11:07:17 +0000
  • [isabelle] Formalising Ordinal Partition Relations - Tue, 01 Dec 2020 16:07:13 +0000
  • [isabelle] new in the AFP: The Verification of Cryptographic Protocols - Mon, 07 Dec 2020 12:17:52 +0000
• Leon Hansen, lhansen at uni-bremen.de
  • Re: [isabelle] Question regarding nitpick - Fri, 11 Dec 2020 12:24:13 +0000
  • [isabelle] Question regarding nitpick - Thu, 10 Dec 2020 15:35:59 +0000
  • Re: [isabelle] Question regarding nitpick - Sat, 19 Dec 2020 10:02:52 +0000
• Makarius, makarius at sketis.net
  • [isabelle] Isabelle2021-RC1 available for testing - Sun, 27 Dec 2020 19:15:13 +0000
  • Re: [isabelle] Sub/superscripts in document preparation - Tue, 01 Dec 2020 22:36:24 +0000
  • Re: [isabelle] Isabelle2021-RC0 available for early experiments - Fri, 04 Dec 2020 12:49:52 +0000
• Manuel Eberl, eberlm at in.tum.de
  • [isabelle] Using LaTeX output print mode for source text - Wed, 09 Dec 2020 16:36:18 +0000
• Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Wed, 16 Dec 2020 08:52:41 +0000
• Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Mon, 28 Dec 2020 16:05:57 +0000
  • [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Sun, 27 Dec 2020 15:58:28 +0000
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Tue, 29 Dec 2020 12:38:14 +0000
• Peter Achten, P.Achten at cs.ru.nl
  • [isabelle] [TFPIE'21] Second Call For Papers: Trends in Functional Programming *in Education* 2021, 16 February 2021 (with Lambda Days 2021 & TFP 2021) - Fri, 18 Dec 2020 16:00:09 +0000
  • [isabelle] [TFP'21] second call for papers: Trends in Functional Programming 2021, 18-19 February (online event with Lambda Days 2021 & TFPIE 2021) - Tue, 08 Dec 2020 16:00:01 +0000
• Peter Lammich, lammich at in.tum.de
  • Re: [isabelle] Efficient code for inductive predicates - Wed, 02 Dec 2020 16:33:43 +0000
  • Re: [isabelle] Efficient code for inductive predicates - Wed, 02 Dec 2020 16:36:57 +0000
• Peter Sewell, Peter.Sewell at cl.cam.ac.uk
  • [isabelle] Postdoc and research engineer positions in Semantics and Verification for Secure Systems Software - Wed, 09 Dec 2020 18:13:13 +0000
• PriSC PC Chairs, prisc.pc.chairs at gmail.com
  • [isabelle] PriSC 2021: call for participation and short talks - Thu, 03 Dec 2020 17:25:56 +0000
• Rob Lewis, rob.y.lewis at gmail.com
  • [isabelle] Lean Together 2021: January 4-7, Call for Participation - Sun, 06 Dec 2020 23:55:37 +0000
• Rozman, Mihaela, mihaela.rozman at tuwien.ac.at
  • [isabelle] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture - Thu, 10 Dec 2020 14:40:49 +0000
• Stepan Holub, holub at karlin.mff.cuni.cz
  • [isabelle] take_all is equivalence - Tue, 08 Dec 2020 13:31:05 +0000
• Temur Kutsia, kutsia at risc.jku.at
  • [isabelle] Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification - Mon, 14 Dec 2020 07:37:09 +0000
  • [isabelle] 2nd CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification - Tue, 01 Dec 2020 14:02:33 +0000
• Tobias Nipkow, nipkow at in.tum.de
  • [isabelle] New AFP entry: Full name: Relational Minimum Spanning Tree Algorithms - Tue, 08 Dec 2020 12:15:07 +0000
  • Re: [isabelle] take_all is equivalence - Tue, 08 Dec 2020 21:06:36 +0000
• Thiemann, René, Rene.Thiemann at uibk.ac.at
  • [isabelle] New in the AFP: Topological semantics for paraconsistent and paracomplete logics - Tue, 22 Dec 2020 13:12:35 +0000
• Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • Re: [isabelle] Sub/superscripts in document preparation - Wed, 02 Dec 2020 18:48:55 +0000