VSL 2014: VIENNA SUMMER OF LOGIC 2014
DCM PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:15-10:15 Session 24A: Joint DCM / TermGraph Invited Talk (joint with TermGraph)
Location: FH, Seminarraum 325/2
09:15
Numeral Systems in the Lambda Calculus (abstract)
10:15-10:45Coffee Break
10:45-11:45 Session 26T
Location: FH, Seminarraum 138B
10:45
A Simple Parallel Implementation of Interaction Nets in Haskell (abstract)
11:15
Some observations for the parallel implementation of interaction nets (abstract)
12:00-13:00 Session 29C
Location: FH, Seminarraum 138B
12:00
Quantitative semantics for higher-order probabilistic and quantum computation (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31R
Location: FH, Seminarraum 138B
14:30
Cellular Automata are Generic (abstract)
15:00
Quantum Circuits for the Unitary Permutation Problem (abstract)
15:30
Propositional Logics Complexity and the sub-formula Property (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 34S
Location: FH, Seminarraum 138B
16:30
Probabilistic Types and Function Overloading (abstract)
17:00
Differential privacy at work: Verification of approximate probabilistic programs and models for choosing epsilon (abstract)
17:30
Interactive Particle Systems and Random Walks on Hypergraphs (abstract)