Kalender
Må 23 mars - To 31 december
-
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)