2015 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Sat Jan 10 09:27:59 EST 2015
Ending: Sat Dec 19 05:29:06 EST 2015
Messages: 184

• [SMT-LIB] FroCoS 2015: first call for papers   Silvio Ranise
• [SMT-LIB] 10th Ershov Informatics Conference, Call for Papers   Geoff Sutcliffe
• [SMT-LIB] [SMT-COMP] Draft of SMT-LIB 2.5: request for feedback   Delcypher
  • [SMT-LIB] [SMT-COMP] Draft of SMT-LIB 2.5: request for feedback   Florian Lapschies
    • [SMT-LIB] [SMT-COMP] Draft of SMT-LIB 2.5: request for feedback   Delcypher
• [SMT-LIB] Morgan Deters   Clark Barrett
• [SMT-LIB] TABLEAUX/FroCoS Call for Workshops   Geoff Sutcliffe
• [SMT-LIB] ASPCOMP 2015: First Call for Benchmarks   Marco Maratea
• [SMT-LIB] CADE-25 Final Call for Papers   Geoff Sutcliffe
• [SMT-LIB] SMT-COMP 2015: Call for Comments, Benchmarks, Solvers   Tjark Weber
• [SMT-LIB] First Call for Papers, PxTP 2015   Andrei Paskevich
• [SMT-LIB] CADE-25 Workshops- Calls for Papers   Geoff Sutcliffe
• [SMT-LIB] ARW'15: Call for Abstracts and Grant Applications   Geoff Sutcliffe
• [SMT-LIB] LPAR-20 in Fiji - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] TABLEAUX 2015 - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] CFP: 13th International Workshop on Satisfiability Modulo Theories   Dejan Jovanović
• [SMT-LIB] VSTTE 15, Call for Papers   Daniel Bundala
• [SMT-LIB] ASPCOMP 2015: First Call for Participation.   Marco Maratea
• [SMT-LIB] TESTS AND PROOFS - Deadline extended   Geoff Sutcliffe
• [SMT-LIB] Fifth Summer School on Formal Techniques, May 17 - May 22, 2015, Atherton, California   Natarajan Shankar
• [SMT-LIB] LPAR-20 Call for Workshops   Geoff Sutcliffe
• [SMT-LIB] CFP: Horn Clauses for Verification and Synthesis (HCVS 2015)   Jorge A Navas
  • [SMT-LIB] CFP: Horn Clauses for Verification and Synthesis (HCVS 2015)   Jorge A Navas
• [SMT-LIB] Description Logics 2015 - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] 3rd Workshop on Interpolation - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] Standardizing extraction of arrays   Levent Erkok
  • [SMT-LIB] Standardizing extraction of arrays   Alberto Griggio
  • [SMT-LIB] Standardizing extraction of arrays   Tinelli, Cesare
• [SMT-LIB] Horn Clauses for Verification and Synthesis - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] UF unsat benchmarks without equality   Jean-Claude Royer
  • [SMT-LIB] UF unsat benchmarks without equality   Tinelli, Cesare
• [SMT-LIB] QUANTIFY 2015: Call for Papers   Florian Lonsing
  • [SMT-LIB] QUANTIFY 2015: Call for Papers   Florian Lonsing
• [SMT-LIB] FroCoS 2015: second call for papers (extended submission deadline)   Silvio Ranise
• [SMT-LIB] How to submit benchmarks to smtlib   Florian Schanda
  • [SMT-LIB] How to submit benchmarks to smtlib   Christoph Wintersteiger
    • [SMT-LIB] How to submit benchmarks to smtlib   David R. Cok
    • [SMT-LIB] How to submit benchmarks to smtlib   Florian Schanda
      • [SMT-LIB] How to submit benchmarks to smtlib   Christoph Wintersteiger
      • [SMT-LIB] How to submit benchmarks to smtlib   David R. Cok
      • [SMT-LIB] How to submit benchmarks to smtlib   Levent Erkok
      • [SMT-LIB] How to submit benchmarks to smtlib   Florian Schanda
      • [SMT-LIB] How to submit benchmarks to smtlib   Christoph Wintersteiger
      • [SMT-LIB] How to submit benchmarks to smtlib   Martin Brain
• [SMT-LIB] New draft of Version 2.5 of SMT-LIB released   Tinelli, Cesare
  • [SMT-LIB] Fwd: New draft of Version 2.5 of SMT-LIB released   Jochen Hoenicke
  • [SMT-LIB] New draft of Version 2.5 of SMT-LIB released   cok at frontiernet.net
  • [SMT-LIB] New draft of Version 2.5 of SMT-LIB released   Florian Schanda
• [SMT-LIB] Verification Mentoring Workshop Student Scholarships   Geoff Sutcliffe
• [SMT-LIB] Z3 switched to MIT License   Leonardo de Moura
• [SMT-LIB] SMT 2015 - 2nd Call for Papers   Dejan Jovanović
• [SMT-LIB] Last Call for Papers, PxTP 2015   Andrei Paskevich
• [SMT-LIB] TABLEAUX - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] Extended Deadline (May 1), VSTTE'15   Daniel Bundala
• [SMT-LIB] Use of @ and . in a quoted symbol   Delcypher
  • [SMT-LIB] Use of @ and . in a quoted symbol   Tinelli, Cesare
    • [SMT-LIB] Use of @ and . in a quoted symbol   Grant Olney Passmore
    • [SMT-LIB] Use of @ and . in a quoted symbol   Delcypher
• [SMT-LIB] [Jobs] Intel is hiring formal-verification folks   Levent Erkok
• [SMT-LIB] Last Call For Papers: SMT 2015 (Deadline Extended)   Dejan Jovanović
• [SMT-LIB] FroCoS 2015: third cfp   Silvio Ranise
• [SMT-LIB] 3rd FMCAD Student Forum   Geoff Sutcliffe
• [SMT-LIB] Fwd: advertising email   Clark Barrett
• [SMT-LIB] QUANTIFY 2015: Deadline Extension   Florian Lonsing
• [SMT-LIB] Update on SMT-COMP 2015   Tjark Weber
  • [SMT-LIB] Update on SMT-COMP 2015   Florian Schanda
• [SMT-LIB] LPAR-20 in Fiji - Call for Papers and Workshops   Geoff Sutcliffe
• [SMT-LIB] Deadline extended: 2015 SAT/SMT Summer School   Clark Barrett
• [SMT-LIB] EXTENDED DEADLINE: Horn Clauses for Verification and Synthesis (HCVS)   Jorge A Navas
• [SMT-LIB] Call for Papers: GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables   Tomi Janhunen
• [SMT-LIB] SMT-LIB 2.5 is out!   Tinelli, Cesare
  • [SMT-LIB] SMT-LIB 2.5 is out!   Alberto Griggio
    • [SMT-LIB] SMT-LIB 2.5 is out!   Tinelli, Cesare
  • [SMT-LIB] SMT-LIB 2.5 is out!   Martin Brain
• [SMT-LIB] Research position   Fahim Rahim
• [SMT-LIB] Updated SMT-LIB benchmark library   Clark Barrett
• [SMT-LIB] CADE-25 Call for Participation   Geoff Sutcliffe
• [SMT-LIB] GCAI 2015 - Call for Papers   Geoff Sutcliffe
• [SMT-LIB] 2nd Call for Papers: GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables   Tomi Janhunen
• [SMT-LIB] FP demo track at SMT-COMP   Christoph Wintersteiger
  • [SMT-LIB] FP demo track at SMT-COMP   Alberto Griggio
    • [SMT-LIB] FP demo track at SMT-COMP   Alberto Griggio
      • [SMT-LIB] FP demo track at SMT-COMP   Christoph Wintersteiger
      • [SMT-LIB] FP demo track at SMT-COMP   Martin Brain
      • [SMT-LIB] [Smtcomp-discussion] FP demo track at SMT-COMP   Tjark Weber
      • [SMT-LIB] [Smtcomp-discussion] FP demo track at SMT-COMP   Schanda Florian
      • [SMT-LIB] [Smtcomp-discussion] FP demo track at SMT-COMP   Martin Brain
      • [SMT-LIB] [Smtcomp-discussion] FP demo track at SMT-COMP   Tjark Weber
      • [SMT-LIB] [Smtcomp-discussion] FP demo track at SMT-COMP   Christoph Wintersteiger
• [SMT-LIB] FMCAD Student Forum - Call for Contributions   Geoff Sutcliffe
• [SMT-LIB] STAF 2015 - Call for Participation   Geoff Sutcliffe
• [SMT-LIB] TAPAS Call for Papers   Geoff Sutcliffe
• [SMT-LIB] Adding algebraic datatypes to the SMT-LIB 2 language: an initial proposal   Tinelli, Cesare
  • [SMT-LIB] Adding algebraic datatypes to the SMT-LIB 2 language: an initial proposal   Jochen Hoenicke
  • [SMT-LIB] Adding algebraic datatypes to the SMT-LIB 2 language: an initial proposal   Andrew Reynolds
    • [SMT-LIB] Adding algebraic datatypes to the SMT-LIB 2 language: an initial proposal   Tim King
• [SMT-LIB] Response to (exit) Command?   Tjark Weber
  • [SMT-LIB] Response to (exit) Command?   David Deharbe
  • [SMT-LIB] Response to (exit) Command?   Tjark Weber
    • [SMT-LIB] Response to (exit) Command?   Tinelli, Cesare
  • [SMT-LIB] Response to (exit) Command?   Tinelli, Cesare
    • [SMT-LIB] Response to (exit) Command?   Tjark Weber
      • [SMT-LIB] Response to (exit) Command?   Tinelli, Cesare
    • [SMT-LIB] Response to (exit) Command?   Florian Schanda
      • [SMT-LIB] Response to (exit) Command?   cok at frontiernet.net
      • [SMT-LIB] Response to (exit) Command?   Philipp Ruemmer
      • [SMT-LIB] Response to (exit) Command?   rdelmas
    • [SMT-LIB] Response to (exit) Command?   Jochen Hoenicke
• [SMT-LIB] Intl. School on Rewriting ISR 2015, Leipzig, Germany, August 10-14   Carsten Fuhs
• [SMT-LIB] SL-COMP 2015: Call for contributions   Mihaela Sighireanu
• [SMT-LIB] Summer School VTSA: 24-28 August 2015, Koblenz   Viorica Sofronie-Stokkermans
• [SMT-LIB] QBF 2015: Call for Papers   Florian Lonsing
• [SMT-LIB] prompts   cok at frontiernet.net
  • [SMT-LIB] prompts   Tinelli, Cesare
    • [SMT-LIB] prompts   cok at frontiernet.net
      • [SMT-LIB] prompts   Viktor Kuncak
  • [SMT-LIB] prompts   Jochen Hoenicke
• [SMT-LIB] LPAR-20 Workshops - Calls for Papers   Geoff Sutcliffe
• [SMT-LIB] Certified Programs and Proofs (CPP 2016) - Call for papers   Tinelli, Cesare
• [SMT-LIB] Final Call for Papers: GTTV'15 3rd Workshop on Grounding, Transforming, and Modularizing Theories with Variables   Tomi Janhunen
• [SMT-LIB] GCAI 2015 - Extended Deadline (for more good papers)   Geoff Sutcliffe
• [SMT-LIB] user defined records   Amirhossein Vakili
  • [SMT-LIB] user defined records   Tim King
• [SMT-LIB] Opportunities in SAT/SMT   Clark Barrett
• [SMT-LIB] Opportunities in SAT/SMT and releated areas   Clark Barrett
• [SMT-LIB] Yices 2.4.0 released   Bruno Dutertre
• [SMT-LIB] Fwd: Invitation to submit to MACIS 2015   Pascal Fontaine
• [SMT-LIB] TAPAS Call for Participation   Geoff Sutcliffe
• [SMT-LIB] TABLEAUX/FroCoS 2015 - Call for Participation   Geoff Sutcliffe
• [SMT-LIB] LPAR-20 Short Presentation Papers   Geoff Sutcliffe
• [SMT-LIB] overflow checking for bit-vectors   Florian Schanda
  • [SMT-LIB] overflow checking for bit-vectors   Florian Schanda
  • [SMT-LIB] overflow checking for bit-vectors   Johannes Waldmann
  • [SMT-LIB] overflow checking for bit-vectors   Schanda Florian
  • [SMT-LIB] overflow checking for bit-vectors   Christoph Wintersteiger
  • [SMT-LIB] overflow checking for bit-vectors   Martin Brain
  • [SMT-LIB] overflow checking for bit-vectors   Clark Barrett
    • [SMT-LIB] overflow checking for bit-vectors   Viktor Kuncak
• [SMT-LIB] Reminder about posting on this list   Tinelli, Cesare
• [SMT-LIB] Xeon E7 processor anyone?   rdelmas
• [SMT-LIB] 2nd call for papers: Certified Programs and Proofs (CPP 2016)   Tinelli, Cesare
• [SMT-LIB] VCLA International Student Awards: Call for Nominations   Florian Lonsing
• [SMT-LIB] IWIL-11 in Fiji, extended deadline   Geoff Sutcliffe
• [SMT-LIB] QF_BV and division by zero   Clark Barrett
  • [SMT-LIB] QF_BV and division by zero   Alberto Griggio
    • [SMT-LIB] QF_BV and division by zero   Christoph Wintersteiger
  • [SMT-LIB] QF_BV and division by zero   Florian Schanda
    • [SMT-LIB] QF_BV and division by zero   Christoph Wintersteiger
      • [SMT-LIB] QF_BV and division by zero   Aina Niemetz
      • [SMT-LIB] QF_BV and division by zero   Martin Brain
      • [SMT-LIB] QF_BV and division by zero   Viktor Kuncak
      • [SMT-LIB] QF_BV and division by zero   Florian Schanda
  • [SMT-LIB] QF_BV and division by zero   Tjark Weber
    • [SMT-LIB] QF_BV and division by zero   Viktor Kuncak
      • [SMT-LIB] QF_BV and division by zero   Tjark Weber
  • [SMT-LIB] QF_BV and division by zero   Levent Erkok
• [SMT-LIB] LPAR-20 in Fiji - Registration is open   Geoff Sutcliffe
• [SMT-LIB] LPAR-20 in Fiji - Register now   Geoff Sutcliffe
• [SMT-LIB] VCLA International Student Awards 2015 - deadline extended to Nov. 22   Florian Lonsing
• [SMT-LIB] Artificial Intelligence and Theorem Proving   Geoff Sutcliffe
• [SMT-LIB] question on terminology: the kind of equisatisfiability that we actually want   Johannes Waldmann
  • [SMT-LIB] question on terminology: the kind of equisatisfiability that we actually want   Johannes Waldmann
• [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Zhoulai
  • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Levent Erkok
    • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Zhoulai
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Levent Erkok
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Martin Brain
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Christoph Wintersteiger
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Martin Brain
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Levent Erkok
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Schanda Florian
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Zhoulai
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Martin Brain
      • [SMT-LIB] A beginner's question about Wintersteiger's benchmark   Christoph Wintersteiger
• [SMT-LIB] HCVS 2016: 3rd Workshop on Horn Clauses for Verification and Synthesis   Philipp Ruemmer
• [SMT-LIB] CFP: TPLP special issue on New Trends of Constraint Logic Programming   Cesare Tinelli
• [SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?   Zhoulai
  • [SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?   Martin Brain
  • [SMT-LIB] What does "c::main::1::IN!0 at 1#0" mean in a SMT-lib file?   Johannes Waldmann
• [SMT-LIB] Unknown status in Griggio's benchmark (QF_FP)   Zhoulai
  • [SMT-LIB] Unknown status in Griggio's benchmark (QF_FP)   Christoph Wintersteiger
• [SMT-LIB] SMT-COMP results on QF_FP   Zhoulai
  • [SMT-LIB] SMT-COMP results on QF_FP   Martin Brain
  • [SMT-LIB] SMT-COMP results on QF_FP   Tjark Weber

Last message date: Sat Dec 19 05:29:06 EST 2015
Archived on: Sat Dec 19 05:30:01 EST 2015

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...