Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems (abstract)

An Attempt to Formalize Popper's Logic of Scientific Discovery (abstract)

A Model Theory for R-calculus without Cut (abstract)

RCK: A Software Toolkit for R-calculus (abstract)

The Theorema Approach to Mathematics (abstract)

A note on real quantifier elimination by virtual term substitution of unbounded degree (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis (abstract)

Confluence of Pattern-Based Calculi with Finitary Matching (abstract)

The Verification of Conversion Algorithms between Finite Automata (abstract)

Source code profiling and classification for automated detection of logical errors (abstract)

Test-Input Generation using Computational Real Algebraic Geometry (abstract)

Synthesis of Algorithms on Sets Represented as Monotone Lists (abstract)

New predicate transformer for symbolic modeling (abstract)

VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (abstract)

Symbolic Problem Solving With Bidirectional Executable Representations (abstract)

Automated verification of security protocols and services (abstract)

Building explicit induction schemas for cyclic induction reasoning (abstract)

A hybrid path constraint solver combined with meta-heuristic search (abstract)

Automatic App Testing of LTL Properties (abstract)

Programming Language Aggregation with Applications in Equivalence Checking (abstract)