|
FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
WST22 PROGRAM PAPERS
| Authors | Title | Paper | Talk |
|---|
| René Thiemann and Akihisa Yamada | Efficient Formalization of Simplification Orders |  Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | | | Cynthia Kop and Deivid Vale | Tuple Interpretations and Applications to Higher-Order Runtime Complexity | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 09:00 | | Liye Guo and Cynthia Kop | A transitive HORPO for curried systems | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 09:30 | | Alfons Geser, Dieter Hofbauer and Johannes Waldmann | Approximating Relative Match-Bounds | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 10:00 | | Nao Hirokawa and Aart Middeldorp | Hydra Battles and AC Termination | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 12:00 | | Florian Frohn and Carsten Fuhs | A Calculus for Modular Non-Termination Proofs by Loop Acceleration | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 14:00 | | Marcel Hark, Florian Frohn and Jürgen Giesl | Deciding Termination of Uniform Loops with Polynomial Parameterized Complexity | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 14:30 | | Jürgen Giesl, Nils Lommen, Marcel Hark and Fabian Meyer | Improved Automatic Complexity Analysis of Integer Programs | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 11 15:00 | | Nils Lommen, Fabian Meyer, Marcel Hark and Jürgen Giesl | Automatic Complexity Analysis of (Probabilistic) Integer Programs via KoAT | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 12 11:00 | | Christina Kohl and René Thiemann | CeTA – A certifier for termCOMP 2022 | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 12 14:00 | | Johannes Waldmann | Certified Matchbox | Papers in this program may only be accessed
by registered participants during the
conference. To download papers, you should
first log in to EasyChair in this browser. | Aug 12 14:20 |
|
|