Streams

• IJCAR 2020

  topics

  • CASC 22 [2020-07-03 8:14:4 (GMT)]
  • CCFV with SAT 7 [2020-07-05 10:42:8 (GMT)]
  • HO unification talk 35 [2020-07-02 16:41:52 (GMT)]
  • Invited talk by J. Harrison (7/01) 9 [2020-07-01 14:35:33 (GMT)]
  • LNCS 1 [2020-07-18 13:35:28 (GMT)]
  • PyRes 29 [2020-07-06 20:29:30 (GMT)]
  • Redundancy of clauses and inferences 3 [2020-07-01 15:33:43 (GMT)]
  • Start of CASC 70 [2020-07-02 15:36:10 (GMT)]
  • about. 90 [2020-07-04 14:37:21 (GMT)]

• IsaFoL

  topics

  • Formalizing equality literals 19 [2020-04-07 14:15:20 (GMT)]
  • LPAR accepted paper 5 [2020-04-08 9:13:3 (GMT)]
  • generating documentation 62 [2020-04-09 8:32:55 (GMT)]
  • hello 1 [2019-03-30 17:26:37 (GMT)]
  • license 13 [2020-04-07 12:22:24 (GMT)]

• Lean Forward

  topics

  • hello 2 [2019-04-03 11:2:56 (GMT)]
  • welcome 1 [2019-03-29 21:42:9 (GMT)]

• Matryoshka

  topics

  • (cont): long lived academic content 14 [2020-07-08 0:24:55 (GMT)]
  • Benchmark sets 14 [2019-04-03 16:40:34 (GMT)]
  • BoolSimp 10 [2020-03-27 17:12:10 (GMT)]
  • Bools 34 [2020-03-23 17:14:45 (GMT)]
  • CADE 2019 papers 5 [2019-04-19 15:56:26 (GMT)]
  • Calculi Names 11 [2020-03-28 15:56:44 (GMT)]
  • Calculus proposal for FOL with interpreted Booleans 238 [2020-04-06 17:26:3 (GMT)]
  • Clauses as terms with 1ˢᵗ-class bools 210 [2020-04-16 14:0:49 (GMT)]
  • Coauthorship HOSUP/FO with interpreted bool 17 [2020-04-06 9:45:10 (GMT)]
  • Combinators vs Lambdas 43 [2020-04-02 11:44:15 (GMT)]
  • Connectedness criterion 26 [2020-06-26 20:6:39 (GMT)]
  • Defintion of the TRS with booleans 19 [2020-04-08 16:42:42 (GMT)]
  • Delaying open terms 17 [2020-06-10 17:35:42 (GMT)]
  • Description of PruneArg 22 [2020-03-10 10:1:7 (GMT)]
  • DupSup and completeness 25 [2020-05-25 17:52:34 (GMT)]
  • Embedding Path Order 37 [2020-01-23 9:13:33 (GMT)]
  • Enumeration of bool functions 8 [2020-07-08 12:39:38 (GMT)]
  • Evatar (avatar-lite) 29 [2020-02-07 23:18:4 (GMT)]
  • ExtInf 27 [2020-06-02 11:23:54 (GMT)]
  • FluidCases 20 [2020-04-17 7:40:48 (GMT)]
  • Full HOL sup 70 [2020-05-12 12:59:34 (GMT)]
  • GRUNGE paper 2 [2019-08-09 8:26:0 (GMT)]
  • Git repositories 11 [2020-08-17 8:59:28 (GMT)]
  • HOSup (and BoolSup) 44 [2020-06-03 15:4:15 (GMT)]
  • HOunif reeval 17 [2020-04-15 19:24:58 (GMT)]
  • Injectivity 14 [2020-01-25 18:56:22 (GMT)]
  • LPAR 2021 7 [2020-04-19 11:1:36 (GMT)]
  • Lambda-free superposition 29 [2020-04-06 18:57:35 (GMT)]
  • Lazy clausification 16 [2020-03-18 12:4:39 (GMT)]
  • Lazy clausification for FOOL 24 [2020-03-26 19:38:36 (GMT)]
  • Lean together 2021 14 [2021-01-08 19:2:35 (GMT)]
  • Matryoshka web site 3 [2019-04-03 16:20:43 (GMT)]
  • Moving the Matryoshka git repo 15 [2020-06-16 13:48:14 (GMT)]
  • Name for simp rule 8 [2020-06-16 9:5:3 (GMT)]
  • Nasty (performance) bug 6 [2020-04-18 16:9:14 (GMT)]
  • New AVATAR issue 10 [2020-04-22 17:25:21 (GMT)]
  • Non-syntactic heuristics 18 [2020-04-15 9:8:59 (GMT)]
  • Paper draft - Verifying Saturation Provers Modularly 30 [2020-09-15 20:54:3 (GMT)]
  • Positive/Negative simplify reflect + AC reasoning 16 [2020-04-01 8:25:56 (GMT)]
  • Problem SEU794^2 4 [2020-05-11 7:25:34 (GMT)]
  • Problem SEU868^5 20 [2020-05-05 10:34:3 (GMT)]
  • Problem SEU909^5 25 [2020-05-14 23:3:19 (GMT)]
  • Profiler 5 [2020-04-16 15:0:46 (GMT)]
  • SEU929^5 27 [2020-05-18 14:18:13 (GMT)]
  • SEV244^5 22 [2020-05-27 20:35:12 (GMT)]
  • SYO544^4 19 [2020-05-29 17:57:37 (GMT)]
  • Santa Clause 1 [2020-08-12 19:51:40 (GMT)]
  • Saturation framework 36 [2020-04-30 8:18:52 (GMT)]
  • Saturation framework for FOL with Booleans? 19 [2020-04-14 17:3:50 (GMT)]
  • Skolemization and saturation framework 42 [2020-04-29 19:35:48 (GMT)]
  • Soundness theorems 10 [2020-04-23 7:49:57 (GMT)]
  • Standard HOL 24 [2020-03-26 11:29:30 (GMT)]
  • Superposition and EqFact conditions 8 [2020-06-09 13:59:55 (GMT)]
  • Superposition for FOL with interpreted Booleans 220 [2020-04-22 8:5:27 (GMT)]
  • Superposition for lambda-free HOL 10 [2020-04-16 7:42:14 (GMT)]
  • Superposition with Lambdas 80 [2020-04-09 8:41:9 (GMT)]
  • Superposition with lambdas 170 [2020-04-17 12:0:3 (GMT)]
  • System description 5 [2020-06-18 8:39:42 (GMT)]
  • Terminology question 22 [2020-06-18 9:35:57 (GMT)]
  • Testing 1 [2019-04-03 6:53:35 (GMT)]
  • Unification modulo vs Cases 19 [2020-04-01 8:41:6 (GMT)]
  • VU people 6 [2020-05-03 6:41:43 (GMT)]
  • Vampire's new HO Superposition calculus 28 [2020-01-23 9:40:40 (GMT)]
  • curious about this set-based ITP 7 [2020-11-23 15:39:27 (GMT)]
  • eligible literals 38 [2020-04-26 17:37:37 (GMT)]
  • evil axioms 3 [2019-04-09 15:21:6 (GMT)]
  • hello 1 [2019-03-21 16:37:44 (GMT)]
  • motivational_story.jpg 8 [2020-05-13 6:48:58 (GMT)]
  • opam switch 4.10.0(+flambda) 2 [2020-03-25 13:36:21 (GMT)]
  • smt-proofs-equality-order 10 [2020-10-22 15:34:7 (GMT)]
  • welcome 1 [2019-03-21 20:44:12 (GMT)]
  • δElim and basic superposition 173 [2020-03-26 17:1:59 (GMT)]

• Output formats

  topics

  • hello 3 [2019-10-07 14:41:30 (GMT)]

• PAAR 2020

  topics

  • PAAR 2020 proceedings 1 [2020-11-27 9:42:43 (GMT)]
  • Session 1: June 29, 14:00 - 15:30 (CET) 19 [2020-06-29 15:8:15 (GMT)]
  • Session 2: June 29 16:00 - 17:30 (CET) 10 [2020-06-29 15:57:48 (GMT)]
  • Session 3: June 30, 13:30 - 15:30 (CET) 50 [2020-06-30 15:10:39 (GMT)]
  • Session 4: June 30, 16:00 - 17:30 (CET) 20 [2020-06-30 16:0:56 (GMT)]
  • Session 5: Jne 30, 18:00 - 19:30 (CET) 5 [2020-06-30 17:26:25 (GMT)]
  • Session 5: June 30, 18:00 - 19:30 (CET) 3 [2020-06-30 17:40:50 (GMT)]
  • Where will we find the recordings? 6 [2020-06-30 11:16:24 (GMT)]
  • coffee breaks 20 [2020-06-30 13:46:23 (GMT)]
  • general informations and questions 2 [2020-06-29 9:53:31 (GMT)]
  • stream events 1 [2020-06-26 21:18:33 (GMT)]

• Zipperposition

  topics

  • --unif-bool 5 [2020-03-27 16:24:59 (GMT)]
  • Access rights 45 [2019-05-10 14:43:9 (GMT)]
  • Avatar proof reconstruction 1 [2020-04-30 12:57:17 (GMT)]
  • CASC registration 53 [2020-07-02 16:36:7 (GMT)]
  • CASC system description 9 [2020-06-02 6:25:10 (GMT)]
  • CASC-27 34 [2019-09-11 17:54:45 (GMT)]
  • CASC-J10 6 [2020-04-28 8:13:14 (GMT)]
  • CC algorithm 28 [2020-04-29 19:48:7 (GMT)]
  • CNF Proof checking 78 [2019-08-21 14:44:47 (GMT)]
  • Code cleanup for 1.6 1 [2019-07-30 17:54:30 (GMT)]
  • Compiling Zipperposition 14 [2019-11-01 16:22:53 (GMT)]
  • Compiling on Mac 1 [2020-07-14 11:56:1 (GMT)]
  • Documentation 10 [2021-01-15 18:50:53 (GMT)]
  • E(hoh) bug 13 [2020-05-01 12:18:39 (GMT)]
  • ElimPredVars 17 [2020-03-14 19:25:33 (GMT)]
  • Finite domains 28 [2021-01-12 17:19:33 (GMT)]
  • HO techniques paper 97 [2020-10-27 17:6:53 (GMT)]
  • HO techniques paper, or "should we delete orphans?" 42 [2020-11-16 17:55:11 (GMT)]
  • Isabelle 14 [2020-07-19 15:31:40 (GMT)]
  • LTB/GRUNGE 2 [2020-05-12 12:50:34 (GMT)]
  • Lightweight AVATAR 101 [2020-08-05 13:36:41 (GMT)]
  • Logo 2 [2020-10-15 14:48:11 (GMT)]
  • MSat tseitin 1 [2020-04-27 10:17:29 (GMT)]
  • Make parsers/printers simpler 6 [2020-02-15 21:15:58 (GMT)]
  • Meeting (november) 1 [2019-10-07 13:15:6 (GMT)]
  • Meeting 2019-10-7 1 [2019-10-07 13:22:17 (GMT)]
  • Merge back into master 41 [2019-12-05 20:55:45 (GMT)]
  • Move the project? [done] 4 [2019-08-01 16:46:37 (GMT)]
  • Msat_tseitin 9 [2020-04-27 12:32:23 (GMT)]
  • Name 16 [2020-07-14 15:44:54 (GMT)]
  • Next meeting (december/january)? 1 [2019-12-11 19:58:14 (GMT)]
  • Orphans & Immediate simplification in Zip 26 [2020-04-04 11:36:20 (GMT)]
  • Output format (TSTP) 4 [2019-06-25 14:41:24 (GMT)]
  • Performance 14 [2020-04-21 13:39:17 (GMT)]
  • Polymorphic ArgCong 33 [2020-04-28 17:42:42 (GMT)]
  • Polymorphism 5 [2020-03-10 16:33:35 (GMT)]
  • Proof checker 13 [2019-06-26 13:24:44 (GMT)]
  • Proof checker: λs & booleans 6 [2019-09-04 14:5:3 (GMT)]
  • Regression tests 3 [2020-02-10 0:52:22 (GMT)]
  • Release 1.6 91 [2019-05-01 15:25:15 (GMT)]
  • SimplSet 4 [2020-02-18 13:59:17 (GMT)]
  • Tooling for multiple projects? 1 [2019-08-09 19:33:24 (GMT)]
  • Very strange bug in Zip 32 [2020-07-20 14:23:40 (GMT)]
  • ZipperPosition 23 [2020-03-10 16:27:6 (GMT)]
  • Zipperposition meeting 9 [2019-09-03 17:6:5 (GMT)]
  • Zipperposition meeting 2019-09-4 20 [2019-10-01 7:15:5 (GMT)]
  • Zipperposition workshop 2019 19 [2019-08-01 20:52:28 (GMT)]
  • benchpress: benchmarking tool 21 [2020-05-28 3:5:55 (GMT)]
  • cached properties 55 [2019-11-26 19:51:17 (GMT)]
  • clarifications 86 [2019-05-29 14:22:7 (GMT)]
  • cleaning Zip 8 [2019-11-13 16:54:50 (GMT)]
  • code style 2 [2019-05-15 18:45:26 (GMT)]
  • combinators 56 [2019-11-26 18:32:41 (GMT)]
  • hello 1 [2019-03-21 15:42:43 (GMT)]
  • meeting 2020-02-18 4 [2020-02-20 1:8:6 (GMT)]
  • minisat-ml 40 [2019-04-18 21:11:43 (GMT)]
  • orphans? 12 [2020-01-27 8:35:27 (GMT)]
  • programmers 4 [2019-03-25 14:37:3 (GMT)]
  • recent library updates 19 [2019-03-21 19:46:18 (GMT)]
  • release 1.6.1? 8 [2020-01-22 16:50:23 (GMT)]
  • release 2.0 42 [2020-12-14 18:16:55 (GMT)]
  • retrocompatibility 1 [2019-04-22 20:38:45 (GMT)]
  • sequences 13 [2019-10-07 8:16:10 (GMT)]
  • stream events 1 [2020-04-09 11:42:36 (GMT)]
  • use Dolmen for parsing 4 [2020-10-23 14:56:38 (GMT)]

• bookclub

  topics

  • 2020-04-16 at 16:00 (CEST): Nieuwenhuis et al. - Solving ... 5 [2020-04-27 14:24:8 (GMT)]
  • 2020-04-16: Nieuwenhuis et al. - Solving SAT and SMT 10 [2020-04-16 15:6:53 (GMT)]
  • 2020-04-16: next paper and next meeting 4 [2020-04-08 16:3:24 (GMT)]
  • 2020-04-30 at 15:00 (CEST): Voronkov - AVATAR: The Archit... 9 [2020-04-30 13:0:11 (GMT)]
  • 2020-04-30: paper choice 46 [2020-04-20 11:10:2 (GMT)]
  • 2020-05-14 at 15:00 (CET): Brown - Reducing HO to SAT 8 [2020-05-18 9:57:59 (GMT)]
  • 2020-05-28 at 15:00 (CET): ?? 5 [2020-05-20 21:40:26 (GMT)]
  • 2020-05-28 at 15:00 (CET): Labelled Clauses 4 [2020-05-28 9:49:27 (GMT)]
  • 2020-05-?? 7 [2020-05-14 15:17:9 (GMT)]
  • 2020-05-?? : Satallax 25 [2020-05-07 12:53:40 (GMT)]
  • 2020-06-1 at 15:00 (CET): ??? 15 [2020-05-29 9:37:25 (GMT)]
  • 2020-06-11 at 15:00 (CET): ??? 3 [2020-05-29 13:33:6 (GMT)]
  • 2020-06-11 at 15:00 (CET): Möhle & Biere - Backing Backtr... 15 [2020-06-11 14:15:38 (GMT)]
  • 2020-06-25 at 15:00 (CET): ? 4 [2020-06-11 14:19:58 (GMT)]
  • 2020-06-25 at 15:00 (CET): A metaprogramming framework fo... 5 [2020-06-25 13:43:30 (GMT)]
  • 2020-07-09 at 15:00 (CET): ? 3 [2020-06-26 16:56:2 (GMT)]
  • 2020-07-23 at 15:00 (CET): ??? 2 [2020-07-06 11:18:17 (GMT)]
  • 2020-07-23 at 15:00 (CET): AUTO2, a saturation-based heur... 3 [2020-07-23 13:10:51 (GMT)]
  • 2020-09-03 at 15:00 (CET): A Unified Ordering for Termina... 12 [2020-09-03 13:33:7 (GMT)]
  • 2020-09-23 at 15:00 (CET): ?? 1 [2020-08-21 5:58:50 (GMT)]
  • 2020-10-01 at 15:00 (CET): Politeness for The Theory of A... 2 [2020-10-01 12:51:12 (GMT)]
  • 2020-10-29 at 15:00 (CET): ?? 13 [2020-10-16 18:31:59 (GMT)]
  • 2020-10-29 at 15:00 (CET): Using Resolution Proofs to Ana... 2 [2020-10-29 14:1:8 (GMT)]
  • 2020-11-26 at 15:00 (CET): ?? 3 [2020-11-03 9:14:49 (GMT)]
  • 2020-11-26 at 15:00 (CET): Kodkod, from Torlak and Jackson 4 [2020-11-28 20:18:3 (GMT)]
  • 2020-?? : ?? 8 [2020-09-10 8:37:10 (GMT)]
  • 2021-01-21 at 15:00 (CET): A Minimalistic Verified Bootst... 8 [2021-01-21 15:15:58 (GMT)]
  • 2021-01-21 at 15:00 (CET): TBD 4 [2021-01-07 12:48:33 (GMT)]
  • 2021-02-18 at 15:00 (CET): ? 4 [2021-01-22 10:56:54 (GMT)]
  • compare to "papers we love" 1 [2020-05-12 18:20:9 (GMT)]
  • next session (TBD) 19 [2020-08-18 14:9:32 (GMT)]
  • organisation 12 [2020-05-27 19:52:53 (GMT)]
  • paper proposals 87 [2020-04-21 17:34:12 (GMT)]
  • stream events 63 [2020-04-08 15:40:44 (GMT)]

• new members

  topics

  • more testing 3 [2019-08-15 15:42:31 (GMT)]
  • onboarding 12 [2019-03-21 19:31:54 (GMT)]
  • onboarding2 7 [2019-04-02 22:42:57 (GMT)]

• shameless (but AR related) advertisements

  topics

  • CADE-28 Call for Papers, Workshops, Tutorials, and Competiti 4 [2020-10-21 11:46:25 (GMT)]
  • CADE-28: Call for Tutorials 1 [2020-11-23 15:17:21 (GMT)]
  • CADE-28: call for papers 7 [2021-01-22 21:40:43 (GMT)]
  • CAV (Computer Aided Verification) 2021 artifact evaluator? 1 [2020-10-29 21:40:54 (GMT)]
  • SAT 2021: call for papers 2 [2021-01-14 11:39:0 (GMT)]
  • stream events 1 [2020-08-18 15:51:19 (GMT)]

• veriT

  topics

  • Enumerative Quantifier Instantiation 123 [2020-08-15 13:48:54 (GMT)]
  • Installation 5 [2020-07-08 11:9:32 (GMT)]
  • Proofonomicon 1 [2020-09-17 18:1:11 (GMT)]
  • future-directions 1 [2020-06-22 12:20:33 (GMT)]
  • higher order 15 [2020-06-29 12:18:43 (GMT)]
  • isabelle-smt 75 [2020-10-21 18:5:48 (GMT)]
  • issues-rmx-only 19 [2020-06-22 12:58:7 (GMT)]
  • lia_generic Rule 12 [2020-06-22 20:0:3 (GMT)]
  • proof checking 206 [2020-08-05 18:5:37 (GMT)]
  • proof rule names 26 [2020-10-07 11:18:46 (GMT)]
  • proof rules 70 [2020-09-07 14:56:22 (GMT)]
  • sat solver 24 [2020-07-30 13:20:34 (GMT)]
  • smt-comp 54 [2020-05-19 10:56:16 (GMT)]
  • stream events 1 [2020-04-14 14:45:22 (GMT)]

• zipperposition

  topics

  • Access rights 45 [2019-05-10 14:43:9 (GMT)]
  • CASC-27 34 [2019-09-11 17:54:45 (GMT)]
  • CNF Proof checking 78 [2019-08-21 14:44:47 (GMT)]
  • Code cleanup for 1.6 1 [2019-07-30 17:54:30 (GMT)]
  • Compiling Zipperposition 14 [2019-11-01 16:22:53 (GMT)]
  • ElimPredVars 17 [2020-03-14 19:25:33 (GMT)]
  • Make parsers/printers simpler 6 [2020-02-15 21:15:58 (GMT)]
  • Meeting (november) 1 [2019-10-07 13:15:6 (GMT)]
  • Meeting 2019-10-7 1 [2019-10-07 13:22:17 (GMT)]
  • Merge back into master 41 [2019-12-05 20:55:45 (GMT)]
  • Move the project? [done] 4 [2019-08-01 16:46:37 (GMT)]
  • Next meeting (december/january)? 1 [2019-12-11 19:58:14 (GMT)]
  • Output format (TSTP) 4 [2019-06-25 14:41:24 (GMT)]
  • Polymorphism 5 [2020-03-10 16:33:35 (GMT)]
  • Proof checker 13 [2019-06-26 13:24:44 (GMT)]
  • Proof checker: λs & booleans 6 [2019-09-04 14:5:3 (GMT)]
  • Regression tests 3 [2020-02-10 0:52:22 (GMT)]
  • Release 1.6 91 [2019-05-01 15:25:15 (GMT)]
  • SimplSet 4 [2020-02-18 13:59:17 (GMT)]
  • Tooling for multiple projects? 1 [2019-08-09 19:33:24 (GMT)]
  • ZipperPosition 24 [2020-03-10 16:27:6 (GMT)]
  • Zipperposition meeting 9 [2019-09-03 17:6:5 (GMT)]
  • Zipperposition meeting 2019-09-4 20 [2019-10-01 7:15:5 (GMT)]
  • Zipperposition workshop 2019 19 [2019-08-01 20:52:28 (GMT)]
  • benchpress: benchmarking tool 20 [2020-02-29 1:28:7 (GMT)]
  • cached properties 55 [2019-11-26 19:51:17 (GMT)]
  • clarifications 86 [2019-05-29 14:22:7 (GMT)]
  • cleaning Zip 8 [2019-11-13 16:54:50 (GMT)]
  • code style 2 [2019-05-15 18:45:26 (GMT)]
  • combinators 56 [2019-11-26 18:32:41 (GMT)]
  • hello 1 [2019-03-21 15:42:43 (GMT)]
  • meeting 2020-02-18 4 [2020-02-20 1:8:6 (GMT)]
  • minisat-ml 40 [2019-04-18 21:11:43 (GMT)]
  • orphans? 12 [2020-01-27 8:35:27 (GMT)]
  • programmers 4 [2019-03-25 14:37:3 (GMT)]
  • recent library updates 19 [2019-03-21 19:46:18 (GMT)]
  • release 1.6.1? 8 [2020-01-22 16:50:23 (GMT)]
  • retrocompatibility 1 [2019-04-22 20:38:45 (GMT)]
  • sequences 13 [2019-10-07 8:16:10 (GMT)]

• zulip

  topics

  • Archive 8 [2020-12-17 18:18:59 (GMT)]
  • Meta: zulip usage 10 [2020-07-16 13:46:57 (GMT)]
  • Odd browser icon 10 [2020-10-29 9:26:39 (GMT)]
  • Stream for IJCAR and workshops? 9 [2020-06-02 15:38:29 (GMT)]
  • second topic 1 [2019-03-21 15:36:54 (GMT)]
  • topic demonstration 2 [2019-03-21 15:36:54 (GMT)]