DCM ON SUNDAY, JULY 13TH: 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

16:30

17:00

17:30

18:00

09:15-10:15

Numeral Systems in the Lambda Calculus

Ian Mackie

09:15-10:15

Numeral Systems in the Lambda Calculus

Ian Mackie

10:45-11:15

A Simple Parallel Implementation of Interaction Nets in Haskell

Wolfram Kahl

11:15-11:45

Some observations for the parallel implementation of interaction nets

Ian Mackie, Shinya Sato

12:00-13:00

Quantitative semantics for higher-order probabilistic and quantum computation

Michele Pagani

14:30-15:00

Cellular Automata are Generic

Nachum Dershowitz, Evgenia Falkovich

15:00-15:30

Quantum Circuits for the Unitary Permutation Problem

Stefano Facchini, Simon Perdrix

15:30-16:00

Propositional Logics Complexity and the sub-formula Property

Edward Hermann Haeusler

16:30-17:00

Probabilistic Types and Function Overloading

Alessandra Di Pierro, Margherita Zorzi

17:00-17:30

Differential privacy at work: Verification of approximate probabilistic programs and models for choosing

Marco Gaboardi, Justin Hsu

17:30-18:00

Interactive Particle Systems and Random Walks on Hypergraphs

Gabriel Istrate, Cosmin Bonchis, Mircea Marin

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break