Research Seminar Series

1. Thursday, 28 September 2023: Szabolcs Horvát (RU) delivers a talk entitled "Random sampling of connected graphs with given degrees" at 14:00 in room V107.
2. Friday, 8 September 2023: Flavien Breuvart (Université Sorbonne Paris Nord) delivers a seminar entitled "Is Curry-Howard a C-H-Lambek or C-H-Girard correspondence?" at 14:00 in room V106 at Reykjavik University.
3. Wednesday, 6 September 2023: Tobias Kappé (Open University of the Netherlands and University of Amsterdam) delivers a seminar entitled "Completeness and the Finite Model Property for Kleene Algebra, Reconsidered" at 13:00 in room V105 at Reykjavik University.
4. Friday, 1 September 2023: Peter Dybjer (Chalmers University of Technology, Gothenburg) delivers a seminar entitled "Dependent type theory and proof assistants. An introduction." at 14:00 in room V107 at Reykjavik University.
5. Tuesday, 15 August 2023: Daniele Gorla (Sapienza Università di Roma) delivers a seminar entitled "Inefficiencies in Network Design" at 13:00 in room V105 at Reykjavik University.
6. 15 June 2023: Maciej Piróg (Standard Chartered and University of Wrocław, Poland) delivers a seminar entitled "High-Level Effect Handlers in C++" at 13:00 in room V105 at Reykjavik University.
7. 14 June 2023: Sanjit A. Seshia (UC Berkeley, USA) visits ICE-TCS and delivers a seminar entitled "Design Automation for Verified AI-Based Autonomy" at 11 AM in room M103 at Reykjavik University. See here for details.
8. 13 June 2023: Michael Szell (IT University Copenhagen, DK) delivers a CISDAS and ICE-TCS seminar entitled "Computational, evidence-based approaches to bicycle network planning" at 11 AM in room M105 at Reykjavik University. See here for details.
9. 12 June 2023: Roberta Sinatra (University of Copenhagen, DK) delivers a CISDAS and ICE-TCS seminar entitled "Quantitative understanding of success and inequality through network science" at 11 AM in room M104 at Reykjavik University. See here for details.
10. 6 June 2023: Shin-ya Katsumata (National Institute of Informatics, Japan) delivers an ICE-TCS seminar entitled "Codensity Games for Bisimilarity" at 13:00 in room V105 at Reykjavik University.
11. 30 May 2023: Mohammad Reza Mousavi (King's College London, UK) delivers an ICE-TCS seminar entitled Automata Learning for Evolving and Concurrent Systems at 13:00 in room V105 at Reykjavik University and on-line.
12. 26 May 2023: Mohammad Reza Mousavi (King's College London, UK) delivers an ICE-TCS seminar entitled Establishing Trust in Connected and Autonomous Systems through Conformance Testing at Reykjavik University and on-line (time and place to be confirmed).
13. 19 May 2023: Marta Kwiatkowska (University of Oxford, UK) will visit ICE-TCS and deliver a talk in the Valkyrja Distinguished Lecture Series entitled Safety and robustness for deep learning with provable guarantees. Marta's talk will also be part of the celebrations for the 18th birthday of ICE-TCS and the 25th birthday of Computer Science at Reykjavik University.
14. 15 May 2023: Patrik Eklund (University of Umeå, Sweden) will deliver an ICE-TCS seminar entitled AI with symbols and not just numbers - We need your comeback! at 11:00 in room V103 at Reykjavik University and on-line.
15. 4 May 2023: Roman Kossak (CUNY, USA) delivers an ICE-TCS seminar entitled Undefinability and Absolute Undefinability in Arithmetic at 14:00 in room M108 at Reykjavik University and on-line.
16. 28 April 2023: Simone Tini (University of Insubria, Italy) delivers an ICE-TCS seminar entitled Quantitative robustness analysis of sensor attack on cyber-physical systems. The talk will held at 14:00 in room V103 at Reykjavik University and on-line.
17. 30 March 2023: Jana Wagemaker delivers an ICE-TCS seminar entitled Kleene Algebra at 13:00 in room V105 at Reykjavik University and on-line.
18. 27 March 2023: Ülo Reimaa (University of Tartu, Estonia) delivers an ICE-TCS seminar entitled Introduction to cocategories at 15:00 in room V105 at Reykjavik University and on-line.
19. 16 March 2023: Nicola Del Giudice (University of Camerino) delivers an ICE-TCS seminar entitled YODA: Yet anOther agent Description lAnguage at 13:00, in room V105 at Reykjavik University and on-line. A recorded version of talk is avilable here [passcode *r4Ji#b0]
20. 9 March 2023: Denis Firsov (Guardtime and Tallinn University of Technology) delivers an ICE-TCS seminar entitled EasyCrypt for working cryptographers at 16:00, in room V105 at Reykjavik University. This is the 400th seminar in the ICE-TCS series.
21. 12 January 2023: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) delivers an ICE-TCS seminar entitled Towards a Higher-Order Mathematical Operational Semantics at 16:00 in room V105 at Reykjavik University and on-line.
22. 15 December 2022: Maxime Flin delivers an ICE-TCS seminar entitled Distributed Palette Sparsification at 14:00 in room M102 at Reykjavik University and on-line.
23. 8 December 2022: Magnus M. Halldorsson delivers a NestID seminar entitled Distributed graph coloring: The loglog-revolution.
24. 1 December 2022: Valentina Castiglioni delivers an ICE-TCS seminar entitled Uncertainties, adaptability, and verification at 14:00 in room V105 at Reykjavik University and on-line.
25. 29 November 2022: Magnus M. Halldorsson delivers a seminar at IRIF (U. Paris) at a workshop honoring Pierre Fraigniaud, titled When can we color fast?.
26. 24 November 2022: Valentina Castiglioni delivers the talk Uncertainties, adaptability, and verification at the FSA Colloquium at Eindhoven University of Technology.
27. 24 November 2022: Lukas Nabergall (University of Waterloo) delivers an ICE-TCS seminar entitled Finding structure in chord diagrams at 14:00 in room V105 at Reykjavik University and online.
28. 23 November 2022: Kim G. Larsen (Aalborg University, Denmark) delivers an ICE-TCS seminar entitled On-line Testing and Monitoring of Real-Time Systems at 14:00 in room M209 at Reykjavik University. See here for details.
29. 18 November 2022: Magnus M. Halldorsson delivers a George Mason University combinatorics seminar entitled Local Brooks’ Theorems at 5:30pm.
30. 17 November 2022: Aggeliki Chalki (Reykjavik University) delivers an ICE-TCS seminar entitled Descriptive complexity of hard counting problems with an easy decision version at 14:00 in room M109 at Reykjavik University.
31. 7 November 2022: Nathanael Arkor (Masaryk University) delivers an ICE-TCS seminar entitled A 2-dimensional perspective on polymorphism at 15:00 in room M109 at Reykjavik University.
32. 27 October 2022: Giulio Cerbai (University of Iceland) delivers an ICE-TCS seminar entitled A solution to the flip problem via Fishburn trees at 14:00 in room M109 at Reykjavik University.
33. 18 October 2022: Nicola Paoletti (Department of Informatics at King's College London, UK) will deliver an ICE-TCS seminar entitled "On Guaranteed Optimal Robust Explanations for NLP Models" at 15:00 in room M104 at Reykjavik University.
34. 13 October 2022: Dror Rawitz (Bar-Ilan University, Israel) delivers an ICE-TCS seminar enitled "You're Fired!": Greedy Set Selection with Dismissals at 14:00 in room M109. See here for more information on the talk.
35. 26 September 2022: Marjan Sirjani (Malardalen University, Sweden) will deliver an ICE-TCS seminar entitled "Integrating Design-time and Run-time Methods for Detecting Cyber-Attacks" at 12:00 in room M208 at Reykjavik University.
36. 20 September 2022: Joost-Pieter Katoen (RWTH Aachen, Germany) will deliver an ICE-TCS seminar entitled "Formal Verification of Randomised Algorithms" at 3 PM at 3 PM in room M209 at Reykjavik University. See here for details.
37. 19 September 2022: Joost-Pieter Katoen (RWTH Aachen, Germany) will deliver an ICE-TCS seminar entitled "Probabilistic Programming: Probability Theory for the Masses" at 3 PM in room M209 at Reykjavik University. See here for details.
38. 1 September 2022: José Espírito Santo (University of Minho, Portugal) delivers an ICE-TCS seminar entitled "Russell-Prawitz translation and atomic polymorphism" at 14:45 in room M109 at Reykjavik University. See here for information on the presentation.
39. 1 September 2022: Luís Pinto (University of Minho, Portugal) delivers an ICE-TCS seminar entitled "Coinductive proof search for intuitionistic propositional logic" at 14:00 in room M109 at Reykjavik University. See here for information on the presentation.
40. 20 June 2022: Aggeliki Chalki (National Technical University of Athens, Greece) will deliver an ICE-TCS seminar enttled "Structural and descriptive complexity of hard counting problems with easy decision version" at 2 PM in room M104 at Reykjavik University.
41. 13 June 2022: Uri Zwick (Tel Aviv University, IL) will deliver an ICE-TCS seminar entitled "Optimal resizable arrays" in room M103 at 1 PM at Reykjavik University.
42. 31 May 2022: Michael Wooldridge (University of Oxford, UK) will deliver a talk for a general public entitled "Towards Machine Understanding" at 16:00 in room M101.
43. 31 May 2022: Michael Wooldridge (University of Oxford, UK) will deliver an ICE-TCS seminar entitled "The Large Agent Collider: Towards Robust Agent-based Modelling at Scale" at 11 AM in room M101.
44. 30 May 2022: Georgiana Caltais (University of Twente, NL) will deliver an ICE-TCS seminar entitled "DyNetKAT: An Algebra of Dynamic Networks" at 11 AM in room V102.
45. 20 April 2022: Franck Cassez (ConsenSys Software R&D, Australia) delivers a joint ICE-TCS/GSSI webinar entitled "Formal verification of the Deposit Smart Contract" at 10 AM.
46. 24 March 2022: ICE-TCS organises a public talk by James Muir (BAE Systems, UK) as part of a cybersecurity event held in cooperation with the British Embassy in Iceland.
47. 21 March 2022: Duncan Paul Attard delivers an IT-MATTERS online seminar entitled "On Benchmarking for Concurrent Runtime Verification".
48. 17 March 2022: Duncan Alexander Adamson delivers a talk entitled "Combinatorial Structures for Crystal Structure Prediction" in the Mathematics Seminar Series at the University of Iceland.
49. 25 February 2022: ICE-TCS hosts a public talk entitled "Technomoral Virtues, Human Flourishing and the Bootstrapping Problem" by Shannon Vallor (University of Edinburgh, UK). The talk is sponsored by the British Embassy in Iceland. Shannon Vallor is Baillie Gifford Chair in the Ethics of Data and Artificial Intelligence at the University of Edinburgh's Edinburgh Futures Institute. See here for further information on the talk and the link to the Vimeo live stream.
50. 1 December 2021: Phil Husbands (University of Sussex, UK) delivers an joint ICE-TCS/GSSI webinar entitled "Intelligent Robots: threat or opportunity?". The video of the talk is here.
51. 15 November 2021: Manuela Fischer (Reykjavik University) delivers an ICE-TCS seminar entitled "Local Algorithms for Classic Graph Problems" at 2 PM in room M102 at Reykjavik University.
52. 8 November 2021: Niels Voorneveld (Tallinn University of Technology) delivers an ICE-TCS seminar entitled "Inductive and coinductive predicate liftings for effectful programs" at 2 PM in room M102 at Reykjavik University.
53. 25 October 2021: Stian Lybech (Reykjavik University) delivers an ICE-TCS seminar entitled "Reflection in higher-order Ψ-calculi" at 2 PM in room M102 at Reykjavik University.
54. 11 October 2021: Adrian Francalanza (University of Malta, Malta) delivers an ICE-TCS seminar entitled "Consistently-detecting monitors" at 2 PM in room M102 at Reykjavik University.
55. 4 October 2021: Karoliina Lehtinen (CNRS and LIS, Aix-Marseille University, France) delivers an ICE-TCS seminar entitled "When a little nondeterminism goes a long way: a survey of history-deterministic automata" at 2 PM in room M102 at Reykjavik University.
56. 29 September 2021: Magnus M. Halldorsson delivers a joint ICE-TCS/GSSI seminar/webinar entitled "Distributed Graph Coloring" from the GSSI, L'Aquila, Italy.
57. 23 September 2021: Roberta Sinatra (ITU Copenhagen, Denmark) delivers a webinar entitled "Quantifying biases in science". [Video]
58. Wednesday, 1 July 2020: Clemens Grabmayer delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions from 13:30 till 14:10 (Iceland time). The talk is online.
59. Tuesday, 30 June 2020: Sanjit A. Seshia delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Verified Artificial Intelligence and Autonomy from 15:00 till 15:40 (Iceland time). The talk is online.
60. Monday, 22 June 2020: Helgi Kristvin Sigurbjarnarson delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Push-Button Verification of Systems Software from 16:00 till 17:40 (Iceland time). The talk is online.
61. Friday, 12 June 2020: Clemens Grabmayer delivers a joint virtual ICE-TCS seminar for RU and GSSI titled A Complete Proof System for 1-Free Regular Expressions modulo Bisimilarity from 13:30 till 14:10 (Iceland time). The talk is online.
62. Thursday, 11 June 2020: Nicola Prezza delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Regular Languages meet Prefix Sorting from 13:30 till 14:10 (Iceland time). The talk is online.
63. Thursday, 4 June 2020: Catia Trubiani delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Performance Learning for Uncertainty of Software Systems from 15:00 till 15:50 (Iceland time). The talk is online.
64. Monday, 25 May 2020: Karoliina Lehtinen delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Parity Games -- the quasi-polynomial era from 13:30 till 14:10 (Iceland time). The talk is online.
65. Wednesday, 20 May 2020: Edward Ashford Lee delivers a joint virtual ICE-TCS seminar for RU and GSSI titled The Coevolution: The Entwined Future of Humans and Machines from 16:00 till 16:50 (Iceland time). The talk is online.
66. Monday, 18 May 2020: Pierluigi Crescenzi delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs from 13:30 till 14:10 (Iceland time). The talk is online. ATTENTION: the talk moved to Monday 8 June.
67. Monday, 4 May 2020: Luca Aceto delivers a joint virtual ICE-TCS seminar for RU and GSSI titled Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition? from 13:30 till 14:10 (Iceland time). The talk is online.
68. Monday, 20 April 2020: Magnus M. Halldorsson delivers the second joint virtual ICE-TCS seminar for RU and GSSI titled Symmetry breaking with your hands tied from 13:30 till 14:10 (Iceland time). The talk is online.
69. Tuesday, 7 April 2020: Henning A. Ulfarsson delivers the first joint virtual ICE-TCS seminar for RU and GSSI titled Combinatorial Exploration: guided by humans, proven by computer from 11:30 till 12:10 (Iceland time). The talk is online.
70. Monday, 9 March 2020: Alexandre Nolin delivers an ICE-TCS seminar titled The special case of functions with large outputs in communication complexity from 11:50 till 12:35 in room M1.08.
71. Monday, 24 February 2020: Tarmo Uustalu delivers an ICE-TCS seminar titled Ultrasubstructural logics from 11:50 till 12:35 in room M1.08.
72. Monday, 17 February 2020: Niccoló Veltri delivers an ICE-TCS seminar titled Formalizing π-Calculus in Guarded Cubical Agda from 11:50 till 12:35 in room M1.08.
73. Monday, 27 January 2020: Shin-ya Katsumata delivers an ICE-TCS seminar titled Differentiable Causal Computations via Delayed Trace from 11:50 till 12:35 in room M1.08.
74. Friday, 29 November 2019: Maciej Piróg delivers an ICE-TCS seminar titled Equational Theories and Monads from Polynomial Cayley Representations from 12:40 till 13:45 in room M1.04. More information here.
75. Thursday, 21 November 2019: Emile Nadeau delivers an ICE-TCS seminar titled Future Directions for the Tilescope Algorithm from 11:50 till 12:35 in room M1.03.
76. Monday, 18 November 2019: Michal Opler (Charles University, Prague) delivers an ICE-TCS seminar titled Solving hard problems effectively on permutations of small grid-width from 11:50 till 12:35 in room M1.06. More information here.
77. Monday, 11 November 2019: Yngvi Björnsson (Reykjavik University) delivers an ICE-TCS seminar on explainable AI, titled Trustworthy AI? from 11:50 till 12:35 in room M1.06. More information here.
78. Monday, 4 November 2019: Dylan McDermott (Reykjavik University) delivers an ICE-TCS seminar titled On the relation between call-by-value and call-by-name from 11:50 till 12:35 in room M1.06. More information here.
79. Wednesday, 2 October 2019: Georgiana Caltais (University of Konstanz) delivers an ICE-TCS seminar titled Explaining SDN Failures via Axiomatisations from 15:00 till 15:45 in room M1.23. More information here.
80. Monday, 30 September 2019: Valentina Castiglioni (Reykjavik University) delivers an ICE-TCS seminar titled Probabilistic Semantics: Discovering the Interplay of Nondeterminism and Probability from 11:50 till 12:35 in room M1.06. More information here.
81. Monday, 16 September 2019: Kim G. Larsen (Aalborg University, Denmark) will deliver a joint ICE-TCS/RUAP seminar entitled Synthesis, Verification and Optimization for Cyber-Physical Systems from 14:00 till 15:00 in room M1.03. Refreshments will be served at 13:30.
82. Monday, 2 September 2019: Mathias Ruggaard Pedersen (Reykjavik University) will deliver an ICE-TCS seminar entitled Behavioural Preorders on Stochastic Systems - Logical, Topological, and Computational Aspects from 11:50 till 12:35 in room M1.06.
83. Tuesday, 27 August 2019: Michael Engen (Department of Mathematics, University of Florida) will deliver an ICE-TCS seminar entitled Universal Permutations from 11:50 till 12:35 in room M1.09. Note the non-standard date and location!
84. Monday, 19 August 2019: Guy Even (Tel Aviv University, Israel) will deliver an ICE-TCS seminar entitled On Dynamic and Incremental Space Efficient Filters and Dictionaries from 11:50 till 12:35 in room M1.06.
85. Tuesday, 21 May 2019: Steven Chaplick (Universität Würzburg, Germany) will deliver an ICE-TCS seminar entitled Constrained Recognition Problems on Geometric Graph Classes. The seminar will be held in room M1.17 from 12:10 till 13:00.
86. Tuesday, 14 May 2019: Jay Pantone (Marquette University, USA) will deliver an ICE-TCS seminar entitled Experimental Methods in Combinatorics from 12:10 till 13:00 in room V2.24. Further details on this talk are available here.
87. Tuesday, 30 April 2019: Magnús M. Halldórsson will deliver an ICE-TCS seminar on the work of Avi Widgerson, who will receive the Knuth Prize 2019.
88. Tuesday, 23 April 2019: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Correctness of an ATL Model Transformation from SysML to Spin from 12:10 till 13:00 in room M1.11. More details on his talk are available here.
89. Tuesday, 2 April 2019: Sergey Goncharov (FAU Erlangen-Nürnberg, Germany) will deliver an ICE-TCS seminar entitled Guarded traced categories for recursion and iteration from 12:10 till 13:00 in room M1.20. More details on his talk are available here.
90. Tuesday, 5 March 2019: Elli Anastasiadi will deliver an ICE-TCS seminar entitled Parameter trade-offs for the Model Checking Problem from 12:10 till 13:00 in room M1.20. More details on her talk are available here.
91. Tuesday, 19 February 2019: Hendrik Maarand (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled Antimirov automata for trace closures of regular languages from 12:10 till 13:00 in room M1.20. More details on his talk will be available in due course.
92. Tuesday, 29 January 2019: Dirk Draheim (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled A Frequentist Semantics of Partial Conditionalization from 13:00 till 13:50 in room M1.03.
93. Tuesday, 22 January 2019: Luca Aceto will deliver an ICE-TCS seminar entitled Testing equivalence vs. runtime monitoring from 12:10 till 13:00 in room M1.20. See here for further details on this talk.
94. Tuesday, 15 January 2019: Omer Egecioglu (University of California at Santa Barbara, visiting RU) will deliver an ICE-TCS seminar entitled Combinatorics of an Euler-like product with Fibonacci exponents from 12:10 till 13:00 in room M1.20. See here for further details on this talk.
95. Tuesday, 8 January 2019: Robin Cockett (University of Calgary) will deliver an ICE-TCS seminar entitled The category CNOT from 12:10 till 13:00 in room M1.20. See here for more information on this talk.
96. Tuesday, 11 December 2018: Tarmo Uustalu (Reykjavik University) will deliver an ICE-TCS seminar entitled Derivatives of Existentially Regular Trace Languages. The talk will be held in room M1.10 from 12:10 till 13:00.
97. Tuesday, 27 November 2018: Antonis Achilleos will deliver an ICE-TCS seminar entitled Adventures in moniorability. The talk will be held in room M3.27 from 12:10 till 13:00. See here for more information on this talk.
98. Tuesday, 20 November 2018: Thomas Selig (University of Iceland) will deliver an ICE-TCS seminar entitled Combinatorics of complete non-ambiguous trees. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
99. Tuesday, 13 November 2018: Michal Opler (Computer Science Institute, Charles University, Czech Republic) will deliver an ICE-TCS seminar entitled Generalized Coloring of Permutations. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
100. Tuesday, 6 November 2018: Murilo Santos de Lima (Reykjavik University) will deliver an ICE-TCS seminar entitled Parking Permit and Network Leasing Problems. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
101. Tuesday, 30 October 2018: Páll Melsted (Faculty of Industrial Engineering, Mechanical Engineering and Computer Science, University of Iceland) will deliver an ICE-TCS seminar. The talk will be held in room V1.04 from 12:10 till 13:00. Further information on this talk is available here.
102. Tuesday, 23 October 2018: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Counterfactual causal reasoning for concurrency - one possible approach. The talk will be held in room V1.04 from 12:10 till 13:00. See here for more information.
103. Tuesday, 2 October 2018: Timo Hönig (Friedrich-Alexander University Erlangen-Nürnberg, Germany) will deliver an ICE-TCS seminar entitled Exploiting Dynamic Electricity Prices with an Energy-Aware Runtime System for Heterogeneous HPC Clusters. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information on this talk.
104. Tuesday, 25 September 2018: Ian Cassar (Reykjavik University and University of Malta) will deliver an ICE-TCS seminar entitled On Runtime Enforcement via Suppressions. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information.
105. Tuesday, 4 September 2018: Alex Popa (Faculty of Mathematics and Computer Science, University of Bucharest, Romania) will deliver an ICE-TCS seminar entitled Improving bandwidth in wireless mesh networks. The talk will be held in room V1.04 from 12:10 till 13:00. See here for further information on this talk.
106. Thursday, 23 August 2018: Tami Tamir (Efi Arazi School of Computer Science, The Interdisciplinary Center) will deliver an ICE-TCS seminar entitled New variants of resource-allocation games. The talk will be held in room M1.02 from 12:00 till 13:00. Tami was the Dean of the School of CS at the Interdisciplinary Center in Israel for 10 years, during a period of growth and expansion. In her talk, she will talk a bit about women in CS and challenges in growing a department, in addition to the research talk oriented to a general audience.
107. Wednesday, 16 May 2018: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled Causality for General LTL-definable Properties from 12:10 till 13:00 in room M1.08 at Reykjavik University.
108. Wednesday, 2 May 2018: Catia Trubiani (Gran Sasso Science Institute, Italy) will deliver a joint ICE-TCS/CRESS seminar entitled Uncertainty Propagation in Software Performance Engineering from 12:10 till 13:00 in room M1.17 at Reykjavik University. Further details on this talk are available here.
109. Monday, 19 March 2018: Niccolò Veltri (ITU Copenhagen) will deliver an ICE-TCS seminar entitled Labelled transition systems in homotopy type theory from 12:10 till 13:00 in room M1.11 at Reykjavik University.
110. Friday, 23 February 2018: Denis Firsov (University of Iowa) will deliver an ICE-TCS seminar entitled Generic derivation of induction for impredicative encodings in Cedille from 12:10 till 13:00 in room TBA at Reykjavik University.
111. Monday, 19 February 2018: Duncan Paul Attard and Ian Cassar (both at the University of Malta) will deliver an ICE-TCS seminar from 12:10 till 13:00 in room M1.11 at Reykjavik University. The details of the talk will be available in due course.
112. Monday, 12 February 2018: Hendrik Maarand (Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled Certified Foata normalization for generalized traces from 12:10 till 13:00 in room M1.11 at Reykjavik University.
113. Monday, 5 February 2018: Antonis Achilleos (Reykjavik University) will deliver an ICE-TCS seminar entitled The Completeness Problem for Modal Logic from 12:10 till 13:00 in room M1.11 at Reykjavik University.
114. Monday, 29 January 2018: Danel Ahman (INRIA Paris Rocquencourt) will deliver an ICE-TCS seminar entitled Embracing monotonicity in F* from 12:10 till 13:00 in room M1.11 at Reykjavik University.
115. Monday, 22 January 2018: Karoliina Lehtinen (Christian-Albrechts University of Kiel, Germany) will deliver an ICE-TCS seminar entitled Runtime Verification of Fixpoint Logic: Synthesis of Optimal Monitors from 12:10 till 13:00 in room M1.11 at Reykjavik University.
116. Thursday, 9 November 2017: Allan Borodin (University of Toronto) will deliver an ICE-TCS seminar. The talk, which is entitled Online bipartite matching revisited, will be held from 11:00 till 12:00 in room M1.02.
117. Monday, 9 October 2017: Tarmo Uustalu (Reykjavik University and Tallinn University of Technology) will deliver an ICE-TCS seminar. The talk, which is entitled Directed containers: shape, position and subshape fun, will be held from 12:10 till 13:00 in room M1.03.
118. Monday, 2 October 2017: Ryan Hayward (University of Alberta) will deliver an ICE-TCS seminar. The talk, which is entitled Hexbots post-AlphaGo, will be held from 12:10 till 13:00 in room M1.03.
119. Monday, 25 September 2017: Eyjólfur Ingi Ásgeirsson will deliver an ICE-TCS seminar. The talk, which is entitled Universal Framework for Wireless Scheduling Problems , will be held from 12:10 till 13:00 in room M1.03.
120. Friday, 12 May 2017: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar. The talk, which is entitled Causality Checking to Support Functional Safety in Cyber-Physical Systems – The QuantUM Approach, will be held from 12:15 till 13:00 in room M1.13.
121. Thursday, 27 April 2017: Dexter Kozen (Cornell University) will deliver a talk entitled NetKAT: A Formal System for the Verification of Networks from 4pm till 5pm in room M2.08 at Reykjavik University.
122. Friday, 21 April 2017: Christian Bean (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Creating a Virtual Combinatorist, will be held from 12:15 till 13:00 in room M1.13. See here for more information on this talk.
123. Friday, 7 April 2017: Piotr Lasek (University Rzeszów, Poland) will deliver a joint CRESS/ICE-TCS seminar entitled Interactive Data Visualization through Inductive Aggregation. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
124. Friday, 17 March 2017: Ian Cassar (University of Malta) will deliver an ICE-TCS seminar entitled Different Flavours of Runtime Monitoring. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on this talk.
125. Friday, 3 March 2017: Rémy Belmonte (University of Electro-Communications, Tokyo, Japan) will deliver an ICE-TCS seminar entitled Defective Coloring on Classes of Perfect Graphs. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on this talk.
126. Friday, 24 February 2017: Bas Luttik (TU Eindhoven) will deliver an ICE-TCS seminar entitled Executability Theory. The talk will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
127. Friday, 10 February 2017: Baldur Blöndal (Chalmers University of Technology and the Reykjavík Functional Programming group) will deliver an ICE-TCS seminar. The talk, which is entitled Functional programming and types, will be held from 12:15 till 13:00 in room M1.13. See here for further details on the talk.
128. Friday, 27 January 2017: Antonis Achilleos (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Determinizing Monitors for HML with Recursion, will be held from 12:15 till 13:00 in room M1.13.
129. Friday, 18 November 2016: Adrian Francalanza (University of Malta) will deliver an ICE-TCS seminar. The talk, which is entitled A Theory of Monitors, will be held from 13:00 till 14:00 in room M1.17. Forther details about the seminar can be found here.
130. Friday, 28 October 2016: Mohammad Hamdaqa (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Prison Break: A Generic Schema Matching Solution to the Cloud Vendor Lock-in Problem, will be held from 12:15 till 13:00 in room M1.05. Further detailes are here.
131. Friday, 14 October 2016: Luca Aceto (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Logical characterisations and compositionality of input-output conformance simulation, will be held from 12:15 till 13:00 in room M1.05.
132. Friday, 23 September 2016: Antonis Achilleos will deliver an ICE-TCS seminar. The talk, which is entitled Modal Logics with Hard Diamond-free Fragments, will be held from 12:15 till 13:00 in room M1.21.
133. Thursday, 16 June 2016: Edward A. Lee (University of California, Berkeley) delivers a talk entitled The Internet of Important Things at 11:00 AM, Room M105, Reykjavik University. Further details about the talk are here.
134. Tuesday, 24 May 2016: Zoltan Esik (University of Szeged, Hungary) will deliver an ICE-TCS seminar entitled Equational Logic of Fixed Point Operations. The seminar will be held at 1pm in room M1.02 at Reykjavik University. More details about the talk are available here.
135. Monday, 23 May 2016: Huimin Lin (Chinese Academy of Sciences, Beijing, China) will deliver an ICE-TCS seminar entitled Proving Linearizability via Branching Bisimulation. The seminar will be held at 11am in room M1.02 at Reykjavik University. More details about the talk are available here.
136. Wednesday, 18 May 2016: Eiður Sveinn Gunnarsson and Karl Þorláksson will deliver an ICE-TCS seminar entitled Generalized star polygons and polygrams in room M1.22 at 1pm. More details about the talk are available here.
137. Friday, 13 May 2016: Christian Konrad will deliver an ICE-TCS seminar entitled On the Power of Advice and Randomization for Online Bipartite Matching in room M1.22 at 12:15. More details about the talk are available here.
138. Friday, 6 May 2016: Christian Bean will deliver an ICE-TCS seminar entitled Finding Structure in Permutation Sets in room M1.22 at 12:15. More details about the talk are available here.
139. Friday, 15 April 2016: Holger Hermanns (Saarland University, Germany) will deliver an ICE-TCS seminar entitled How good is your embedded design, if at all? at 14:00.
140. Friday, 15 April 2016: Wan Fokkink (VU Amsterdam, the Netherlands) will deliver an ICE-TCS seminar entitled Quantum computing for dummies at 14:45.
141. Tuesday, 22 March 2016: Georgiana Caltais (University of Konstanz, Germany) will deliver an ICE-TCS seminar entitled (De-)Composing Causality at 10:05 in room M1.02 at Reykjavik University. More details on this talk are available here.
142. Friday, 29 January 2016: Janne H. Korhonen will deliver an ICE-TCS seminar. The talk, which is entited Fast distributed algorithms on the congested clique, will be held at 12:15 in room V1.02 at Reykjavik University.
143. Friday, 22 January 2016: Ágnes Cseh will deliver an ICE-TCS seminar. The talk, which is entitled Popular matchings, will be held at 12:15 in room V1.02 at Reykjavik University.
144. Friday, 15 January 2016: Þorkell Helgason will deliver a joint ICE-TCS and Engineering Management seminar. The talk, which is entitled Viðfangsefni í aðgerðargreiningu á sviði kosningafræða, will be held at 2pm in room M1.02 at Reykjavik University. (Note: Unlike other ICE-TCS talks, this seminar will be held in Icelandic.) More details on this talk are available here.
145. Friday, 18 December 2015: Andres Iroume (Georgia Institute of Technology, USA). The talk, which is entitled Strengthened Sparse Approximations for Polytopes, will be held at 2pm in room M1.02 at Reykjavik University. More details on this talk are available here.
146. Friday, 11 December 2015: Christian Konrad (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled New Algorithms for Old Problems: Streaming Algorithms for Partitioning Sequences and Trees, will be held at 2pm in room M1.21 at Reykjavik University. More details on this talk are available here.
147. Friday, 20 November 2015: Yolanda Ortega Mallen (Universidad Complutense de Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Launchbury's semantics revisited: Looking for the missing proofs, will be held at 2pm in room M1.02 at Reykjavik University. See here for more details on this talk.
148. Friday, 13 November 2015: Tigran Tonoyan (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Limitations of Current Wireless Scheduling Algorithms, will be held at 2pm in room M1.02 at Reykjavik University.
149. Friday, 30 October 2015: Tomas Ken Magnusson (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Bounds and Fixed-Parameter Algorithms for Weighted Improper Coloring, will be held at 2pm in room M1.02 at Reykjavik University.
150. Friday, 2 October 2015: Ulfar Erlingsson (Google) will deliver an ICE-TCS seminar. The talk, which is entitled What's the Big Deal with Big Data and Deep Learning?, will be held at 2pm in room M208 (note the new room!) at Reykjavik University. See here for more details. Here are some interesting links for those who would like to learn more on the topc of the ICE-TCS talk by Úlfar Erlingsson:
     • See here for a lot of the main academic research papers.
     • Also Lecun, Bengio, and Hinton's paper in Nature, May 2015, has a great overview and a good annotated bibliography.
     • For a great overview see the video and posts here, here and here.
     • The following three "textbooks" are essential if you want to learn this stuff: Deep Learning by Yoshua Bengio, Ian Goodfellow and Aaron Courville, Neural Networks and Deep Learning by Michael Nielsen and Deep Learning Tutorials.
     • And this blog and this other one are really cool.
151. Friday, 11 September 2015: Mads Chr. Olesen (Aalborg University, Denmark) will deliver an ICE-TCS seminar. The talk, which is entitled Formal Methods for Modelling and Analysis of Single-Event Upsets, will be held at 2pm in room M1.02 at Reykjavik University. See here for more details on this talk.
152. Thursday, 20 August 2015: Gerard Berry (College de France) will deliver a public talk entitled The algorithmic revolution in the sciences at 5pm in room V101 at Reykjavik University. This is a joint event with Visindafelag Islendinga. Further details related to Gerard's visit will be announced in due course.
153. Monday, 22 June 2015: Carlos Gregorio-Rodriguez (Universidad Complutense de Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled A conformance simulation relation for model based testing and model checking, will be held at 2pm in room M1.02 at Reykjavik University. See here for more details on this talk.
154. Friday, 12 June 2015: Carlos Varela (Rensselaer Polytechnic Institute, USA) will deliver an ICE-TCS seminar. The talk, which is entitled Structured Reasoning about Actor Systems, will be held at 2pm in room M1.02 at Reykjavik University.
155. Tuesday, 9 June 2015: Michael Albert (University of Otago, New Zealand) will deliver an ICE-TCS seminar. The talk, which is entitled Catalan coincidences, will be held at 2pm in room V1.02 at Reykjavik University. (Note the non-standard location.)
156. Wednesday, 3 June 2015: Dominic Orchard (Imperial College, London, UK) will deliver an ICE-TCS seminar. The talk, which is entitled Effects in a pi - using session types as an effect system, will be held at 11am in room M1.02 at Reykjavik University. More details on this talk are here.
157. Friday, 29 May 2015: Joshua Sack (University of Amsterdam, NL) will deliver an ICE-TCS seminar. The talk, which is entitled Quantales with Quantum Structure, will be held at 2pm in room M1.02 at Reykjavik University.
158. Friday, 22 May 2015: Anna Ingolfsdottir (Reykjavik University of Maryland) will deliver an ICE-TCS seminar. The talk, which is entitled When are prime formulae characteristic?, will be held at 2pm in room M1.02 at Reykjavik University.
159. Monday, 18 May 2015: Cheyne Homberger (University of Maryland, Baltimore County) will deliver an ICE-TCS seminar. The talk, which is entitled Counting Patterns: Equipopularity in Permutation Classes, will be held at 2pm in room M1.02 at Reykjavik University.
160. Friday, 8 May 2015: Cesar Augusto Nieto Coria (University of Camerino) will deliver an ICE-TCS seminar. The talk, which is entitled Modeling the Marine Ecosystem towards an Agent-Based Approach, will be held at 2pm in room M3.06 at Reykjavik University. (Note the nonstandard location.)
161. Friday, 24 April 2015: Marcel Kyas (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Indoor Positioning, will be held at 2pm in room M1.02 at Reykjavik University.
162. Thursday, 16 April 2015: Zoltan Esik (University of Szeged, Hungary) will deliver an ICE-TCS seminar. The talk, which is entitled Solving non-monotonic fixed point equations with an application to logic programming, will be held at 11am in room M1.02 at Reykjavik University.
163. Thursday, 9 April 2015: Anders Claesson (University of Strathclyde, UK) will deliver an ICE-TCS seminar. The talk, which is entitled Pascal's matrix and incidence algebras, will be held at 2pm in room M1.02 at Reykjavik University. Further information on the talk is available here.
164. Friday, 27 March 2015: Magnus M. Halldorsson will deliver an ICE-TCS seminar. The talk, which is entitled Tree Matching, 20 years later, will be held at 2pm in room M1.02 at Reykjavik University. Further information on the talk is available here.
165. Friday, 20 February 2015: Eyjólfur Ingi Ásgeirsson (Reykjvik University) will deliver an ICE-TCS seminar to celebrate the 100th anniversary of the birth of George Dantzig, who made important contributions to operations research, computer science, economics and statistics. The talk will be held at 2pm in room M1.02 at Reykjavik University.
166. Friday, 6 February 2015: Christian Bean (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Bivincular Patterns: Simultaneous Avoidance of a Vincular and a Covincular Pattern of Length 3 will be held at 2pm in room, M1.02 at Reykjavik University.
167. Friday, 30 January 2015: Adrian Francalanza (University of Malta) will deliver an ICE-TCS seminar. The talk, which is entitled An LTL Proof System for Runtime Verification, will be held at 2pm in room M1.02 at Reykjavik University.
168. Friday, 28 November 2014: Henning Ulfarsson (Reykjavik University) will deliver an ICE-TCS seminar entitled Struct: An algorithm for guessing the structure and enumeration of permutation sets. The talk will be held at 2pm in room M1.02 at Reykjavik University. Note the non-standard room.
169. Monday, 24 November 2014: Georgiana Caltais (ETH Zurich, CH) will deliver an ICE-TCS seminar. The talk, which is entitled On the design and analysis of a concurrency model, will be held at 11am in room M3.25 at Reykjavik University.
170. Friday, 21 November 2014: Matthew Macaulay (Clemson University, USA) will deliver an ICE-TCS seminar entitled Cyclic reducibility and conjugacy in Coxeter groups. The talk will be held at 2pm in room M1.09 at Reykjavik University.
171. Friday, 24 October 2014: Álvaro García Pérez (Reykjvik University) will deliver an ICE-TCS seminar entitled Operational Aspects of Full Reduction in Lambda Calculi. The talk will be held at 2pm in room M1.09 at Reykjavik University. More information on the talk is available here.
172. 26 September 2014: Luca Aceto (ICE-TCS, School of Computer Science, Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Rule Formats for Structural Operational Semantics: A Very Short Introduction, will be held at 2pm in room M1.09 at Reykjavik University.
173. Friday, 19 September 2014: Tigran Tonoyan (Reykjavik University) will deliver an ICE-TCS seminar. The talk will be held at 2pm in room M1.09 at Reykjavik University.
174. Friday, 5 September 2014: Ignacio Fábregas Alfaro (Reykjvik University) will deliver an ICE-TCS seminar. The talk, which is entitled Coalgebraic and Categorical Techniques for the Study of Process Semantics, will be held at 2pm in room M1.09 at Reykjavik University.
175. Wednesday, 27 August 2014: Mikael Lindvall (Fraunhofer Center for Experimental Software Engineering, USA) will deliver an ICE-TCS seminar at 14:00 in room M104 at Reykjavik University. The seminar is entitled Introducing the Fraunhofer USA Center for Experimental Software Engineering. See here for more information.
176. Thursday 10 July 2014: Alexander Guterman (Moscow State University, Russia) delivers and ICE-TCS seminar entitled Tropical linear algebra. The talk will be held at 13:00 in room V1.02 at Reykjavik University.
177. Friday, 13 June 2014: Marc Renault (LIAFA, Université Paris Diderot - Paris 7, France) will deliver an ICE-TCS seminar. The talk, which is entitled On Online Algorithms with Advice for the Reordering Buffer Management Problem, will be held at 2pm in room M3.25 at Reykjavik University.
178. Friday, 30 May 2014: María Martos-Salgado (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Dynamic Networks of Timed Petri Nets and their expressiveness, will be held at 2pm in room M3.25 at Reykjavik University.
179. Friday, 23 May 2014: Fernando Rosa Velardo (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Enriched nets for the verification of infinite-state systems, will be held at 2pm in room M3.25 at Reykjavik University.
180. Friday, 2 May 2014: Gilbert Cockton (Northumbria University) will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Creatively led Digital Applications, will be held at 2pm in room M1.08 at Reykjavik University.
181. Friday, 25 April 2014: Álvaro García Pérez (IMDEA Software Institute and Universidad Politecnica de Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled Reasoning about Structural Operational Semantics in a Calculus of Closures, will be held at 11am in room M1.08 at Reykjavik University.
182. Wednesday, 23 April 2014: David Romero Hernández (Universidad Complutense Madrid, Spain) will deliver an ICE-TCS seminar. The talk, which is entitled The happiness visiting Iceland: Defining distances between processes, will be held at 11am in room V1.05 at Reykjavik University.
183. Friday, 11 April 2014: Anders Claesson (University of Strathclyde, Scotland) will deliver an ICE-TCS seminar. The talk, which is entitled Interval orders can be viewed as pairs of permutations, will be held at 2pm in room M1.08 at Reykjavik University.
184. Friday, 21 March 2014: Adrian Francalanza (University of Malta) will deliver an ICE-TCS seminar. The talk, which is entitled Synthesising Correct Concurrent Runtime Monitors, will be held at 2pm in room M1.08 at Reykjavik University.
185. Wednesday, 19 February 2014: Matteo Cimini (LIX, École Polytechnique, Paris, France) delivers an ICE-TCS seminar. The talk, which is entitled A formalization of bisimulation-up-to techniques and their meta-theory, will be held at 11am in room M1.12 at Reykjavik University.
186. 24 January 2014: Sheng Tang (Institute of Computing Technology, Chinese Academy of Sciences (ICT-CAS), China) delivers a joint CRESS/ICE-TCS seminar. The talk, which is entitled Sparse Ensemble Learning for Visual Concept Detection, will be held at 2pm in room M1.08 at Reykjavik University. More information about the talk is here.
187. Friday, 17 January 2013: Christian Konrad (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled On the Order of Graph Streams, will be held at 2pm in room M1.08 at Reykjavik University.
188. Friday, 29 November 2013: Dario Della Monica (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Modal logics, Horn theories, and (hyper-)graph theory are not so far - The 'enumeration problems' bridge, will be held at 2pm in room M1.08 at Reykjavik University.
189. Wednesday, 20 November 2013: Ali Jafari (Reykjavik University) will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors, will be held at 2pm in room V1.08 at Reykjavik University.
190. Friday, 15 November 2013: Ymir Vigfusson (Reykjavik University) will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Dynamic Performance Profiling of Memory Caches, will be held at 2pm in room M1.08 at Reykjavik University.
191. Friday, 8 November 2013: Ehsan Khamespanah (Reykjavik University) will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Verification of Real-time Asynchronous Distributed Systems, will be held at 2pm in room M1.08 at Reykjavik University.
192. Friday, 1 November 2013: Gylfi Þór Guðmundsson will deliver a joint CRESS/ICE-TCS seminar. The talk, which is entitled Parallelism and Distribution for Very Large Scale Content Based Image Retrieval, will be held at 2pm in room M1.08 at Reykjavik University.
193. Friday, 25 October 2013: Sigurður Freyr Hafstein (School of Science and Engineering, Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Computation of CPA Lyapunov functions, will be held at 2pm in room M1.08 at Reykjavik University.
194. Monday, 21 October 2013: Bengt Aspvall (Blekinge Tekniska Högskola, Sweden) will deliver an ICE-TCS seminar. The talk, which is entitled Sorting Algorithms As Special Cases Of A Priority Queue Sort, will be held at 2pm in room M1.03 at Reykjavik University.
195. Monday, 14 October 2013: Koosha Paridel (ICE-TCS, Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Communication Middleware for Mobile Ad hoc Networks. Algorithms for Highly Mobile and Partitioned Networks, will be held at 3pm in room V1.02 at Reykjavik University.
196. Friday, 11 October 2013: Kristinn R. Thórisson and Eric Nivel (CADIA / School of Computer Science) will deliver an ICE-TCS seminar. The talk, which is entitled A Unified Approach for Achieving Generally Intelligent Systems, will be held at 2pm in room M1.08 at Reykjavik University.
197. Friday, 4 October 2013: Stephan Schiffel (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Efficient Reasoning about Games, will be held at 2pm in room M1.08 at Reykjavik University. Further information on this presentation is available here.
198. Friday, 20 September 2013: Helga Guðmundsdóttir (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled Visual GUI Testing with PiGuiT, will be held at 2pm in room M1.08 at Reykjavik University. Further information on this presentation is available here.
199. Friday, 13 September 2013: Roni Bulent Özel (Reykjavik University) will deliver an ICE-TCS seminar. The talk, which is entitled A Multi-agent Simulation Model on Individual Cognitive Structures and Collaboration in Sciences, will be held at 2pm in room M1.08 at Reykjavik University.
200. Friday, 6 September 2013: Marijke Boedlander will deliver an ICE-TCS seminar. The talk, which is entitled Wireless Networking - Beyond Basic SINR, will be held at 2pm in room M1.08 at Reykjavik University. Further information on this presentation is available here.
201. Friday, 23 August 2013: Benny Chor (School of Computer Science, Tel-Aviv University, Israel) will visit ICE-TCS and will deliver an ICE-TCS seminar on an introduction to CS course that he designed and that is now taught as the required first year introductory course at Tel-Aviv University. The talk, which is entitled CS1001.py: A Topics Based Introduction to Computer Science, will be held at 2pm in room V1.02 at Reykjavik University. (Note the new room!) More information on the talk is available here.
     A recording of the talk (audio and slides) is available here.
202. Thursday, 22 August 2013: Jos Baeten (Director of CWI Amsterdam, NL) will deliver an ICE-TCS seminar. The talk, which is entitled Computation and interaction will be held at 2pm in room M1.04 at Reykjavik University. Further details on the talk are available here.
     A recording of the talk (audio and slides) is available here.
203. Wednesday, 21 August 2013: MohammadReza Mousavi (Halmstad University, Sweden) will deliver an ICE-TCS seminar. The talk, which is entitled Model-Based Testing: From Theory to Practice and Back, will be held at 3:30pm in room M1.04 at Reykjavik University. (Note the new time and room!) More information on the talk is available here.
     The recording of the talk (audio and slides) is available here.
204. Friday, 31 May 2013: Raymond Yeung (Department of Information Engineering, The Chinese University of Hong Kong) will deliver an ICE-TCS seminar entitled Network Coding: Theory and Applications at 2pm in room M1.08 at Reykjavik University. Further details on the talk are available here.
205. Friday, 24 May 2013: Magnús M. Halldórsson will deliver a talk to celebrate the centenary of the birth of Paul Erdös. The presentation, which is organized jointly with the Icelandic Mathematical Society, is entitled Paul Erdös Centennial: The master collaborator and will be held at 2pm in room M1.08 at Reykjavik University.
206. Friday, 26 April 2013: Sverrir Ólafsson (School of Business and School of Science and Engineering, Reykjavik University) will deliver an ICE-TCS seminar entitled Can modern mathematical finance explain asset price bubbles? at 2pm in room M1.08 at Reykjavik University.
207. Friday, 19 April 2013: Hlynur Arnórsson will deliver an ICE-TCS seminar entitled The story of the general solution to the third degree polynomial and the first complex numbers at 2pm in room M1.08 at Reykjavik University. See here for further details on the talk.
208. Friday, 15 March 2013: Pierluigi Crescenzi (University of Florence, Italy) will deliver an ICE-TCS seminar entitled On computing distance measures in real-world huge graphs at 2pm in room M1.08 at Reykjavik University.
209. Friday, 8 March 2013: Henning Úlfarsson (School of Computer Science, Reykjavik University) will deliver an ICE-TCS seminar entitled Crazy bijections between planar maps, beta-trees and permutations at 2pm in room M1.08 at Reykjavik University.
210. Friday, 22 February 2013: Andrea Scagliarini (School of Science and Engineering, Reykjavik University) will deliver an ICE-TCS seminar entitled The lattice Boltzmann method for Computational Fluid Dynamics at 2pm in room M1.08 at Reykjavik University.
211. Friday, 8 February 2013: Georgiana Caltais (School of Computer Science, Reykjavik University) delivers an ICE-TCS seminar entitled Checking the must-testing preorder with bisimulations up-to at 2pm in room M1.08 at Reykjavik University.
212. Friday, 25 January 2013: Jón Þór Sturluson (School of Business, Reykjavik University) will deliver an ICE-TCS seminar entitled Why prices rise faster than they fall - A multiple equilibria story at 2pm in room M1.08 at Reykjavik University.
213. Friday, 11 January 2013: Helgi P. Helgason and Kristinn Thorisson (School of Computer Science, Reykjavik University) will deliver an ICE-TCS seminar entitled On Attention Mechanisms for AGI Architectures: A Design Proposal at 2pm in room M1.08 at Reykjavik University. This paper received the Kurzweil Award at the recent Fitfth Conference on Artificial General Intelligence. For further information, see:
     • the paper in PDF format,
     • the AGI conference announcement,
     • the RU web (in Icelandic), and
     • the IIIM web pages.
214. Friday, 4 January 2013: Pradipta Mitra (School of Computer Science, Reykjavik University) will deliver an ICE-TCS seminar entitled Wireless Connectivity from Scratch at 2pm in room M1.08 at Reykjavik University. Further details are available here.
215. Friday, 14 December 2012: Reiner Creutzburg (Brandenburg University of Applied Science, Germany) delivers an ICE-TCS seminar entitled Computer and Image Forensics - History, State-of-the-art, Case studies at 2pm in room M1.09 at Reykjavik University.
216. Friday, 7 December 2012: Ute Schiffel (Reykjavik University) delivers an ICE-TCS seminar entitled Safety Transformations: Sound and Complete? at 2pm in room M1.09 at Reykjavik University. More details are available here.
217. Friday, 30 November 2012: Páll Melsted (University of Iceland) delivers an ICE-TCS seminar entitled The greatest theorem you'll never use! at 2pm in room M1.09 at Reykjavik University. This seminar, which is organized jointly with the Icelandic Mathematical Society, will celebrate the award of the 2012 Abel Prize to Endre Szemerédi.
218. Friday, 23 November 2012: Eugen-Ioan Goriac (School of Computer Science, Reykjavik University) delivers an ICE-TCS seminar entitled SOS Rule Formats for Idempotent Terms and Idempotent Unary Operators at 2pm in room M1.09 at Reykjavik University.
219. Friday, 16 November 2012: Sigmar Karl Stefánsson (MATÍS) delivers an ICE-TCS seminar entitled Computational phylogenetics / molecular evolution at 2pm in room M1.09 at Reykjavik University.
220. Friday, 9 November 2012: Vignir Örn Guðmundsson (Reykjavik University) delivers an ICE-TCS seminar on model-based testing of systems following the publisher-subscriber architectural style at 2pm in room M1.09 at Reykjavik University. This is seminar number 200 in the ICE-TCS seminar series.
221. Friday, 19 October 2012: Leifur Leifsson (School of Science and Engineering, Reykjavik University) delivers an ICE-TCS seminar entitled Aerodynamic shape optimization by physics-based surrogates at 2pm in room V1.09 at Reykjavik University. Further details are available here.
222. Friday, 5 October 2012: Mahmoud Hassan (School of Science and Engineering, Reykjavik University) delivers an ICE-TCS seminar entitled Complex biomedical systems: A signal processing approach at 2pm in room V1.09 at Reykjavik University.
223. Friday, 28 September 2012: Ingolfur Edvardsson (Reykjavik University) delivers an ICE-TCS seminar entitled RNA and StatAlign at 2pm in room V1.09 at Reykjavik University.
224. Friday, 21 September 2012: Dario Della Monica (Reykjavik University) delivers an ICE-TCS seminar entitled Adventures in Interval Temporal Logics at 2pm in room V1.09 at Reykjavik University.
225. Friday, 14 September 2012: Ymir Vigfusson (Reykjavik University) delivers an ICE-TCS seminar entitled Gradient: bandwidth sensitive overlay network for streaming live content at 2pm in room V1.09 at Reykjavik University.
226. Friday, 7 September 2012: Bjarni V. Halldorsson (Reykjavik University) delivers an ICE-TCS seminar entitled Estimating population size via line graph reconstruction at 2pm in room V1.09 at Reykjavik University.
227. Friday, 31 August 2012: Luca Aceto (Reykjavik University) delivers an ICE-TCS seminar entitled Algebraic Synchronization Trees and Processes at 2pm in room V1.09 at Reykjavik University.
228. Friday, 24 August 2012: Stefan Schmid (Internet Network Architectures (INET), TU Berlin / Telekom Innovation Laboratories (T-Labs)) delivers an ICE-TCS seminar entitled CloudNets: Combining Clouds with Networking at 2pm in room V1.09 at Reykjavik University.
229. Wednesday, 30 May 2012: Jón Ingi Sveinbjörnsson (Reykjavik University) delivers an ICE-TCS talk entitled Algorithms and software for the detection of complex genetic variants at 3pm in room M208 at Reykjavik University.
230. Wednesday, 9 May 2012: Qin Xin (University of the Faroe Islands) delivers an ICE-TCS talk entitled Faster Treasure Hunt and Better Strongly Universal Exploration Sequences at 1pm in room M105 at Reykjavik University.
231. Friday, 4 May 2012: Deon Garrett delivers an ICE-TCS talk entitled Multi-objective Landscape Analysis in Optimization and Machine Learning at 2pm in room V109 at Reykjavik University. Further details are available here.
232. Friday, 20 April 2012: Hilmar Finnsson delivers an ICE-TCS talk entitled Alpha-Beta Pruning for Games with Simultaneous Moves at 2pm in room V109 at Reykjavik University.
233. Friday, 13 April 2012: Arnar Birgisson (Chalmers University of Technology, Sweden) delivers an ICE-TCS talk entitled Boosting the Permissiveness of Dynamic Information Flow Control by Testing at 2pm in room V109 at Reykjavik University.
234. Friday, 30 March 2012: Matteo Cimini delivers an ICE-TCS talk entitled Nominal SOS: A Framework for Structural Operational Semantics with Binders at 2pm in room V109 at Reykjavik University. Further information on this talk is available here.
235. Monday, 5 March 2012: Marijke Bodlaender (Utrecht University) delivers an ICE-TCS talk entitled The Cinderella Game on Holes and Anti-holes. The talk will take place between 10.30 and 11 in room M123 at Reykjavik University.
236. Friday, 24 February 2012: Jón Guðnason delivers an ICE-TCS talk entitled Analyzing the speech signal at 2pm in room V109 at Reykjavik University. Further details on the seminar are available here.
237. Friday, 10 February 2012: Eyjólfur Ingi Ásgeirsson delivers an ICE-TCS talk entitled Local-search vs. near optimal MIP solutions for preference based staff scheduling at 2pm in room V109 at Reykjavik University. Further details on the seminar are available here.
238. Friday, 3 February 2012: Henning Úlfarsson delivers an ICE-TCS talk entitled Automatic discovery of permutation patterns at 2pm in room V109 at Reykjavik University.
239. Thursday, 26 January 2012: Georgiana Caltais presents her thesis proposal entitled Formal Methods for Concurrency: Coalgebra and Structural Operational Semantics at 2pm in room M110 at Reykjavik University.
240. Friday, 20 January 2012: Zoltan Esik (University of Szeged, Hungary) delivers the ICE-TCS talk Context-free languages of countable words at 2pm in room V109 at Reykjavik University.
241. Thursday, 19 January 2012: Helgi Tomasson (University of Iceland) delivers the ICE-TCS talk Tímaradalíkön fyrir samfelldan tíma at 16:30 in room M1.03 at Reykjavik University. This event is organized jointly with the Department of Financial Engineering at Reykjavik University.
242. Friday, 13 January 2012: Joshua Sack delivers the ICE-TCS talk Compositional reasoning for epistemic processes at 2pm in room V109 at Reykjavik University.
243. Thursday, 17 November 2011: Matthew Hennessy (Computer Science Department at Trinity College Dublin, Ireland) delivers an ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions. The talk will be held in room V1.07 (Reykjavik University) at 2pm. Further details on the talk are available here.
244. 28 October 2011: Eugen-Ioan Goriac delivers the ICE-TCS talk Extending and Axiomatizing Structural Operational Semantics: Theory and Tools at 2pm in room V109 at Reykjavik University. The seminar will be devoted to the presentation of Eugen's doctoral thesis proposal.
245. Friday, 21 October 2011: Ýmir Vigfússon (Reykjavik University) delivers a talk entitled Decentralized Polling with Respectable Participants. The talk will be held at 2pm in room V109 at Reykjavik University. The abstract for the talk is available here.
246. Friday, 2 September 2011: Ron Aharoni (Technion, Israel) delivers a talk entitled Matchings in hypergraphs - many problems and some results. The talk, which will be held at 2pm in room V109 at Reykjavik University, is organized jointly by ICE-TCS and the Icelandic Mathematical Society. The abstract for the talk is available here.
247. Friday, 26 August 2011: Alejandro Russo (Chalmers University of Technology, Sweden) visits ICE-TCS and delivers an ICE-TCS seminar. The talk, which is entitled Disjunction Category Labels, will be held at 14:00 in room V109 at Reykjavik University.
248. Friday, 22 July 2011: Magnus Halldorsson organizes an informal day of short seminars, with a broad theme of "distributed computing". The RU Distributed Computing Day features both visitors and recent returnees. The location is Sirius 1 (M.3.03) and the programme is as follows:
     • 10:30 Pierre Fraigniaud, Paris Diderot: Locality in distributed computing
     • 11:00 Lelia Blin, U. Evry: Self-stabilization
     • 11:30 Pradipta Mitra, RU: What problems to solve
     • 13:30 Pall Melsted: Problems in transcriptome assembly
     • 14:00 Ymir Vigfusson, RU: Multicasting in distributed systems
     • 14:30 Magnus M. Halldorsson, RU: Algorithms related to packet admission in networks
249. Friday, 10 June 2011: Alexandra Silva (CWI, Amsterdam, NL) visits ICE-TCS and delivers an ICE-TCS seminar. The talk, which is entitled Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems, will be held at 11:00 in room Foenix 3 at Reykjavik University.
250. Thursday, 26 May 2011: Georges Gonthier (Microsoft Research, Cambridge, UK) delivers a public talk entitled Verifying the Four Colour Theorem. The talk, which will be held in room V1.01 at Reykjavik University, is organized jointly by ICE-TCS and the Icelandic Mathematical Society.
     • The abstract for the talk and a biographical sketch for the speaker are available here.
     • The poster for the event is here.
     • The slides and audio of the talk are here.
     The talk will be preceded by some light refreshments at 4.30pm.
251. Wednesday, 11 May 2011: Joshua Sack delivers an ICE-TCS seminar. The talk will be held at 3pm in room M1.02 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
252. Monday, 9 May 2011: Cristian Prisacariu (University of Oslo) delivers an ICE-TCS seminar. The talk, which is entitled Modal Logic and Higher Dimensional Automata, will be held at 3pm in room M1.02 at Reykjavik University (Menntavegur 1).
253. Friday, 6 May 2011: Ymir Vigfusson (IBM Research, Haifa, Israel) delivers an ICE-TCS seminar. The talk, which is entitled Ultra Scalable Messaging Systems, will be held at 11am in room M3.09 at Reykjavik University (Menntavegur 1).
254. Friday, 25 March 2011: Ute Schiffel delivers an ICE-TCS seminar. The talk, which is entitled The Encoding Compiler: Detecting Hardware Errors in Software, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).
255. Friday, 18 March 2011: Eyjolfur Ingi Asgeirsson delivers an ICE-TCS seminar. The talk, which is entitled On a Game Theoretic Approach to Capacity Maximization in Wireless Networks, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).
256. Friday, 25 February 2011: Nicola Paoletti (University of Camerino, Italy) delivers an ICE-TCS seminar. The talk, which is entitled Formal aspects in spatial and hierarchical modelling: a survey, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).
257. Friday, 11 February 2011: Matteo Cimini delivers an ICE-TCS seminar. The talk, which is entitled Rule Formats for Distributivity, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
258. Friday, 28 January 2011: Luca Aceto delivers delivers an ICE-TCS seminar. The talk, which is entitled Some recent non-finite axiomatizability results for basic process algebras, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).
259. Friday, 14 January 2011: Pradipta Mitra delivers delivers an ICE-TCS seminar. The talk, which is entitled Wireless Capacity with Oblivious Power in General Metrics, will be held at 13.20 in room M1.19 at Reykjavik University (Menntavegur 1). Unlike our typical seminars, the talk will be about 25 minutes long.
260. Friday, 17 December 2010: Magnus M. Halldorsson delivers an ICE-TCS seminar. The talk, which is entitled Streaming algorithms and communication complexity, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
261. Friday, 12 November 2010: Pierre Fraigniaud (LIAFA, Universite Paris Diderot - Paris 7, France) delivers an ICE-TCS seminar. The talk, which is entitled Informative Labeling Schemes, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
262. Tuesday, 9 November 2010: Bjarni Halldorsson (School of Science and Enginerring, Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Random graphs and DNA sequence assembly, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
263. Friday, 29 October 2010: Juris Viksna (University of Latvia, Department of Computer Science) delivers an ICE-TCS seminar. The talk, which is entitled Dependence of dynamic properties of gene interaction networks on the network topology and parameter values, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
264. Thursday, 14 October 2010: Arnar Birgisson (Chalmers University of Technology, Sweden) delivers an ICE-TCS seminar. The talk, which is entitled Leaking less than epsilon: Differential Privacy and Information Flow, will be held at 12:00 in room M1.24 (note the non-standard time and location!) at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
265. Friday, 8 October 2010: Sigurdur I. Erlingsson (School of Science and Engineering, Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Lattice models for multi-terminal nanostructures in magnetic field, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
266. Friday, 1 October 2010: Miguel Palomino Tarjuelo (Universidad Complutense Madrid, Spain) delivers an ICE-TCS seminar. The talk, which is entitled On linear contravariant semantics, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
267. Friday, 17 September 2010: Bryan Renne (Faculty of Philosophy, University of Groningen, NL) delivers an ICE-TCS seminar. The talk, which is entitled Arrow Update Logic, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
268. Friday, 10 September 2010: Marjan Sirjani (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is a tutorial entitled The Coordination Language Reo, its Formal Semantics and Analysis Techniques, will be held at 1:30pm (note the new start time!) in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
269. Friday, 3 September 2010: Zoltan Esik (University of Szeged, Hungary) delivers an ICE-TCS seminar. The talk, which is entitled Axiomatizing regular languages and rational power series, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The aim of the talk is to present a survey of axiomatization results on regular languages and rational power series.
270. Friday, 27 August 2010: Georgiana Caltais Goriac (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
271. Friday, 20 August 2010: Luca Tesei (University of Camerino, Italy) delivers an ICE-TCS seminar. The talk, which is entitled Space, geometry, motion and interactions in modeling biological systems, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
272. Friday, 13 August 2010: Eugen-Ioan Goriac delivers an ICE-TCS seminar. The talk, which is entitled A Behavioral Verification Tool based on Circular Coinduction, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
273. Thursday, 5 August 2010: Willard Thor Rafnsson (Chalmers University of Technology, Sweden) delivers an ICE-TCS seminar. The talk, which is entitled Securing Event-based Communication, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1).
274. Monday, 28 June 2010: David de Frutos Escrig (Universidad Complutense Madrid, Spain) delivers an ICE-TCS seminar. The talk, which is entitled (Un)decidability in Petri nets with name creation and replication, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
275. Friday, 11 June 2010: Daniele Catanzaro (Universite Libre de Bruxelles, Belgium) delivers an ICE-TCS seminar.
276. Friday, 23 April 2010: Matteo Cimini (Reykjavik University) delivers a seminar in the ICE-TCS seminar series. The talk, which is entitled On Rule Formats for Zero and Unit Elements,, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
277. Friday, 16 April 2010: Henning Ulfarsson (Reykjavik University) delivers a seminar in the ICE-TCS seminar series. The talk, which is entitled Equivalence relations on permutations and pattern avoidance, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
278. Friday, 9 April 2010: Joshua Sack (Reykjavik University) delivers a seminar in the ICE-TCS seminar series. The talk, which is entitled Characteristic Formulae for Fixed-point Semantics: A General Framework, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
279. Friday, 26 March 2010: Andrei Sabelfeld (Chalmers University of Technology, Sweden) delivers a seminar in the ICE-TCS seminar series. The talk, which is entitled Information flow in web applications, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is here.
280. Friday, 12 March 2010: Bas Luttik (Eindhoven University of Technology, The Netherlands) delivers a seminar entitled Interactive Turing Machines in the ICE-TCS seminar series. The talk will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
LI> Friday, 5 March 2010: Vit Jelinek (Reykjavik University) delivers a seminar entitled Pattern Avoidance in Partial Permutations in the ICE-TCS seminar series. The talk will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
281. Friday, 19 February 2010: Luca Aceto delivers a seminar entitled Bisimulation and co-induction: A guided tour to their history and applications in the ICE-TCS seminar series. The talk will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
282. Friday, 12 February 2010: Magnus M. Halldorsson delivers a seminar entitled Word-representable graphs in the ICE-TCS seminar series.
283. Friday, 22 January 2010: Luca Aceto (School of Computer Science, Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Decompositional Reasoning about the History of Parallel Processes, will be held at 2pm in room M1.05 at Reykjavik University (Menntavegur 1). The abstract for the talk is available here.
284. Tuesday, 12 January 2010: Mads Dam (Theoretical Computer Science, School of Computer Science and Communication, Royal Institute of Technology (KTH), Stockholm, Sweden) delivers an ICE-TCS seminar. The talk, which is entitled Monitor Inlining for Multithreaded Java, will be held at 2pm in room M1.23 at Reykjavik University (Menntavegur 1). (Note that the talk will be delivered at RU's new premises!) The abstract for the talk is available here.
285. Tuesday, 8 December 2009: Hadas Shachnai (Technion, Haifa, Israel) delivers an ICE-TCS seminar. The talk, which is entitled Real-time Scheduling to Minimize Machine Busy Times, will be held at 14:00 in room K1 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
286. Thursday, 3 December 2009: Mario Szegedy (Rutgers University, NJ, USA) delivers an ICE-TCS seminar. The talk, which is entitled Polynomial Time Solvability and Invariants of the Witness Set, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
287. Friday, 20 November 2009: Wlodzimierz Moczurad (Faculty of Computer Science, Nowy Sacz School of Business and Institute of Computer Science, Jagiellonian University, Poland) delivers an ICE-TCS seminar. The talk, which is entitled Directed figure codes are decidable, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
288. Tuesday, 17 November 2009: Paul Blain Levy (School of Computer Science, University of Birmingham, UK) delivers an ICE-TCS seminar. The talk, which is entitled Semantics of nondeterminism, will be held at 14:00 in room K1 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
289. Friday, 13 November 2009: Bjarki Holm (University of Cambridge, UK) delivers an ICE-TCS seminar. The talk, which is entitled Finding a Logical Characterisation of Polynomial Time, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
290. Friday, 6 November 2009: Anisse Kasraoui (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Classification of Mahonian maj-inv statistics, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
291. Friday, 30 October 2009: Luca Aceto (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled A Rule Format for Unit Elements, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
292. Friday, 23 October 2009: Matteo Cimini (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
293. Friday, 16 October 2009: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Enumeration of (2+2)-free posets by the number of minimal elements and other statistics, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
294. Wednesday, 30 September 2009: Joshua Sack (Reykjavik University) delivers a 30-minute lunch talk entitled Dynamic Epistemic Temporal Logic. The seminar will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1) and will report on joint work by Bryan Renne, Joshua Sack and Audrey Yap that will be presented at LORI-II: Workshop on Logic, Rationality and Interaction, Chongqing, China, October 8 - 11, 2009.
295. Friday, 25 September 2009: Luca Zamboni (Reykjavik University) delivers a joint ICE-TCS/Combinatorics seminar. The talk, which is entitled Abelian properties of words, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
296. Monday, 21 September 2009: Claus Brabrand (IT University, Copenhagen, Denmark) delivers an ICE-TCS seminar. The talk, which is entitled Banana Algebra, will be held at Reykjavik University in room K5 at 12:00.
297. Friday, 18 September 2009: Olafur R. Helgason (KTH, Sweden) delivers an ICE-TCS seminar. The talk, which is entitled Mobile peer-to-peer content distribution, will be held at 14:30 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
298. Friday, 18 September 2009: Ymir Vigfusson (Department of Computer Science, Cornell University, USA) delivers an ICE-TCS seminar. The talk, which is entitled Affinity in Distributed Systems, will be held at 13:15 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
299. Friday, 11 September 2009: Vit Jelinek (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Extending partial plane drawings, will be held at 13:15 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
300. Tuesday, 25 August 2009: Einar Broch Johnsen (University of Oslo, Norway) delivers a joint ICE-Rose/ICE-TCS seminar. The talk, which is entitled Creol: Modeling Reconfigurable Distributed Concurrent Objects, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
301. Friday, 21 August 2009: Marcel Kyas (Freie Universitaet Berlin, Germany) delivers an ICE-TCS seminar. The talk, which is entitled Towards Formal Methods for Wireless Networks, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
302. Tuesday, 18 August 2009: Frank de Boer (CWI and Universiteit Utrecht, The Netherlands) delivers a joint ICE-Rose/ICE-TCS seminar. The talk, which is entitled Abstract Object Creation in Dynamic Logic: To Be or Not To Be Created, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
303. Friday, 14 August 2009: Pall Melsted (Carnegie Mellon University, USA) delivers an ICE-TCS seminar. The talk, which is entitled Space Utilization of Cuckoo Hashtables, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
304. Friday, 14 August 2009: Bridget Eileen Tenner (DePaul University) will give a Combinatorics Seminar talk on Efficiently complicated posets. The talk will be held at 12:45 in room K5 at Reykjavik University (Kringlan 1).
305. Thursday, 4 June 2009: Francois Laroussinie (University of Paris VII, France) delivers an ICE-TCS seminar. The talk, which is entitled Extensions of alternating-time temporal logic, will be held at 10:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
306. Tuesday, 2 June 2009: Francois Laroussinie (University of Paris VII, France) delivers an ICE-TCS seminar. The talk, which is entitled Alternating-time temporal logic: expressivity and complexity, will be held at 11:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
307. Friday, 22 May 2009: Martina Kubitzke (Philipps-Universität, Germany) delivers a joint ICE-TCS/Combinatorics seminar. The talk, which is entitled The Lefschetz property for barycentric subdivisions of simplicial complexes, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
308. Tuesday, 19 May 2009: Marco Bernardo (University of Urbino, Italy) delivers an ICE-TCS seminar. The talk, which is entitled Markovian Testing Equivalence and Exponentially Timed Internal Actions, will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!) The abstract for the talk is available here.
309. Friday, 15 May 2009: Rance Cleaveland (Department of Computer Science, University of Maryland College Park, USA) delivers an ICE-TCS seminar. The talk, which is entitled Validating Automotive Control Software using Instrumentation-Based Verification, will be held at 11:00 in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!) The abstract for the talk as well as a speaker's biographical sketch are available here.
310. Wednesday, 22 April 2009: Elena Losievskaja (University of Iceland) delivers an ICE-TCS seminar. The talk, which is entitled SDP-based algorithms to Maximum Independent Set problem on hypergraphs, will be held at 11am in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!) The abstract for the talk is available here.
311. Friday, 17 April 2009: Yngvi Bjornsson (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Monte Carlo Simulations in General Game Playing Agents, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
312. Friday, 3 April 2009: Luca Aceto (Reykjavik University) delivers an informal ICE-TCS lunch seminar. The talk is entitled Computer Science and Logic: A Match Made in Heaven and will be held at 12:00 in room K5 at Reykjavik University (Kringlan 1). Note the nonstandard time! The abstract for the talk may be found here.
313. Friday, 20 March 2009: Amy Glen (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Palindromic properties of infinite sequences with applications to Number Theory and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk may be found here.
314. Tuesday, 3 March 2009: Joshua Sack (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic and will be held at 10:30 in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!) The abstract for the talk may be found here.
315. Friday, 27 February 2009: Marjan Sirjani (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled An Introduction to Formal Methods in Software Engineering and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
316. Tuesday, 24 February 2009: MohammadReza Mousavi (Eindhoven University of Technology, The Netherlands) delivers an ICE-TCS seminar. The talk is entitled Formal Semantics and Model-Checking of Verilog Cell Libraries and will be held at 10:30 in room K5 at Reykjavik University (Kringlan 1). (Note the nonstandard time!) The abstract for the talk may be found here.
317. Friday, 20 February 2009: Arnar Birgisson (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Rule Formats for Determinism and Idempotency and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk may be found here.
318. Friday, 13 February 2009: Matteo Cimini (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled From lambda to pi: semantics preserving encoding and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). An abstract for the seminar is available here.
319. Friday, 16 January 2008: Willard Thor Rafnsson (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Secrecy in Mobile Ad-hoc Networks and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk may be found here.
320. Friday, 12 December 2008: Arnar Birgisson (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Enforcing Authorization Policies using Transactional Memory Introspection and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk may be found here.
321. Friday, 5 December 2008: Magnus M. Halldorsson (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Graphs made from words and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
322. Friday, 17 October 2008: Michael Thielscher (Dresden University, Germany) delivers a joint CADIA/ICE-TCS seminar. The talk is entitled Michael Thielscher and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
323. Friday, 26 September 2008: Amy Glen (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled Palindromic Richness and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
324. Friday, 12 September 2008: Robert Parviainen (Reykjavik University) delivers an ICE-TCS seminar. The talk is entitled The Random Assignment Problem and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
325. Friday, 5 September 2008: Wolfgang Merkle (Ruprecht-Karls-Universität Heidelberg, Germany) delivers an ICE-TCS seminar. The talk is entitled The hat problem and autoreductions of random sequences and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
326. Tuesday, 1 July 2008: Clifford Stein (IEOR and Department of Computer Science, Columbia University, USA) delivers an ICE-TCS seminar. The talk is entitled Scheduling to Minimize Total Response Time and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
327. Monday, 30 June 2008: Bridget Eileen Tenner (Department of Mathematical Sciences, DePaul University, USA) delivers an ICE-TCS seminar. The talk is entitled Homotopy type of the boolean complex of a Coxeter system and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
328. Wednesday, 18 June 2008: Jeff Remmel (Department of Mathematics, University of California at San Diego, USA) delivers an ICE-TCS seminar. The talk is entitled Extensions of the Answer Set Programming Paradigm and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
329. Monday, 16 June 2008: Tommaso Toffoli (Electrical and Computer Engineering Department, Boston University, USA) delivers an ICE-TCS seminar. The talk is entitled A Knowledge Home: Personal Knowledge structuring in a computer world and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
330. Friday, 6 June 2008: Eirikur Palsson (Dept. of Biology, Simon Fraser University, Canada) delivers an ICE-TCS seminar. The talk is entitled Excitability of Dictyostelium discoideum is regulated by the ratio of membrane bound to secreted phosphodiesterase and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
331. Friday, 25 April 2008: David Harel (Dept. of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel) visits ICE-TCS and Reykjavik University. Harel will deliver the following two talks.
     • In Silico Biology, or On Comprehensive and Realistic Modeling (10:00-11:00) and
     • Computers are Not Omnipotent (16:00-17:00). This talk will be a public talk for a general audience.
     Both talks will be held at Reykjavik University, and their abstracts are available here. The locations for the talks will be announced in due course.
332. Friday, 11 April 2008: Bjarni V. Halldorsson (Reykjavik University and Decode Genetics) delivers an ICE-TCS seminar. The talk is entitled Detecting genomic copy number variants using the Illumina platform and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
333. Friday, 4 April 2008: Luca Aceto (Reykjavik University) delivers and ICE-TCS seminar. The talk is entitled The Equational Theory of Prebisimilarity over Basic CCS with Divergence and will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
334. Friday, 28 March 2008: Heimir T. Sverrisson (CADEC, USA) delivers a joint Database Lab/ICE-TCS seminar. The talk, entitled Practical Distributed Systems 101, will be held from 14:00 till 15:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
335. Thursday, 27 March 2008: Marjan Sirjani (University of Teheran, Iran) delivers an ICE-TCS seminar entitled Actors in Practice. The talk will be held from 11:45 till 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
336. Friday, 14 March 2008: Colin Atkinson (University of Mannheim, Germany) delivers an ICE-TCS seminar. The talk, which is entitled Towards Search-Driven Software Engineering, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
337. Tuesday, 11 March 2008: Bas Luttik (Eindhoven University of Technology, NL) delivers an ICE-TCS seminar. The talk, entitled CTL with Deadlock Detection, will be held from 15:00 till 16:00 in room K6 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
338. Monday, 10 March 2008: Luca Zamboni (Department of Mathematics, University of North Texas, USA) delivers an ICE-TCS seminar. The talk, which is entitled A generalization of continued fractions and interval exchange transformations, will be held from 16:00 till 17:00 in room K1 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
339. Friday, 7 March 2008: Pall Melsted (Carnegie Mellon University, USA) delivers an ICE-TCS seminar. The talk, which is entitled PageRank and the Random-Surfer Model - with an Overview of Random Graphs as Models of the Web, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
340. Monday, 3 March 2008: Petter Brändén (Department of Mathematics, Royal Institute of Technology, Sweden) delivers an ICE-TCS seminar. The talk, which is entitled The Lee-Yang program and linear operators preserving stability, will be held from 16:00 till 17:00 in room K1 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
341. Friday, 22 February 2008: Antti Rasila (Institute of Mathematics, Helsinki University of Technology, Finland) delivers an ICE-TCS seminar. The talk, which is entitled Planar harmonic functions, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
342. Friday, 15 February 2008: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Ordered patterns in words generated by morphisms, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
343. Friday, 1 Febuary 2008: Hlynur Stefansson (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Production Planning for Dynamic Demand, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
344. Friday, 18 January 2008: Luca Aceto (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Proving Non-finite Axiomatizability Results in Process Algebra via Reductions, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
345. Friday, 11 January 2008: Eyjolfur Ingi Asgeirsson (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Bounded-space on-line bin cover, will be held at 2pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
346. Wednesday, 19 December 2007: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Bijections between 321- and 132-avoiding permutations, will be held at 2pm in room K21 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
347. Friday, 7 December 2007: Ulfar Erlingsson (Reykjavik University and Microsoft Research) delivers an ICE-TCS seminar. The talk, which is entitled A Theory of Secure Control Flow, will be held at 1pm in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
348. Friday, 30 November 2007: Brian Nielsen (Aalborg University, Denmark) delivers a tutorial entitled Model-based Testing of Real-time Systems. The tutorial will be held in room K22 at Reykjavik University (Kringlan 1) from 13:00 till 16:00. There will be refreshments during the breaks. An abstract for the tutorial and a biographical sketch for the speaker are available here.
349. Friday, 23 November 2007: Magnus M. Halldorsson (Reykjavik University) delivers an ICE-TCS colloquium talk. The seminar is entitled Gentle introduction to Ramsey theory: A tribute to the legacy of Paul Erdos", and will be held at 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
350. Friday, 16 November 2007: Luca Aceto (Reykjavik University) delivers an ICE-TCS colloquium talk. The seminar is entitled A Tutorial on Operational Semantics: Part II, and will be held at 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
351. Friday, 9 November 2007: Luca Aceto (Reykjavik University) delivers an ICE-TCS colloquium talk. The seminar is entitled The Meaning of Programs: A Tutorial on Operational Semantics, and will be held at 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
352. Friday, 2 November 2007: Marteinn Thor Hardarson (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled Avoidance of Partially Ordered Generalized Patterns of the Form k-sigma-k, and will be held at 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
353. Friday, 26 October 2007: Anders Claesson (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled Stack sorting, trees and pattern avoidance, and will be held at 13:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
354. Friday, 19 October 2007: Yngvi Bjornsson (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled Solving Checkers, will be held in room K5 at Reykjavik University (Kringlan 1) at 13:00. The abstract for the talk is available here.
355. Friday, 5 October 2007: Rognvaldur G. Moller (University of Iceland) delivers an ICE-TCS seminar. The talk, which is entitled Infinite graphs, will be held in room K5 at Reykjavik University (Kringlan 1) at 13:00. The abstract for the talk is available here. [Slides (PDF)]
356. Friday, 28 September 2007: Elena Losievskaja (University of Iceland) delivers an ICE-TCS seminar. The talk, which is entitled Shrinkage as a tool for analysis of hypergraph algorithms, will be held in room K5 at Reykjavik University (Kringlan 1) at 13:00. The abstract for the talk is available here. [Slides (ppt)]
357. Thursday, 20 September 2007: Luca Tesei (University of Camerino, Italy) delivers an ICE-TCS seminar. The talk, which is entitled Specification and verification of real-time (probabilistic) systems, will be held in room K5 at Reykjavik University (Kringlan 1) from 14:00 till 14:50. (Note the new time!) The abstract for the talk is available here.
358. Tuesday, 18 September 2007: Emanuela Merelli and Luca Tesei (University of Camerino, Italy) deliver an ICE-TCS seminar in two parts. The first part of the talk, which is entitled Agent Based Modeling and Programming in Systems Biology and will last approximately 45 minutes, will be delivered by Emanuela Merelli; the second, which is entitled A Multi Agent System simulator for the glycolysis and will last approximately 25 minutes, will be given by Luca Tesei. The talks will be held in room K5 at Reykjavik University (Kringlan 1) from 15:00 till 16:30. There will be a 20-minute coffee break in between the two presentations. The abstracts for the talks are available here.
359. Friday, 31 August 2007: Mark Dukes (University of Iceland) delivers an ICE-TCS seminar. The talk, which is entitled Combinatorial Gray codes for pattern-avoiding permutations, will be held at Reykjavik University (Kringlan 1) at 15:30. The abstract for the talk is available here.
360. Friday, 24 August 2007: Hermann Thorisson (University of Iceland) delivers an ICE-TCS seminar. The talk, which is entitled The Poisson Process and the Poisson Tree, will be held at Reykjavik University (Kringlan 1) at 15:30. The abstract for the talk is available here.
361. Wednesday, 18 July 2007: Joseph S.B. Mitchell (State University of New York at Stony Brook) delivers an ICE-TCS seminar. The talk, which is entitled A polynomial-time approximation scheme for TSP with neighborhoods among fat regions in the plane will be held in room K5 at Reykjavik University (Kringlan 1) at 11:00. The abstract for the talk is available here.
362. Friday, 18 May 2007: Luca Aceto (Reykjavik University) delivers an ICE-TCS seminar. The talk, which is entitled The Equational Theory of Timed CCS will be held in room K5 at Reykjavik University (Kringlan 1) at 15:30. The abstract for the talk is available here.
363. Friday, 11 May 2007: Dan Lizotte (University of Alberta, Canada) delivers an ICE-TCS seminar. The talk, which is entitled Bayesian Global Optimization for Robot Gait Learning will be held in room K5 at Reykjavik University (Kringlan 1) at 15:30. The abstract for the talk is available here.
364. Friday, 27 April 2007: Pawel Bartoszek (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled On the Jacobian Ideal of Trilinear Forms, and will be held at 15:30 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
365. Friday, 20 April 2007: Ari K. Jonsson (NASA Ames Research Center and Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled Constraint-based Planning and Mars Exploration Rovers, and will be held at 15:30 in room K1 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
366. Friday, 16 March 2007: Anders Claesson (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled The generating power of continued fractions, and will be held at 15:30 in room K1 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
367. Friday, 9 March 2007: Magnus M. Halldorsson (University of Iceland) delivers an ICE-TCS seminar. The seminar is entitled Non-crossing spanning trees, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
368. Friday, 2 March 2007: Freyja Hreinsd ttir (Iceland University of Education) delivers an ICE-TCS seminar entitled Term orders for the ideal of commuting matrices. The talk will be held at 15:30 in room K1 at Reykjav k University. The abstract for the seminar is available here.
369. Wednesday, 28 February 2007: Kannoo (Ravi) Ravindran (University of Toronto, Canada) delivers an ICE-TCS seminar entitled Mathematics Without Borders - An Application to Finance!. The talk will be held at 15:30 in room NN at Reykjav k University. The abstract for the seminar is available here.
370. Friday, 16 February 2007: Silvio Capobianco (Reykjav k University) delivers an ICE-TCS seminar. The seminar is entitled Finite axiomatization results for the process algebra BPAint, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
371. Friday, 9 February 2007: Luca Aceto (Reykjav k University) delivers an ICE-TCS seminar. The seminar is entitled Ready to Preorder: Get Your BCCSP Axiomatization for Free!, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
372. Friday, 2 February 2007: Sergey Kitaev (Reykjav k University) delivers an ICE-TCS colloquium talk. The seminar is entitled On universal cycles for combinatorial objects, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
373. Friday, 26 January 2007: Magnus M. Halldorsson (University of Iceland) delivers an ICE-TCS seminar. The seminar is entitled Graph Coloring: From maps to wireless networks and parallel processing, and will be held at 15:30 in room K3 at Reykjav k University (Kringlan 1). (Note the non-standard location.) The abstract for the seminar is available here.
374. Friday, 19 January 2007: Luca Aceto (Reykjav k University) delivers an ICE-TCS seminar. The seminar is entitled A Finite Equational Base for CCS with Left Merge and Communication Merge, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
375. Friday, 12 January 2007: Sergey Kitaev (Reykjav k University) delivers an ICE-TCS seminar. The seminar is entitled On representable graphs, and will be held at 15:30 in room K1 at Reykjav k University (Kringlan 1). The abstract for the seminar is available here.
376. Nicolai D. Gagunashvili (University of Akureyri), Dimensional independent unfolding (inverse procedure) with D-optimal system identification, Friday, 8 December 2006. [Abstract]
377. MohammadReza Mousavi (Dept. of Mathematics and Computer Science, Eindhoven University of Technology, NL, and Reykjav k University), Reconciling Operational and Epistemic Approaches to Protocol Verification, Wednesday, 6 December 2006. [Abstract].
378. Sigur ur Freyr Hafstein (Reykjav k University), Lyapunov function construction by linear programming, Wednesday, 29 November 2006. [Abstract]
379. Wednesday, 22 November 2006: Eyj lfur Ingi 《geirsson (Reykjav k University) will deliver an ICE-TCS seminar entitled Simple reductions for approximate vertex cover on random graphs. The seminar will be held at 15:30 in room 101 at Reykjav k University (Ofanleiti 2). The abstract for the seminar is available here.
380. Wednesday, 15 November 2006: 栫ﾃ r ur J nsson (Science Institute, University of Iceland) will deliver an ICE-TCS seminar entitled The spectral dimension of generic trees. The seminar will be held at 15:30 in room 101 at Reykjav k University (Ofanleiti 2). The abstract for the seminar is available here.
381. Violeta Calian (University of Iceland), Multiple hypotheses testing: theoretical results on resampling distributions, Friday 3 November 2006. [Abstract]
382. Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology, Estonia), Type-theoretic data-flow analysis, Wednesday, 25 October 2006. [Abstract]
383. Silvio Capobianco (Department of Computer Science, Reykjav k University), Cellular automata: New formulations and recent results, 11 October 2006. [Abstract]
384. MohammadReza Mousavi (Dept. of Mathematics and Computer Science, Eindhoven University of Technology, NL, and Reykjav k University), SOS and all that ..., Wednesday, 27 September 2006. [Abstract] [Slides]
385. Sergey Kitaev (Reykjav k University), Uniquely k-determined permutations, Wednesday, 20 September 2006. [Abstract]
386. Jaikumar Radhakrishnan (Toyota Technological Institute at Chicago, USA, and Tata Institute of Fundamental Research, Mumbai, India), On Dinur's proof of the PCP theorem, Friday, 8 September 2006. [Abstract]
387. Jaikumar Radhakrishnan (Toyota Technological Institute at Chicago, USA, and Tata Institute of Fundamental Research, Mumbai, India), Generating correlated random variables with minimum transmission, Wednesday, 6 September 2006. [Abstract]
388. Bjarni V. Halld rsson (School of Science and Engineering, Reykjav k University, and deCODE Genetics) , Islands of tractability for Parsimony Haplotyping, Wednesday, 30 August 2006. [Abstract]
389. Silvio Capobianco (Department of Computer Science, Reykjav k University), Cellular Automata: Overview and Basic Results, Wednesday, 23 August 2006. [Abstract] [Slides]
390. Vadim Bulitko (Department of Computing Science, University of Alberta, Canada), Real-time Search and Learning, Wednesday, 7 June 2006. [Abstract]
391. Moshe Vardi (Rice University, USA), And Logic Begat Computer Science: When Giants Roamed the Earth, Thursday, 1 June 2006. [Abstract]
392. Jan Friso Groote (Technical University Eindhoven, NL), On using and proving modal formulas for analyzing processes, Wednesday, 24 May 2006. [Abstract]
393. Jan Friso Groote (Technical University Eindhoven, NL), Visualization of Large State Spaces, Wednesday, 10 May 2006. [Abstract]
394. Mark Winands (Reykjavik University), Playing around with Proof-Number Search in Lines of Action, Friday, 31 March 2006. [Abstract]
395. Anna Ing lfsd ttir (Reykjavik University), Processes as Hidden Markov Models, Friday, 24 March 2006.
396. Luca Aceto (Reykjavik University), The Role of Hennessy's Merge in the Quest for Finite Equational Axiomatizations of Parallel Composition Modulo Bisimilarity, Friday, 17 March 2006. [Abstract]
397. Anders Claesson (Reykjavik University), Conway's Napkin Problem, 10 March 2006. [Abstract]
398. Magn ⊆s M. Halldorss n (University of Iceland), Algorithms for a Networked World, Friday, 17 February 2006. [Abstract]
399. Sergey Kitaev (Reykjavik University), Enumerating patterns in compositions, Friday, 10 February 2006. [Abstract]
400. Skeggi Thormar (Landsb ■nki), Truth and Computability, Friday, 3 February 2006. [Abstract]
401. Bridget Eileen Tenner (Department of Mathematics, MIT, USA), Reduced Decompositions and Permutation Patterns, Friday, 6 January 2006. [Abstract]
     [Paper (PostScript)]
402. Jim Nystrom (Department of Computer Science, University of Akureyri), Computational Cosmography and the Isotropic Vector Field Decomposition Methodology, Thursday, 15 December 2005. [Abstract]
403. Bas Luttik (Department of Mathematics and Computer Science, Eindhoven University of Technology, and CWI, Amsterdam), Decomposition Orders, Monday, 12 December 2005. [Abstract]
     [Paper]
404. Luca Aceto (Department of Computer Science, School of Engineering and Science, Reykjav k University), An Introduction to Model Checking, Friday, 2 December 2005. [Abstract]
405. Magn ⊆s M. Halld rsson (Dept. of Computer Science, Faculty of Engineering, University of Iceland), Split intervals, and related optimization problems, Friday, 25 November 2005. [Abstract]
406. Anna Ing lfsd ttir (Department of Computer Science, School of Science and Engineering, Reykjav k University), Finite Equational Bases in Process Algebra: Results and Open problems, Friday, 18 November 2005. [Abstract]
     [Slides (PDF)]
407. Herwig Lejsek (Department of Computer Science, School of Science and Engineering, Reykjav k University), The PvS-Index: An efficient indexing method for searching nearest neighbours in high dimensional space, Friday, 11 November 2005. [Abstract]
408. Martin Vitek (Brno University of Technology), Insertion and Deletion Operations in Formal Language Theory, Friday 28 October 2005. [Abstract]
     Room 235, Reykjavik University, at 13:00.
     [Slides (PPT)]
409. Sergey Kitaev (Reykjavik University), Sets of prohibitions and some problems related to them, Friday, 7 October 2005. [Abstract]
     Room 231a, Reykjavik University, at 12:00.
     [Slides (PDF)]
     [Lothaire's Books]
410. Einar Steingrimsson (Reykjavik University and Chalmers University of Technology, Goeteborg, Sweden), Permutation patterns: From sorting to the Riemann zeta function, Friday, 23 September 2005. [Abstract]
     Room 231a, Reykjavik University, at 12:00.
     [Slides (PDF File)]
411. Sergey Kitaev (Reykjavik University), On a Common Feature in Three Famous Sequences, Thursday, 1 September 2005. [Abstract]
     Room 231b, Reykjavik University, at 12:00.
     [Slides (PostScript File)]
412. Jaikumar Radhakrishnan (School of Technology and Computer Science, Tata Institute of Fundamental Research, India, and Toyota Technological Institute at Chicago, USA), From Randomized to Quantum Computation, Wednesday, 10 August 2005. [Abstract]
     Room VR-158, University of Iceland, at 3pm.
413. Yuri Rabinovich (Department of Computer Science, University of Haifa, Israel), Metrical Representations of Graphs, Monday, 8 August 2005, at 12:00 at the University of Iceland.
414. Robin Thomas (School of Mathematics, Georgia Institute of Technology, USA), Large 6-connected graphs with no K_6 minor, Wednesday, 22 June 2005 at 15:30 in Askja, room 132, University of Iceland.
415. Thomas Philip Runarsson ( Applied Mathematics and Computer Science, Science Institute, University of Iceland), Natural Computing, Wednesday, 25 May 2005 at the School of Computer Science, Reykjavik University. [Abstract]
     Room 231a at 15:30.
416. Finn Verner Jensen (Department of Computer Science, Aalborg University, Denmark), Decision Graphs, Wednesday, 11 May 2005 at the School of Computer Science, Reykjavik University. [Abstract]
     Room 231b at 15:30. (Note the new room number!)
417. Uffe Kjærulff (Department of Computer Science, Aalborg University, Denmark), A Methodology for Acquiring Qualitative Knowledge for Probabilistic Graphical Models, Wednesday, 27 April 2005 at the School of Computer Science, Reykjavik University. [Abstract]
     Room 201 at 14:30. (Note the new time!)
418. Yngvi Bjornsson (School of Computer Science, Reykjavik University), Learning Search Control in Two-Player Games, Thursday, 24 February 2005 at the School of Computer Science, Reykjavik University. [Abstract]
419. Sven Th. Sigurdsson ( Applied Mathematics and Computer Science, Science Institute, University of Iceland), Support Vector Machines, Thursday, 13 January 2005 at the School of Computer Science, Reykjavik University. [Abstract]