Föreläsningar och seminarier
Sö 23 oktober
-
TCS Seminarier
on 1999-10-27, 15.00 - on 2013-10-23, 11.00
Plats: room 1537
1999-10-27T15:00:00.634+02:00 2013-10-23T11:00:27.634+02:00 Bayes Rules! (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Bayes Rules! (TCS Seminarier) -
TCS Seminarier
on 1999-11-10, 15.00 - on 2013-10-23, 11.00
Plats: room 1537
1999-11-10T15:00:00.275+01:00 2013-10-23T11:00:21.276+02:00 Sorting in time O(n log log n) (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Sorting in time O(n log log n) (TCS Seminarier) -
TCS Seminarier
on 1999-11-24, 15.00 - on 2013-10-23, 12.00
Plats: room 4523
1999-11-24T15:00:00.795+01:00 2013-10-23T12:00:25.795+02:00 Fourier and Abel in cooperation (TCS Seminarier) room 4523 (KTH, Stockholm, Sweden)Fourier and Abel in cooperation (TCS Seminarier) -
TCS Seminarier
on 1999-12-08, 15.00 - on 2013-10-23, 12.00
Plats: room 1537
1999-12-08T15:00:00.187+01:00 2013-10-23T12:00:32.187+02:00 Svensk grammatikkontroll med både statistiska och lingvistiska metoder (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Svensk grammatikkontroll med både statistiska och lingvistiska metoder (TCS Seminarier) -
TCS Seminarier
on 1999-12-15, 15.15 - on 2013-10-23, 12.00
Plats: room E3
1999-12-15T15:15:00.096+01:00 2013-10-23T12:00:41.097+02:00 Efficient Manipulation of Boolean Functions with OBDDs (TCS Seminarier) room E3 (KTH, Stockholm, Sweden)Efficient Manipulation of Boolean Functions with OBDDs (TCS Seminarier) -
TCS Seminarier
ti 2000-05-16, 15.15 - on 2013-10-23, 12.00
Plats: room 1537
2000-05-16T15:15:00.876+02:00 2013-10-23T12:00:15.876+02:00 Clique is Hard to Approximate (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Clique is Hard to Approximate (TCS Seminarier) -
TCS Seminarier
ti 2000-05-23, 15.15 - on 2013-10-23, 12.00
Plats: room 1537
2000-05-23T15:15:00.451+02:00 2013-10-23T12:00:45.451+02:00 Strong Lower Bounds on the Approximability of Coloring (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Strong Lower Bounds on the Approximability of Coloring (TCS Seminarier) -
TCS Seminarier
ti 2000-05-30, 15.15 - on 2013-10-23, 12.00
Plats: room 1537
2000-05-30T15:15:00.891+02:00 2013-10-23T12:00:52.891+02:00 Some optimal inapproximability results (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Some optimal inapproximability results (TCS Seminarier) -
TCS Seminarier
ti 2000-06-06, 13.15 - on 2013-10-23, 12.00
Plats: room 1537
2000-06-06T13:15:00.591+02:00 2013-10-23T12:00:51.591+02:00 Probabilistic Verification of Multiple-Valued Functions (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Probabilistic Verification of Multiple-Valued Functions (TCS Seminarier) -
TCS Seminarier
ti 2000-06-13, 15.15 - on 2013-10-23, 12.00
Plats: room 1537
2000-06-13T15:15:00.136+02:00 2013-10-23T12:00:01.136+02:00 Construction of Optimal Gadget Reductions (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Construction of Optimal Gadget Reductions (TCS Seminarier) -
TCS Seminarier
må 2002-03-11, 14.15 - on 2013-10-23, 12.00
Plats: room 1537
2002-03-11T14:15:00.357+01:00 2013-10-23T12:00:29.357+02:00 Approximerbarheten hos problemet Minimum Hitting Set (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Approximerbarheten hos problemet Minimum Hitting Set (TCS Seminarier) -
TCS Seminarier
må 2002-03-25, 14.15 - on 2013-10-23, 12.00
Plats: room 1537
2002-03-25T14:15:00.542+01:00 2013-10-23T12:00:30.542+02:00 Bandbredd kontra frihet i interna videosystem (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Bandbredd kontra frihet i interna videosystem (TCS Seminarier) -
TCS Seminarier
må 2002-04-22, 14.15 - on 2013-10-23, 12.00
Plats: room 1537
2002-04-22T14:15:00.369+02:00 2013-10-23T12:00:55.369+02:00 Statistisk grammatikgranskning (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Statistisk grammatikgranskning (TCS Seminarier) -
TCS Seminarier
må 2002-05-13, 15.00 - on 2013-10-23, 12.00
Plats: room 4523
2002-05-13T15:00:00.600+02:00 2013-10-23T12:00:39.600+02:00 Tröskelkretsar och kommunikationskomplexitet (TCS Seminarier) room 4523 (KTH, Stockholm, Sweden)Tröskelkretsar och kommunikationskomplexitet (TCS Seminarier) -
TCS Seminarier
må 2002-05-27, 14.15 - on 2013-10-23, 12.00
Plats: room 1537
2002-05-27T14:15:00.560+02:00 2013-10-23T12:00:55.560+02:00 Handelsresandens problem i asymmetrisk graf (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Handelsresandens problem i asymmetrisk graf (TCS Seminarier) -
TCS Seminarier
ti 2002-06-04, 14.15 - on 2013-10-23, 12.00
Plats: room 1537
2002-06-04T14:15:00.411+02:00 2013-10-23T12:00:04.411+02:00 Approximationsalgoritmer för villkorsfamiljer på två variabler (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Approximationsalgoritmer för villkorsfamiljer på två variabler (TCS Seminarier) -
TCS Seminarier
fr 2002-11-15, 14.15 - on 2013-10-23, 12.00
Plats: Room E2
2002-11-15T14:15:00.924+01:00 2013-10-23T12:00:27.925+02:00 PRIMES is in P (TCS Seminarier) Room E2 (KTH, Stockholm, Sweden)PRIMES is in P (TCS Seminarier) -
TCS Seminarier
ti 2002-12-10, 10.15 - on 2013-10-23, 12.00
Plats: Room 1537
2002-12-10T10:15:00.887+01:00 2013-10-23T12:00:43.887+02:00 On Some Approximation Algorithms of Magnús Halldórsson (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)On Some Approximation Algorithms of Magnús Halldórsson (TCS Seminarier) -
TCS Seminarier
må 2003-02-10, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-02-10T13:00:00.895+01:00 2013-10-23T12:00:52.896+02:00 Språkteknikforskning på Nada eller Sagan om de fem oeniga taggarna (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Språkteknikforskning på Nada eller Sagan om de fem oeniga taggarna (TCS Seminarier) -
TCS Seminarier
må 2003-02-24, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-02-24T13:00:00.680+01:00 2013-10-23T12:00:39.680+02:00 HUBIN: HUman Brain INformatics (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)HUBIN: HUman Brain INformatics (TCS Seminarier) -
TCS Seminarier
må 2003-03-10, 13.00 - on 2013-10-23, 12.00
Plats: Room 4523
2003-03-10T13:00:00.353+01:00 2013-10-23T12:00:46.353+02:00 (Icke-)approximerbarhet hos ekvationer över ändliga grupper (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)(Icke-)approximerbarhet hos ekvationer över ändliga grupper (TCS Seminarier) -
TCS Seminarier
må 2003-03-24, 15.15 - on 2013-10-23, 12.00
Plats: Room 1537
2003-03-24T15:15:00.769+01:00 2013-10-23T12:00:28.769+02:00 Rekonsiliering och ortologianalys (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Rekonsiliering och ortologianalys (TCS Seminarier) -
TCS Seminarier
må 2003-04-07, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-04-07T13:00:00.859+02:00 2013-10-23T12:00:21.859+02:00 Bevisbar säkerhet och svåra predikat (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Bevisbar säkerhet och svåra predikat (TCS Seminarier) -
TCS Seminarier
må 2003-04-28, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-04-28T13:00:00.458+02:00 2013-10-23T12:00:10.458+02:00 Constructing Programs with Bird-Meertens Formalism (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Constructing Programs with Bird-Meertens Formalism (TCS Seminarier) -
TCS Seminarier
må 2003-05-26, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-05-26T13:00:00.087+02:00 2013-10-23T12:00:55.088+02:00 Kvantinformationsteori (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Kvantinformationsteori (TCS Seminarier) -
TCS Seminarier
ti 2003-06-10, 13.00 - on 2013-10-23, 12.00
Plats: Room 1537
2003-06-10T13:00:00.208+02:00 2013-10-23T12:00:48.208+02:00 On the Complexity of Sphere Decoding in Digital Communications (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)On the Complexity of Sphere Decoding in Digital Communications (TCS Seminarier) -
TCS Seminarier
fr 2003-09-26, 10.30 - on 2013-10-23, 12.00
Plats: Room D35
2003-09-26T10:30:00.404+02:00 2013-10-23T12:00:17.404+02:00 Another attack on A5/1 (TCS Seminarier) Room D35 (KTH, Stockholm, Sweden)Another attack on A5/1 (TCS Seminarier) -
TCS Seminarier
må 2003-10-27, 14.15 - on 2013-10-23, 12.00
Plats: Room 4329
2003-10-27T14:15:00.279+01:00 2013-10-23T12:00:23.280+02:00 Nyckel-revokerings protokoll (TCS Seminarier) Room 4329 (KTH, Stockholm, Sweden)Nyckel-revokerings protokoll (TCS Seminarier) -
TCS Seminarier
må 2003-11-17, 14.15 - on 2013-10-23, 12.00
Plats: Room 1537
2003-11-17T14:15:00.129+01:00 2013-10-23T12:00:50.129+02:00 Effektiv aritmetik i ändliga kroppar av liten udda karaktäristik (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Effektiv aritmetik i ändliga kroppar av liten udda karaktäristik (TCS Seminarier) -
TCS Seminarier
må 2003-12-01, 14.15 - on 2013-10-23, 12.00
Plats: Room 1537
2003-12-01T14:15:00.899+01:00 2013-10-23T12:00:59.899+02:00 More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)More Efficient Queries in PCPs for NP and Improved Approximation Hardness of Maximum CSP (TCS Seminarier) -
TCS Seminarier
må 2003-12-15, 14.15 - on 2013-10-23, 12.00
Plats: Room 1537
2003-12-15T14:15:00.258+01:00 2013-10-23T12:00:13.258+02:00 Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds (TCS Seminarier) -
TCS Seminarier
må 2004-02-02, 14.15 - on 2013-10-23, 12.00
Plats: Room 1537
2004-02-02T14:15:00.394+01:00 2013-10-23T12:00:30.394+02:00 En (ganska) enkel krets som (oftast) sorterar (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)En (ganska) enkel krets som (oftast) sorterar (TCS Seminarier) -
TCS Seminarier
må 2004-02-16, 10.15 - on 2013-10-23, 12.00
Plats: Room 1537
2004-02-16T10:15:00.918+01:00 2013-10-23T12:00:35.918+02:00 Optimization versus counting (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Optimization versus counting (TCS Seminarier) -
TCS Seminarier
fr 2004-05-07, 14.15 - on 2013-10-23, 12.00
Plats: Room 1537
2004-05-07T14:15:00.709+02:00 2013-10-23T12:00:58.709+02:00 Primitive Sets in Number Fields for Absolutely Optimal Black Box Secret Sharing (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Primitive Sets in Number Fields for Absolutely Optimal Black Box Secret Sharing (TCS Seminarier) -
TCS Seminarier
må 2004-10-25, 13.15 - on 2013-10-23, 12.00
Plats: Room 1537
2004-10-25T13:15:00.266+02:00 2013-10-23T12:00:18.266+02:00 Semidefinite programming (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Semidefinite programming (TCS Seminarier) -
TCS Seminarier
må 2004-11-22, 13.15 - on 2013-10-23, 12.00
Plats: Room 1537
2004-11-22T13:15:00.598+01:00 2013-10-23T12:00:22.598+02:00 Difunctorial Semantics of Object Calculus: Towards Algebra of Objects (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Difunctorial Semantics of Object Calculus: Towards Algebra of Objects (TCS Seminarier) -
TCS Seminarier
ti 2005-01-18, 10.15 - on 2013-10-23, 12.00
Plats: Room 1537
2005-01-18T10:15:00.081+01:00 2013-10-23T12:00:41.082+02:00 Share conversion, pseudorandom secret-sharing and applications to secure distributed computing (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Share conversion, pseudorandom secret-sharing and applications to secure distributed computing (TCS Seminarier) -
TCS Seminarier
må 2005-03-07, 13.15 - on 2013-10-23, 12.00
Plats: Room 1537
2005-03-07T13:15:00.132+01:00 2013-10-23T12:00:49.132+02:00 Semantical investigations into BAN-like logics (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Semantical investigations into BAN-like logics (TCS Seminarier) -
TCS Seminarier
fr 2005-03-11, 14.00 - on 2013-10-23, 12.00
Plats: Room 4523
2005-03-11T14:00:00.695+01:00 2013-10-23T12:00:01.695+02:00 Anonymous credentials (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Anonymous credentials (TCS Seminarier) -
TCS Seminarier
on 2005-03-23, 13.15 - on 2013-10-23, 12.00
Plats: Room 1537
2005-03-23T13:15:00.364+01:00 2013-10-23T12:00:11.365+02:00 Controlled Linear Programming for Infinite Games (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Controlled Linear Programming for Infinite Games (TCS Seminarier) -
TCS Seminarier
on 2005-05-25, 10.30 - on 2013-10-23, 12.00
Plats: Room 1537
2005-05-25T10:30:00.225+02:00 2013-10-23T12:00:57.225+02:00 Information Fusion from Databases, Sensors and Simulations - a Research Program in Cooperation with Industry (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Information Fusion from Databases, Sensors and Simulations - a Research Program in Cooperation with Industry (TCS Seminarier) -
TCS Seminarier
on 2005-06-15, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2005-06-15T13:15:00.260+02:00 2013-10-23T13:00:42.260+02:00 Answering distance queries in directed graphs using fast matrix multiplication (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Answering distance queries in directed graphs using fast matrix multiplication (TCS Seminarier) -
TCS Seminarier
fr 2005-06-17, 10.15 - on 2013-10-23, 13.00
Plats: Room 4329
2005-06-17T10:15:00.163+02:00 2013-10-23T13:00:01.163+02:00 Efficient Publicly Verifiable Mix-net for Long Inputs (TCS Seminarier) Room 4329 (KTH, Stockholm, Sweden)Efficient Publicly Verifiable Mix-net for Long Inputs (TCS Seminarier) -
TCS Seminarier
to 2005-09-15, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2005-09-15T13:15:00.437+02:00 2013-10-23T13:00:15.437+02:00 Web services security (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Web services security (TCS Seminarier) -
TCS Seminarier
må 2005-09-19, 10.15 - on 2013-10-23, 13.00
Plats: Room 1537
2005-09-19T10:15:00.732+02:00 2013-10-23T13:00:36.733+02:00 A compositional natural semantics and Hoare logic for low-level languages (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) A compositional natural semantics and Hoare logic for low-level languages (TCS Seminarier) -
TCS Seminarier
ti 2005-12-20, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2005-12-20T13:15:00.830+01:00 2013-10-23T13:00:23.830+02:00 Spam fighting and The Complexity of Pebbling Graphs (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Spam fighting and The Complexity of Pebbling Graphs (TCS Seminarier) -
TCS Seminarier
to 2006-01-26, 09.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-01-26T09:15:00.006+01:00 2013-10-23T13:00:39.007+02:00 Ontology Based Higher-Level Fusion (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Ontology Based Higher-Level Fusion (TCS Seminarier) -
TCS Seminarier
må 2006-02-13, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-02-13T13:15:00.468+01:00 2013-10-23T13:00:07.468+02:00 Cryptographic Protocol Logic. A Synthetic Approach. (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Cryptographic Protocol Logic. A Synthetic Approach. (TCS Seminarier) -
TCS Seminarier
må 2006-02-27, 15.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-02-27T15:15:00.407+01:00 2013-10-23T13:00:04.407+02:00 Introduction to information flow analysis (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Introduction to information flow analysis (TCS Seminarier) -
TCS Seminarier
må 2006-03-13, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-03-13T13:15:00.665+01:00 2013-10-23T13:00:26.665+02:00 Compositional Verification of Sequential Programs with Procedures (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden) Compositional Verification of Sequential Programs with Procedures (TCS Seminarier) -
TCS Seminarier
to 2006-03-23, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-03-23T13:15:00.307+01:00 2013-10-23T13:00:44.307+02:00 Cryptographically Sound Theorem Proving (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Cryptographically Sound Theorem Proving (TCS Seminarier) -
TCS Seminarier
ti 2006-05-02, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-05-02T13:15:00.804+02:00 2013-10-23T13:00:09.804+02:00 CoverTranslator - from Haskell to First Order Logic (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)CoverTranslator - from Haskell to First Order Logic (TCS Seminarier) -
TCS Seminarier
må 2006-05-08, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-05-08T13:15:00.015+02:00 2013-10-23T13:00:24.016+02:00 Cryptography in mobile networks (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Cryptography in mobile networks (TCS Seminarier) -
TCS Seminarier
on 2006-05-31, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-05-31T13:15:00.155+02:00 2013-10-23T13:00:40.156+02:00 Confluent Markov Chains (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Confluent Markov Chains (TCS Seminarier) -
TCS Seminarier
to 2006-06-15, 10.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-06-15T10:15:00.848+02:00 2013-10-23T13:00:43.849+02:00 A Framework for Sequential Planning in Multi-Agent Settings (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)A Framework for Sequential Planning in Multi-Agent Settings (TCS Seminarier) -
TCS Seminarier
må 2006-10-02, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-10-02T13:15:00.806+02:00 2013-10-23T13:00:46.807+02:00 BitTorrent (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)BitTorrent (TCS Seminarier) -
TCS Seminarier
må 2006-10-23, 13.00 - on 2013-10-23, 13.00
Plats: Room 1537
2006-10-23T13:00:00.253+02:00 2013-10-23T13:00:01.253+02:00 Cybersecurity and its limitations (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Cybersecurity and its limitations (TCS Seminarier) -
TCS Seminarier
må 2006-11-20, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2006-11-20T13:15:00.447+01:00 2013-10-23T13:00:45.447+02:00 Counting Set Covers (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Counting Set Covers (TCS Seminarier) -
TCS Seminarier
må 2006-12-11, 10.15 - on 2013-10-23, 13.00
Plats: Room 4523
2006-12-11T10:15:00.160+01:00 2013-10-23T13:00:55.161+02:00 Higher Level Fusion For Catastrophic Events (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Higher Level Fusion For Catastrophic Events (TCS Seminarier) -
TCS Seminarier
ti 2007-01-23, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-01-23T13:15:00.917+01:00 2013-10-23T13:00:27.917+02:00 Learning of timed systems (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Learning of timed systems (TCS Seminarier) -
TCS Seminarier
to 2007-03-15, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-03-15T13:15:00.747+01:00 2013-10-23T13:00:21.748+02:00 Computational Aspects of Random Boolean Networks (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Computational Aspects of Random Boolean Networks (TCS Seminarier) -
TCS Seminarier
on 2007-04-25, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-04-25T13:15:00.501+02:00 2013-10-23T13:00:46.501+02:00 Towards the Engineering of Modular Software for Increased Predictability (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Towards the Engineering of Modular Software for Increased Predictability (TCS Seminarier) -
TCS Seminarier
to 2007-06-14, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-06-14T13:15:00.226+02:00 2013-10-23T13:00:38.226+02:00 Logic-based Specification and Verification of Multi-Agent Systems (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Logic-based Specification and Verification of Multi-Agent Systems (TCS Seminarier) -
TCS Seminarier
on 2007-06-27, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-06-27T13:15:00.937+02:00 2013-10-23T13:00:12.937+02:00 Towards modular verification of concurrent object-oriented programs (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Towards modular verification of concurrent object-oriented programs (TCS Seminarier) -
TCS Seminarier
må 2007-09-10, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-09-10T13:15:00.637+02:00 2013-10-23T13:00:04.637+02:00 Generating Propagators for Finite Set Constraints (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Generating Propagators for Finite Set Constraints (TCS Seminarier) -
TCS Seminarier
ti 2007-10-02, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-10-02T13:15:00.243+02:00 2013-10-23T13:00:26.243+02:00 Model Checking Network Applications (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Model Checking Network Applications (TCS Seminarier) -
TCS Seminarier
må 2007-10-08, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2007-10-08T13:15:00.784+02:00 2013-10-23T13:00:09.784+02:00 Beating Semidefinite Programming Means Beating The Unique Games Conjecture (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Beating Semidefinite Programming Means Beating The Unique Games Conjecture (TCS Seminarier) -
TCS Seminarier
må 2007-10-15, 15.15 - on 2013-10-23, 13.00
Plats: Room 4523
2007-10-15T15:15:00.883+02:00 2013-10-23T13:00:56.884+02:00 Optimal Bounds for Predecessor Search and the First Separation between Linear and Polynomial Space (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Optimal Bounds for Predecessor Search and the First Separation between Linear and Polynomial Space (TCS Seminarier) -
TCS Seminarier
on 2007-11-21, 15.00 - on 2013-10-23, 14.00
Plats: Room D3
2007-11-21T15:00:00.621+01:00 2013-10-23T14:00:24.622+02:00 Cryptography in Financial Transactions: Current Practice and Future Directions (TCS Seminarier) Room D3 (KTH, Stockholm, Sweden)Cryptography in Financial Transactions: Current Practice and Future Directions (TCS Seminarier) -
TCS Seminarier
ti 2008-01-08, 10.15 - on 2013-10-23, 11.00
Plats: room 4523
2008-01-08T10:15:00.018+01:00 2013-10-23T11:00:05.018+02:00 Structural Operational Semantics for Computational Effects (TCS Seminarier) room 4523 (KTH, Stockholm, Sweden)Structural Operational Semantics for Computational Effects (TCS Seminarier) -
TCS Seminarier
må 2008-03-31, 13.00 - on 2013-10-23, 11.00
Plats: room 1537
2008-03-31T13:00:00.161+02:00 2013-10-23T11:00:22.162+02:00 A Transformation from the Fibonacci to the Galois Non-Linear Feedback Shift Registers (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)A Transformation from the Fibonacci to the Galois Non-Linear Feedback Shift Registers (TCS Seminarier) -
TCS Seminarier
sö 2008-06-08, 13.15 - on 2013-10-23, 13.00
Plats: Room 1537
2008-06-08T13:15:00.317+02:00 2013-10-23T13:00:04.318+02:00 Narrow Proofs May Be Spacious: Separating Space and Width in Resolution (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Narrow Proofs May Be Spacious: Separating Space and Width in Resolution (TCS Seminarier) -
TCS Seminarier
fr 2008-09-12, 10.15 - on 2013-10-23, 11.00
Plats: room 1439
2008-09-12T10:15:00.500+02:00 2013-10-23T11:00:01.500+02:00 A clearer picture of approximation resistance (TCS Seminarier) room 1439 (KTH, Stockholm, Sweden)A clearer picture of approximation resistance (TCS Seminarier) -
TCS Seminarier
ti 2008-10-07, 15.15 - on 2013-10-23, 11.00
Plats: room 1537
2008-10-07T15:15:00.198+02:00 2013-10-23T11:00:00.198+02:00 Security Policy Enforcement through Transactional Memory Introspection (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Security Policy Enforcement through Transactional Memory Introspection (TCS Seminarier) -
TCS Seminarier
fr 2008-11-28, 10.00 - on 2013-10-23, 11.00
Plats: room 4523, Lindstedtsvägen 5, floor 5
2008-11-28T10:00:00.564+01:00 2013-10-23T11:00:03.564+02:00 Nearly spherical cubes (TCS Seminarier) room 4523, Lindstedtsvägen 5, floor 5 (KTH, Stockholm, Sweden)Nearly spherical cubes (TCS Seminarier) -
TCS Seminarier
fr 2008-12-12, 13.15 - on 2013-10-23, 11.00
Plats: room 1537
2008-12-12T13:15:00.239+01:00 2013-10-23T11:00:35.240+02:00 Reducing Behavioural Properties to Structural Properties of Programs with Procedures (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Reducing Behavioural Properties to Structural Properties of Programs with Procedures (TCS Seminarier) -
TCS Seminarier
må 2009-05-25, 13.15 - on 2013-10-23, 11.00
Plats: room 1537, Lindstedtsvägen 5, floor 5
2009-05-25T13:15:00.358+02:00 2013-10-23T11:00:12.358+02:00 Three holy grails of programming models (TCS Seminarier) room 1537, Lindstedtsvägen 5, floor 5 (KTH, Stockholm, Sweden)Three holy grails of programming models (TCS Seminarier) -
TCS Seminarier
on 2009-05-27, 10.15 - on 2013-10-23, 11.00
Plats: room 4423, Lindstedtsvägen 5, floor 4
2009-05-27T10:15:00.846+02:00 2013-10-23T11:00:53.846+02:00 Game Theory with Costly Computation (TCS Seminarier) room 4423, Lindstedtsvägen 5, floor 4 (KTH, Stockholm, Sweden)Game Theory with Costly Computation (TCS Seminarier) -
TCS Seminarier
on 2009-05-27, 13.15 - on 2013-10-23, 11.00
Plats: room 1537, Lindstedtsvägen 5, floor 5
2009-05-27T13:15:00.053+02:00 2013-10-23T11:00:06.053+02:00 Quantitative Social Choice Theory (TCS Seminarier) room 1537, Lindstedtsvägen 5, floor 5 (KTH, Stockholm, Sweden)Quantitative Social Choice Theory (TCS Seminarier) -
TCS Seminarier
ti 2009-08-25, 14.00 - on 2013-10-23, 11.00
Plats: room 1537
2009-08-25T14:00:00.423+02:00 2013-10-23T11:00:59.423+02:00 PeerSoN: Privacy-Preserving P2P Online Social Networks (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)PeerSoN: Privacy-Preserving P2P Online Social Networks (TCS Seminarier) -
TCS Seminarier
to 2009-10-29, 09.00 - on 2013-10-23, 11.00
Plats: MDI-Torget
2009-10-29T09:00:00.334+01:00 2013-10-23T11:00:06.334+02:00 Evolving Contracts (TCS Seminarier) MDI-Torget (KTH, Stockholm, Sweden)Evolving Contracts (TCS Seminarier) -
TCS Seminarier
ti 2009-12-01, 13.15 - on 2013-10-23, 11.00
Plats: room 1537
2009-12-01T13:15:00.635+01:00 2013-10-23T11:00:06.635+02:00 A Refined State Monad, with applications to capability-based access control (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)A Refined State Monad, with applications to capability-based access control (TCS Seminarier) -
TCS Seminarier
to 2009-12-03, 10.15 - on 2013-10-23, 11.00
Plats: room 1537
2009-12-03T10:15:00.700+01:00 2013-10-23T11:00:15.701+02:00 Introduction to Supercompilation (TCS Seminarier) room 1537 (KTH, Stockholm, Sweden)Introduction to Supercompilation (TCS Seminarier) -
TCS Seminarier
må 2010-01-25, 13.15 - on 2013-10-23, 14.00
Plats: Rom 4523
2010-01-25T13:15:00.791+01:00 2013-10-23T14:00:39.791+02:00 En introduktion till OWASP -- The Open Web Application Security Project (TCS Seminarier) Rom 4523 (KTH, Stockholm, Sweden)En introduktion till OWASP -- The Open Web Application Security Project (TCS Seminarier) -
TCS Seminarier
må 2010-04-26, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-04-26T13:15:00.083+02:00 2013-10-23T14:00:03.084+02:00 CFlow: A security-preserving cryptography-implicit compiler for distributed programs (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)CFlow: A security-preserving cryptography-implicit compiler for distributed programs (TCS Seminarier) -
TCS Seminarier
må 2010-05-10, 11.00 - on 2013-10-23, 14.00
Plats: Room 4423
2010-05-10T11:00:00.279+02:00 2013-10-23T14:00:37.279+02:00 Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions (TCS Seminarier) Room 4423 (KTH, Stockholm, Sweden)Understanding Space in Proof Complexity: Separations and Trade-offs via Substitutions (TCS Seminarier) -
TCS Seminarier
on 2010-05-19, 10.00 - on 2013-10-23, 14.00
Plats: Room 4423
2010-05-19T10:00:00.948+02:00 2013-10-23T14:00:05.948+02:00 Cryptographic Hash Functions: Theory and Practice (TCS Seminarier) Room 4423 (KTH, Stockholm, Sweden)Cryptographic Hash Functions: Theory and Practice (TCS Seminarier) -
TCS Seminarier
to 2010-05-27, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-05-27T13:15:00.528+02:00 2013-10-23T14:00:05.529+02:00 Hardness of 3Lin over the reals (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Hardness of 3Lin over the reals (TCS Seminarier) -
TCS Seminarier
to 2010-09-23, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-09-23T13:15:00.313+02:00 2013-10-23T14:00:38.313+02:00 Non-deterministic Matrices and their Applications (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Non-deterministic Matrices and their Applications (TCS Seminarier) -
TCS Seminarier
må 2010-09-27, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-09-27T13:15:00.480+02:00 2013-10-23T14:00:08.481+02:00 Virtualization and Security (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Virtualization and Security (TCS Seminarier) -
TCS Seminarier
må 2010-10-18, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-10-18T13:15:00.829+02:00 2013-10-23T14:00:28.829+02:00 On the Relative Strength of Pebbling and Resolution (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)On the Relative Strength of Pebbling and Resolution (TCS Seminarier) -
TCS Seminarier
on 2010-10-20, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-10-20T13:15:00.530+02:00 2013-10-23T14:00:08.530+02:00 A counter-example guided abstraction refinement scheme for parameterized verification. (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)A counter-example guided abstraction refinement scheme for parameterized verification. (TCS Seminarier) -
TCS Seminarier
må 2010-11-15, 13.15 - on 2013-10-23, 14.00
Plats: Room 4523
2010-11-15T13:15:00.873+01:00 2013-10-23T14:00:06.873+02:00 Structural Properties of Hard Problem Instances (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Structural Properties of Hard Problem Instances (TCS Seminarier) -
TCS Seminarier
må 2010-11-29, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2010-11-29T13:15:00.932+01:00 2013-10-23T14:00:09.933+02:00 On the Semantics of Local Characterizations for Linear-Invariant Properties (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)On the Semantics of Local Characterizations for Linear-Invariant Properties (TCS Seminarier) -
TCS Seminarier
må 2010-12-13, 13.15 - on 2013-10-23, 14.00
Plats: Room 4523
2010-12-13T13:15:00.493+01:00 2013-10-23T14:00:41.494+02:00 Network coding and guessing games (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Network coding and guessing games (TCS Seminarier) -
TCS Seminarier
on 2011-01-12, 15.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-01-12T15:15:00.219+01:00 2013-10-23T14:00:38.219+02:00 Femtocells - A femtostep to the holy grail (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Femtocells - A femtostep to the holy grail (TCS Seminarier) -
TCS Seminarier
fr 2011-01-14, 10.15 - on 2013-10-23, 14.00
Plats: Room 4523
2011-01-14T10:15:00.469+01:00 2013-10-23T14:00:40.469+02:00 Security by degrees: the process of security risk and trust management (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Security by degrees: the process of security risk and trust management (TCS Seminarier) -
TCS Seminarier
to 2011-01-27, 10.15 - on 2013-10-23, 14.00
Plats: Room 4523
2011-01-27T10:15:00.762+01:00 2013-10-23T14:00:11.763+02:00 Securing Mobile Unattended WSNs against a Mobile Adversary (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Securing Mobile Unattended WSNs against a Mobile Adversary (TCS Seminarier) -
TCS Seminarier
må 2011-01-31, 10.15 - on 2013-10-23, 14.00
Plats: room D4448 (D-building, next to D42)
2011-01-31T10:15:00.858+01:00 2013-10-23T14:00:23.858+02:00 From Trusted Systems to the Smart Grid (TCS Seminarier) room D4448 (D-building, next to D42) (KTH, Stockholm, Sweden)From Trusted Systems to the Smart Grid (TCS Seminarier) -
TCS Seminarier
fr 2011-02-04, 10.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-02-04T10:15:00.503+01:00 2013-10-23T14:00:53.503+02:00 Resident Evil: After-Life Vulnerabilities in Firefox. A Study on Firefox Evolution, its Vulnerabilities, and its Fixes (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Resident Evil: After-Life Vulnerabilities in Firefox. A Study on Firefox Evolution, its Vulnerabilities, and its Fixes (TCS Seminarier) -
TCS Seminarier
må 2011-02-07, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-02-07T13:15:00.456+01:00 2013-10-23T14:00:19.456+02:00 Taming Code Explosion in Supercompilation (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Taming Code Explosion in Supercompilation (TCS Seminarier) -
TCS Seminarier
fr 2011-03-11, 13.15 - on 2013-10-23, 14.00
Plats: Room 4523
2011-03-11T13:15:00.180+01:00 2013-10-23T14:00:27.180+02:00 Behavioral specifications of object-oriented components: How do trace-based and model-based techniques compare? (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)Behavioral specifications of object-oriented components: How do trace-based and model-based techniques compare? (TCS Seminarier) -
TCS Seminarier
må 2011-04-04, 15.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-04-04T15:15:00.806+02:00 2013-10-23T14:00:36.806+02:00 Neutrality Based Symmetric Cryptanalysis (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Neutrality Based Symmetric Cryptanalysis (TCS Seminarier) -
TCS Seminarier
to 2011-04-28, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-04-28T13:15:00.381+02:00 2013-10-23T14:00:51.382+02:00 Approximating Graphic TSP by Matchings (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Approximating Graphic TSP by Matchings (TCS Seminarier) -
TCS Seminarier
må 2011-05-02, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-05-02T13:15:00.062+02:00 2013-10-23T14:00:53.062+02:00 Balanced Partitions of Trees (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Balanced Partitions of Trees (TCS Seminarier) -
TCS Seminarier
må 2011-05-16, 10.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-05-16T10:15:00.835+02:00 2013-10-23T14:00:11.835+02:00 Short Propositional Refutations for Dense Random 3CNF Formulas (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Short Propositional Refutations for Dense Random 3CNF Formulas (TCS Seminarier) -
TCS Seminarier
må 2011-05-30, 14.00 - on 2013-10-23, 14.00
Plats: Room 1537
2011-05-30T14:00:00.300+02:00 2013-10-23T14:00:19.301+02:00 The complexity of conservative valued CSPs (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)The complexity of conservative valued CSPs (TCS Seminarier) -
TCS Seminarier
må 2011-06-20, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-06-20T13:15:00.434+02:00 2013-10-23T14:00:58.434+02:00 Internet Privacy: Who gathers data and how, and what can be done about it (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Internet Privacy: Who gathers data and how, and what can be done about it (TCS Seminarier) -
TCS Seminarier
må 2011-08-22, 15.30 - on 2013-10-23, 14.00
Plats: Room 1537
2011-08-22T15:30:00.268+02:00 2013-10-23T14:00:36.268+02:00 Monotonicity testing and shortest-path routing on the cube (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Monotonicity testing and shortest-path routing on the cube (TCS Seminarier) -
TCS Seminarier
må 2011-09-05, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-09-05T13:15:00.975+02:00 2013-10-23T14:00:08.975+02:00 Hardness amplification for polynomial threshold proof systems (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Hardness amplification for polynomial threshold proof systems (TCS Seminarier) -
TCS Seminarier
må 2011-09-12, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-09-12T13:15:00.152+02:00 2013-10-23T14:00:29.152+02:00 Algorithmic analysis and complexity lower bounds (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Algorithmic analysis and complexity lower bounds (TCS Seminarier) -
TCS Seminarier
fr 2011-09-16, 10.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-09-16T10:15:00.476+02:00 2013-10-23T14:00:26.476+02:00 How Unique and Traceable are Usernames? (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)How Unique and Traceable are Usernames? (TCS Seminarier) -
TCS Seminarier
må 2011-09-19, 13.15 - on 2013-10-23, 14.00
Plats: Room 4523
2011-09-19T13:15:00.306+02:00 2013-10-23T14:00:19.307+02:00 A little advice can be very helpful (TCS Seminarier) Room 4523 (KTH, Stockholm, Sweden)A little advice can be very helpful (TCS Seminarier) -
TCS Seminarier
må 2011-09-26, 16.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-09-26T16:15:00.723+02:00 2013-10-23T14:00:48.723+02:00 Codes tailor-made for distributed networked storage (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Codes tailor-made for distributed networked storage (TCS Seminarier) -
TCS Seminarier
ti 2011-09-27, 10.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-09-27T10:15:00.148+02:00 2013-10-23T14:00:07.148+02:00 Increasing availability in a p2p storage system through a truthful taxation mechanism (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)Increasing availability in a p2p storage system through a truthful taxation mechanism (TCS Seminarier) -
TCS Seminarier
må 2011-10-10, 13.15 - on 2013-10-23, 14.00
Plats: Room 1537
2011-10-10T13:15:00.030+02:00 2013-10-23T14:00:15.030+02:00 An Anonymity Framework for SaaS (TCS Seminarier) Room 1537 (KTH, Stockholm, Sweden)An Anonymity Framework for SaaS (TCS Seminarier)