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)
Chair:
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) |