| Authors | Title | Paper | Talk |
|---|
| Bruno Buchberger | The Theorema Approach to Mathematics |  | Jul 17 14:30 |
| Hoon Hong | Test-Input Generation using Computational Real Algebraic Geometry | | Jul 18 09:15 |
| Michael Rusinowitch | Automated verification of security protocols and services | | Jul 18 14:30 |
| Viorica Sofronie-Stokkermans | Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems | | Jul 17 09:00 |
| Sandra Alves, Besik Dundua, Mario Florido and Temur Kutsia | Confluence of Pattern-Based Calculi with Finitary Matching | | Jul 17 17:00 |
| Xiaoyu Chen and Jie Luo | RCK: A Software Toolkit for R-calculus | | Jul 17 12:00 |
| Stefan Ciobaca, Dorel Lucanu, Vlad Rusu and Grigore Rosu | Programming Language Aggregation with Applications in Equivalence Checking | | Jul 18 17:30 |
| Isabela Dramnesc | Synthesis of Algorithms on Sets Represented as Monotone Lists | | Jul 18 10:45 |
| Xiaomei Hou, Mengxiang Lin and Tahir Jameel | A hybrid path constraint solver combined with meta-heuristic search | | Jul 18 16:30 |
| Hao Huang, Fangmin Song, Zhengjiang Qian, Kangjie Li, Jiang Chen, Shuiwang Guan and Wei Huang | VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel | | Jul 18 11:45 |
| Dongchen Jiang | The Verification of Conversion Algorithms between Finite Automata | | Jul 17 17:30 |
| Jens Knoop, Laura Kovacs and Jakob Zwirchmayr | Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis | | Jul 17 16:30 |
| Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko and Thomas Weigert | New predicate transformer for symbolic modeling | | Jul 18 11:15 |
| Wei Li | An Attempt to Formalize Popper's Logic of Scientific Discovery | | Jul 17 10:45 |
| Kristjan Liiva, Grant Passmore and Paul Jackson | A note on real quantifier elimination by virtual term substitution of unbounded degree | | Jul 17 15:00 |
| Jie Luo and Wei Li | A Model Theory for R-calculus without Cut | | Jul 17 11:30 |
| Jakob Praher | Symbolic Problem Solving With Bidirectional Executable Representations | | Jul 18 12:15 |
| George Stergiopoulos, Panagiotis Katsaros and Dimitris Gritzalis | Source code profiling and classification for automated detection of logical errors | | Jul 17 18:00 |
| Sorin Stratulat | Building explicit induction schemas for cyclic induction reasoning | | Jul 18 15:30 |
| Farn Wang, Pin Hsiuan Chen and Wen-Hong Chiang | Automatic App Testing of LTL Properties | | Jul 18 17:00 |