WPTE on Sunday, July 8th: Talk View

FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

PROGRAM AUTHORS KEYWORDS SLIDES

FLoC | FoPSS | ITP | CSF | FSCD | SAT | CAV | IJCAR | ICLP | FM | LICS | ADHS | ADSL | ARQNL | ASPOCP | AVOCS | CL&C | COALG | Coq | DCM | Domains13 | DS-FM | EICNCL | F-IDE | FCS | FRIDA | GraMSec | GS | HCVS | HDRA | HOR | HoTT/UF | ICLP-DC | IFIP WG 1.6 | Isabelle | ITRS | IWC | LaSh | LCC | LearnAut | LFMTP | Linearity/TLLA | LMW | LOLA | LPOP | LSB | MLP | MoRe | MSFP | NLCS | NSV | Overture | PAAR | PARIS | PC | PLR | POS | PRUV | QBF | RCRA | REFINE | ReMOTE | rv4rise | SCSC | SMT | SoMLMFM | SR | SYNT | TERMGRAPH | Tetrapod | ThEdu | TLA | TYDI | UITP | UNIF | Vampire | VaVAS | VDMW | VEMDP | VSTTE | WiL | WPTE | WST

PROGRAM | AUTHORS | KEYWORDS | SLIDES

WPTE ON SUNDAY, JULY 8TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

09:30-10:30

A framework for graph rewriting.

Jean-Pierre Jouannaud

11:00-11:30

Automating the Diagram Method to Prove Correctness of Program Transformations

David Sabel

11:30-12:00

Optimizing Space of Parallel Processes

Manfred Schmidt-Schauss, Nils Dallmeyer

12:00-12:30

On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting

Yoshiaki Kanazawa, Naoki Nishida

14:00-14:30

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics

Stefan Ciobaca, Sebastian Buruiana

14:30-15:00

On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions

Naoki Nishida, Yuya Maeda

15:00-15:30

Verification of Ada Programs with AdaHorn

Christian Herrera, Tewodros A. Beyene, Vivek Nigam

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break

Disclaimer | Powered by EasyChair Smart Program