New: We have prepared some guidelines for speakers
at ICE-TCS events.
Research Seminar Series
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
-
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.
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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]
-
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.
-
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.
-
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.
-
8 December 2022: Magnus M. Halldorsson delivers a NestID seminar entitled Distributed graph coloring: The loglog-revolution.
-
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.
-
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?.
-
24 November 2022: Valentina Castiglioni delivers the talk Uncertainties, adaptability, and verification at the FSA Colloquium at Eindhoven University of Technology.
-
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.
-
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.
-
18 November 2022: Magnus M. Halldorsson delivers a George Mason University combinatorics seminar entitled Local Brooks’ Theorems at 5:30pm.
-
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.
-
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.
-
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 21 March 2022: Duncan Paul Attard delivers an IT-MATTERS online seminar entitled "On Benchmarking for Concurrent Runtime Verification".
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 29 September 2021: Magnus M. Halldorsson delivers a joint ICE-TCS/GSSI seminar/webinar entitled "Distributed Graph Coloring" from the GSSI, L'Aquila, Italy.
- 23 September 2021: Roberta Sinatra (ITU Copenhagen, Denmark) delivers a webinar entitled "Quantifying biases in science". [Video]
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Monday, 24 February 2020: Tarmo Uustalu delivers an ICE-TCS seminar
titled
Ultrasubstructural logics from
11:50 till 12:35 in room M1.08.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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!
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Friday, 15 April 2016: Wan
Fokkink (VU Amsterdam, the Netherlands) will deliver an ICE-TCS
seminar entitled Quantum computing for dummies at 14:45.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.)
- 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.
- 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.
- 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.
- 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.
- 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.)
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
-
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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
-
Friday, 13 January 2012: Joshua
Sack delivers the ICE-TCS talk Compositional reasoning for
epistemic processes at 2pm in room V109 at Reykjavik University.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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
- 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.
- 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.
- 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.
- 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).
- 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).
- 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).
- 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).
- 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).
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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.
- Friday, 11 June 2010:
Daniele
Catanzaro (Universite Libre de Bruxelles, Belgium) delivers an
ICE-TCS seminar.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Friday, 12 February 2010: Magnus M. Halldorsson delivers a seminar
entitled Word-representable graphs in the ICE-TCS seminar series.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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).
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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)]
- 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)]
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Nicolai D. Gagunashvili (University of Akureyri),
Dimensional independent unfolding (inverse procedure) with
D-optimal system identification, Friday, 8 December 2006. [Abstract]
- 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].
- Sigur ur Freyr Hafstein
(Reykjav k University), Lyapunov function construction by
linear programming, Wednesday, 29 November 2006.
[Abstract]
- 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.
- 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.
- Violeta Calian (University of Iceland),
Multiple hypotheses testing: theoretical results on resampling
distributions, Friday 3 November 2006. [Abstract]
- Tarmo Uustalu (Institute of Cybernetics,
Tallinn University of
Technology, Estonia), Type-theoretic data-flow analysis,
Wednesday, 25 October 2006. [Abstract]
- Silvio Capobianco (Department of Computer Science,
Reykjav k University), Cellular automata: New formulations and recent results,
11 October 2006. [Abstract]
- 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]
- Sergey Kitaev (Reykjav k University),
Uniquely k-determined permutations, Wednesday, 20 September 2006. [Abstract]
-
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]
-
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]
- 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]
- Silvio Capobianco (Department of Computer Science,
Reykjav k University),
Cellular Automata: Overview and Basic Results,
Wednesday, 23 August 2006.
[Abstract] [Slides]
-
Vadim Bulitko
(Department of Computing Science, University of Alberta, Canada),
Real-time Search and Learning, Wednesday, 7 June 2006.
[Abstract]
- Moshe Vardi
(Rice University, USA),
And Logic Begat Computer Science: When Giants Roamed the Earth, Thursday, 1 June
2006. [Abstract]
- Jan Friso Groote (Technical University Eindhoven, NL),
On using and proving modal formulas for analyzing processes, Wednesday,
24 May 2006. [Abstract]
- Jan Friso Groote (Technical University Eindhoven, NL),
Visualization of Large State Spaces, Wednesday,
10 May 2006. [Abstract]
- Mark Winands (Reykjavik University),
Playing around with Proof-Number Search in Lines of Action, Friday,
31 March 2006. [Abstract]
-
Anna Ing lfsd ttir (Reykjavik University),
Processes as Hidden Markov Models, Friday, 24 March 2006.
-
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]
- Anders Claesson (Reykjavik University),
Conway's Napkin Problem, 10 March 2006.
[Abstract]
- Magn ⊆s M. Halldorss n (University of Iceland),
Algorithms for a Networked World, Friday, 17 February 2006.
[Abstract]
- Sergey Kitaev (Reykjavik University),
Enumerating patterns in compositions, Friday, 10 February 2006.
[Abstract]
- Skeggi Thormar (Landsb ■nki), Truth and Computability, Friday, 3 February 2006.
[Abstract]
- Bridget Eileen
Tenner (Department of Mathematics,
MIT, USA),
Reduced Decompositions and Permutation Patterns,
Friday, 6 January 2006. [Abstract]
[Paper (PostScript)]
- Jim Nystrom (Department of Computer Science,
University of Akureyri),
Computational Cosmography and
the Isotropic Vector Field Decomposition Methodology,
Thursday, 15 December 2005. [Abstract]
- Bas Luttik
(Department of Mathematics and Computer Science,
Eindhoven University of Technology, and
CWI, Amsterdam),
Decomposition Orders,
Monday, 12 December 2005. [Abstract]
[Paper]
- Luca Aceto
(Department of Computer Science, School of Engineering and Science, Reykjav k University),
An Introduction to Model Checking,
Friday, 2 December 2005. [Abstract]
- 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]
- 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)]
- 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]
- 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)]
- 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]
- 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)]
- 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)]
- 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.
- 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.
- 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.
- 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.
- 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!)
- 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!)
- 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]
- 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]