Prague Automated Reasoning Seminar

It usually takes place on Friday afternoon in CIIRC building A, 6th floor, room A623, Jugoslávských partyzánů 1580/3, Prague 6.

Forthcomming Seminars

Tuesday 19th September 2017, 2:30pm
CIIRC building A, 6th floor, room A622 at Jugoslávských partyzánů 1580/3, Prague 6
Ramana Kumar, Data61
Demo of CakeML

Past Seminars

Thursday 22nd June 2017, 3:00pm
CIIRC building A, 6th floor, room A623 at Jugoslávských partyzánů 1580/3, Prague 6
Jet Engine Software
Friday 16th June 2017, 2:30pm
CIIRC building A, 6th floor, room A623 at Jugoslávských partyzánů 1580/3, Prague 6
The Common HOL Platform
Friday 26th May 2017, 2:30pm
CIIRC building A, 6th floor, room A623 at Jugoslávských partyzánů 1580/3, Prague 6
"What I have been doing during my spring vacation in Prague"
Tuesday 27th December 2016, 2:00pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
The mystery of QBF tautologies
Monday 14th November 2016, 2:00pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Mechanizing Meta-Theory in Beluga
Monday 31st October 2016, 2:00pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
New Techniques in Clausal Form Generation
Tuesday 25th October 2016, 12:45am
BLOX building 8th floor at Evropská 2785/11, Prague 6
Lifted Relational Neural Networks
Thursday 14th July 2016, 2:00pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Blocked clause elimination for first-order logic
Monday 30th May 2016, 2:00pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Knot recognition by SAT and ATP
[pdf]
Friday 6th May 2016, 1:30pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Initial Experiments with Neural Networks using TensorFlow Framework
Friday 1st April 2016, 2:30pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Prover9 and Solving Open Problems Using Hints
Wednesday 9th March 2016, 11:00am
BLOX building 6th floor at Evropská 2785/11, Prague 6
Concept Matching Between Formal Libraries
Friday 4th March 2016, 11:00am
BLOX building 6th floor at Evropská 2785/11, Prague 6
Finding Finite Models in Multi-Sorted First Order Logic
Friday 19th February 2016, 2:30pm
BLOX building 6th floor at Evropská 2785/11, Prague 6
Improvements of E Prover
[pdf]
Monday 7th April 2014, 4:15pm
Room 112
Multiagent Planning by Iterative Negotiation over Distributed Planning Graphs - Part 2
Monday 24th March 2014, 4:15pm
Room 112
Multiagent Planning by Iterative Negotiation over Distributed Planning Graphs - Part 1
Monday 10th March 2014, 4:15pm
Room 112
Lemma mining over HOL Light
Monday 18th November 2013, 4:05pm
Room 112
Undecidability of Consequence Relation in Full Non-associative Lambek Calculus
Monday 21st October 2013, 4:05pm
Room 112
Automated Generating of Hypotheses by Genetic Algorithms
Monday 7th October 2013, 4:15pm
Room 112
Automated Reasoning Service for HOL Light
Monday 29th April 2013, 4:15pm
Room 112
General Bindings and Alpha-Equivalence in Nominal Isabelle
Monday 18th March 2013, 4:15pm
Room 112
Monday 4th March 2013, 4:15pm
Room 112
Duality in STRIPS planning II
Monday 18th February 2013, 4:15pm
Room 112
Duality in STRIPS planning I
Wednesday 2nd January 2013, 1:30pm
Room 112
Executing HOL Project in the Isabelle theorem prover
Monday 21st January 2013, 4:15pm
Room 112
Agda and Coq
Friday 21st December 2012, 4:00pm
Room 112
On Propositional QBF Expansions and Q-Resolution
Monday 3rd December 2012, 4:15pm
Room 112
ATP over Flyspeck
Monday 19th November 2012, 4:15pm
Room 112
Semantic guidance for unbounded symbolic reachability
Monday 5th November 2012, 4:15pm
Room 112
Scheduling with and without Z3