Seminarium, Teoretisk datalogi

Karem Sakallah: SAT-Enabled Verification of State Transition Systems

8 mar

Seminarium, Teoretisk datalogi

tisdag 2016-03-08, 12.00

Medverkande: Karem Sakallah, University of Michigan and Qatar Computing Research Institute

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-08T12:00:00.677+01:00 2016-03-08T12:00:00.677+01:00 Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi)

Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata

11 mar

Seminarium, Teoretisk datalogi

fredag 2016-03-11, 13.15

Medverkande: Marielle Stoelinga (Associate Professor of Risk Management for ICT University of Twente)

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-11T13:15:00.297+01:00 2016-03-11T13:15:00.297+01:00 Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi)

Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras

14 mar

Seminarium, Teoretisk datalogi

måndag 2016-03-14, 12.00

Medverkande: Priyank Kalla, University of Utah

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-14T12:00:00.128+01:00 2016-03-14T12:00:00.128+01:00 Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Priyank Kalla: Verification of Bit-Vector Arithmetic using Finite Integer Algebras (Seminarium, Teoretisk datalogi)

Florent Capelli: Structural restrictions of CNF formulas: applications and limitations

16 mar

Seminarium, Teoretisk datalogi

onsdag 2016-03-16, 12.00

Medverkande: Florent Capelli, Université Paris Diderot

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-16T12:00:00.091+01:00 2016-03-16T12:00:00.091+01:00 Florent Capelli: Structural restrictions of CNF formulas: applications and limitations (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Florent Capelli: Structural restrictions of CNF formulas: applications and limitations (Seminarium, Teoretisk datalogi)

Marc Vinyals: Deterministic communication vs. partition number

21 mar

Seminarium, Teoretisk datalogi

måndag 2016-03-21, 12.00

Medverkande: Marc Vinyals, Theory Group, KTH

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2016-03-21T12:00:00.744+01:00 2016-03-21T12:00:00.744+01:00 Marc Vinyals: Deterministic communication vs. partition number (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marc Vinyals: Deterministic communication vs. partition number (Seminarium, Teoretisk datalogi)