10:00am
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Where, What, and How? Lessons from the Evolution of E
|
11:00am
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Semantic Features for Large-Theory Automated Reasoning
|
12:00 noon
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
The Random Ranger - Random Forests for ATP
|
2:30pm
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Some Ideas about Making ATPs for Large Theories
|
3:30pm
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Is Isabelle/HOL HOL?
|
4:30pm
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Formalizing Resolution Theorem Proving
|
10:00am
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Exporting HOL Light and HOL4 libraries into a theorem proving framework
|
11:00am
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Some Algorithms for Translating between Informal and Formal Mathematics
|
12:00 noon
Building E, Room 112 at
Karlovo náměstí 13, Prague 2 |
Multiagent Planning by Plan Set Intersection and Plan Verification
|