News Archive: July 2006-June 2007
- Thursday, 28 June 2007: David Harel (Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel) will visit ICE-TCS and the School of Computer Science at Reykjavik University in the period April 21-27, 2008. During his visit, David Harel will deliver two lectures at the beginning of his stay. The first of these will be a public lecture aimed at the general public on what computers cannot do. Harel's second lecture will be addressed to a scientific-minded audience and will deal with his work on systems biology, a very hot interdisciplinary area of research building on technology, computation, biology and medicine.
- Monday 18 June 2007: The paper Permutation tableaux and permutation patterns, Journal of Combinatorial Theory, Series A, Volume 114, Issue 2, 1 February 2007, Pages 211-234, by Einar Steingrimsson and Lauren Williams, has been the hottest paper in that journal in the period January-March 2007. Congratulations to Einar!
- Monday, 11 June 2007: ICE-TCS researchers from the group on algebraic combinatorics contribute two talks to the conference Permutation Patterns 2007. See the conference programme for details.
- Wednesday, 6 June 2007: MohammadReza Mousavi (Reykjavik University) delivers a PAM seminar entitled The Equational Theory of Timed CCS at CWI, Amsterdam.
- Wednesday, 6 June 2007: Silvio Capobianco (Reykjavik University) delivers a seminar at the Department of Mathematics, University of Rome "La Sapienza".
- Monday, 4 June 2007: Jotun Hein (Department of Statistics, University of Oxford) visits ICE-TCS at Reykjavik University.
- Tuesday, 29 May 2007: Steinunn Maria Stefansdottir will present a poster based on the paper Models for solving Minimum Parsimony Haplotyping at Bioinformatics 2007, 9th International Northern European Bioinformatics Conference, June 4-7, 2007 Umeaa, Sweden.
- Friday, 25 May 2007: Maria Arinbjarnar (Reykjavik University) defends her MSc thesis Rational Dialog in Interactive Games at 10:30 in room K5 at Reykjavik University (Kringlan 1). The abstract for her presentation is available here.
- Thursday, 24 May 2007: The second ICE-TCS annual report, covering the period June 2006-May 2007 is now available in PDF form. Enjoy!
- Monday, 21 May 2007: Steinunn Maria Stefansdottir (Reykjavik University) defends her MSc thesis Models for solving Minimum Parsimony Haplotyping at 16:00 in room K5 at Reykjavik University (Kringlan 1). Steinunn's work was carried out under the supervision of Bjarni Halldorsson and the co-supervision of Anna Ingolfsdottir, both at ICE-TCS. The abstract for her presentation 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.
- Wednesday, 16 May 2007: Luca Aceto and Anna Ingolfsdottir will be members of the program committee for the 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo, Norway, 10-12 October, 2007.
- Monday, 14 May 2007: The paper On Well-Foundedness and Expressiveness of Promoted Tyft: Being Promoted Makes a Difference by MohammadReza Mousavi and Michel Reniers has appeared in Electronic Notes in Theoretical Computer Science, Volume 175, Issue 1, 14 May 2007, Pages 45-56, Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006).
- 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.
- Thursday, 10 May 2007: The paper A Congruence Rule Format with Universal Quantification by MohammadReza Mousavi and Michel Reniers has been accepted for the 4th Workshop on Structural Operational Semantics (SOS'07), Wroclaw, Poland.
- Sunday, 6 May 2007: The paper Surjunctivity for cellular automata in Besicovitch spaces by Silvio Capobianco is now available.
- Friday, 4 May 2007: Maria Arinbjarnar, an MSc student affiliated with ICE-TCS has been awarded one of the two prestigious DORS(Departmental Overseas Research Studentships) to go to York University. You can read about DORS here.
- Friday, 4 May 2007: Luca Aceto delivers a talk entitled How Do You Like Iceland? A View from a Foreign Academic at a conference on Iceland's Standing in the International Competition for Talent in Science and Technology. The slides for this talk are available.
- Thursday, 3 May 2007: The paper On representable graphs by S. Kitaev and A. Pyatkin has been accepted for publication in the journal Automata, Languages and Combinatorics.
- Wednesday, 2 May 2007: Einar Steingrimsson delivers a Combinatorics seminar at MIT entitled Stack sorting, trees and pattern avoidance.
- Sunday, 29 April 2007: ICE-TCS has its second birthday today! While much has been achieved, we realize that much more remains to be done.
- 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.
- Tuesday, 24 April 2007: The following two papers by ICE-TCS members have been accepted for the WADS conference, to be held in Halifax, Canada, in August:
- M. M. Halldorsson, C. Knauer, A. Spillner, and T. Tokuyama. Parameterized algorithms and complexity of non-crossing spanning trees.
- M. M. Halldorsson and E. Losievskaja. Independent sets in bounded-degree hypergraphs.
Congratulations to Elena and Magnus!
- 11-12 October 2007: ICE-TCS organizes NordSec 2007: The 12th Nordic Workshop on Secure IT Systems. The workshop will be held at Reykjavik University. Magnus M. Halldorsson and Anna Ingolfsdottir are members of the organizing committee.
- 8 September 2007: Luca Aceto and Anna Ingolfsdottir co-organize the IFIP WG 1.8 Workshop on Applying Concurrency Research in Industry with Jos Baeten, Wan Fokkink, and Uwe Nestmann. The workshop will be held in Lisbon, Portugal, and is affiliated with CONCUR 2007.
- 4-7 September, 2007: Luca Aceto is an invited speaker at CONCUR 2007, Lisbon, Portugal.
- Friday, 27 April 2007: Pawel Bartoszek (Reykjavik University) delivers an ICE-TCS seminar. Further details on this talk will be announced in due course.
- 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.
- Monday, 16 April 2007: Brian Nielsen (Aalborg University, Denmark) delivers a two-day course entitled Introduction to Modeling, Testing and Validation.
- Monday, 16 April 2007: Luca Aceto and MohammadReza Mousavi are PC members for Structural Operational Semantics 2007 (an affiliated workshop of LICS 2007 and ICALP 2007), July 9, 2007, Wroclaw, Poland.
- Thursday, 5 April 2007: MohammadReza Mousavi delivers a Prose seminar entitled Impossibility Results in the Equational Theory of Timed CCS at the Technical University Eindhoven, The Netherlands.
- Thursday, 29 March 2007: The papers
have been accepted for publication in the Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), Bergen, Norway, Lecture Notes in Computer Science, Springer-Verlag, August 2007.
- Thursday, 29 March 2007: ICE-TCS co-organizes a conference on science funding in Iceland.
- Tuesday, 27 March 2007: The paper On uniquely k-determined permutations by S. Avgustinovich and S. Kitaev has been accepted for publication in the journal Discrete Mathematics.
- Thursday, 22 March 2007: The paper
S. Kitaev: Introduction to partially ordered patterns, Discrete Applied Mathematics 155 (2007), 929-944,
has appeared.
- Monday, 19 March 2007: The following papers co-authored by our own MohammadReza Mousavi have appeared.
- M. R. Mousavi, M. A. Reniers, J.F. Groote, SOS formats and meta-theory: 20 years after, Theoretical Computer Science, 373(3):238-272, 2007.
- H. Hojjat, M. Sirjani, M.R. Mousavi, J.F. Groote, Sarir: A Rebeca to mCRL2 Translator (Tool Paper). Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic, IEEE CS, July 2007.
- 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.
- Tuesday, 13 March 2007: The new ICE-TCS web pages have gone live! You can access them at http://www.icetcs.ru.is/ and http://www.ice-tcs.ru.is/.
- Tuesday, 13 March 2007: The paper Permutation tableaux and permutation patterns, Journal of Combinatorial Theory, Series A, Volume 114, Issue 2, 1 February 2007, Pages 211-234 coauthored by our own Einar Steingrimsson and Lauren Williams is currently the second "hottest paper" in the top journal in combinatorics. See here for the list of the 25 hottest articles.
- 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 Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- 4-9 March, 2007: Anna Ingolfsdottir is delivering a course entitled Reactive Systems: Modelling, Specification and Verification at the 12th Estonian Winter School in Computer Science, EWSCS '07 held in Palmse, Estonia.
- Monday, 5 March 2007: Magnus M. Halldorsson will join the Department of Computer Science at Reykjavik University as a professor from 1 August 2007. Magnus's appointment will further strengthen research in TCS and discrete mathematics at Reykjavik University. Welcome Magnus!
- Friday, 2 March 2007: Freyja Hreinsdottir (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 Reykjavik University. The abstract for the seminar is available here.
- Thursday, 1 March 2007: The paper Impossibility Results in the Equational Logic of Processes by Luca Aceto has appeared in the Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006), Electronic Notes in Theoretical Computer Science Volume 169:3-6, 1 March 2007, Elsevier.
- Wednesday, 28 February 2007: K. (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 K1 at Reykjavik University. The abstract for the seminar is available here.
- Tuesday, 27 February 2007: The paper Partially ordered patterns and compositions by S. Heubach, S. Kitaev, and T. Mansour has been accepted for publication in the journal Pure Mathematics and Applications (PU.M.A.).
- Monday, 19 February 2007: The preprints
are now available.
- Sunday, 18 February 2007: The paper On uniquely k-determined permutations by S. Avgustinovich and S. Kitaev has been accepted for a poster session at the 19th International Conference on Formal Power Series and Algebraic Combinatorics, Nankai University, Tianjin, China, July 2-6 (2007). FPSAC is the prime conference in algebraic combinatorics and its standards are as high as in the best journals in that field!
- Friday, 16 February 2007: Silvio Capobianco (Reykjavik 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 Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Friday, 9 February 2007: Luca Aceto (Reykjavik 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 Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Friday, 2 February 2007: Sergey Kitaev (Reykjavik 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 Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Wednesday, 31 January 2007: Rannis (The Icelandic Fund for Research) has announced the funded projects for 2007. Two of the five newly funded applications in computer science are from ICE-TCS members, namely
Magnus M. Halldorsson, Stiku reiknirit ofurnetum, and
MohammadReza Mousavi (with Luca Aceto and Anna Ingolfsdottir), Rammi til a samrma mismunandi gerdir keyrslumerkingafraedi.
Moreover, three projects funded in 2006, including the excellence grant awarded to Einar Steingrimsson, will be continued during 2007.
- Monday, 29 January 2007: The paper On avoidance of V- and Lambda-patterns in permutations has been accepted for publication in Ars Combinatoria.
The preprint Counting descents, rises, and levels, with prescribed first element, in words by S. Kitaev, T. Mansour, and J. Remmel is now available.
- Friday, 26 January 2007: The paper Characteristic Formulae: From Automata to Logic by Luca Aceto and Anna Ingolfsdottir is now available. It will appear in the February issue of the Bulletin of the EATCS.
- 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 Reykjavik University (Kringlan 1). (Note the non-standard location.) The abstract for the seminar is available here.
- Wednesday, 24 January 2007: The paper On the Axiomatizability of Priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingolfsdottir has been accepted for publication in the journal Mathematical Structures in Computer Science (Cambridge University Press).
- Friday, 19 January 2007: Luca Aceto (Reykjavik 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 Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Friday, 12 January 2007: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled On representable graphs, and will be held at 15:30 in room K1 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Saturday, 6 January 2007: The paper CELLULAR AUTOMATA OVER SEMI-DIRECT PRODUCT GROUPS: REDUCTION AND INVERTIBILITY RESULTS by Silvio Capobianco (Reykjavik University) has been published in the International Journal of Algebra and Computation, Vol. 16, No. 6, pp. 1071-1086 (December 2006).
- Wednesday, 13 December 2006: MohammadReza Mousavi delivers a talk at FST & TCS 2006 in Calcutta, India.
- Tuesday, 12 December 2006: Luca Aceto will be one of the keynote speakers at CONCUR 2007 that will take place in Lisbon, Portugal, on September 4-7, 2007.
- Friday, 8 December 2006: Nicolai D. Gagunashvili (University of Akureyri) delivers an ICE-TCS seminar. The seminar, entitled Dimensional independent unfolding (inverse procedure) with D-optimal system identification, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the seminar is available here.
- Wednesday, 6 December 2006: Anders Claesson (Reykjavik University) delivers a KTH Combinatorics Seminar entitled Conway's napkin problem.
- Wednesday, 6 December 2006: MohammadReza Mousavi (Dept. of Mathematics and Computer Science, Eindhoven University of Technology, NL, and Reykjavik University) delivers an ICE-TCS seminar. The seminar, entitled Reconciling Operational and Epistemic Approaches to Protocol Verification, will be held at 15:30 in room K5 at Reykjavik University (Kringlan 1). (Note the new location!) The abstract for the seminar is available here.
- Monday, 4 December 2006: Luca Aceto and Anna Ingolfsdottir will be co-organizing the IFIP WG 1.8 Workshop on Applying Concurrency Research in Industry at CONCUR 2007 in Lisbon on 7 or 8 September 2007. This event will be co-organized with Jos Baeten, Wan Fokkink, and Uwe Nestmann (on behalf of IFIP WG1.8).
- Wednesday, 29 November 2006: Sigurdur Freyr Hafstein (Reykjavik University) will deliver an ICE-TCS seminar entitled Lyapunov function construction by linear programming. The seminar will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Wednesday, 22 November 2006: Algebraic Process Calculi: The First Twenty Five Years and Beyond, Journal of Logic and Algebraic Programming, Volume 70, Issue 2, Pages 119-238 (February 2007), is now available on line. The volume is edited by L. Aceto, M. Bravetti, W. Fokkink and A.D. Gordon.
- Wednesday, 22 November 2006: Eyjolfur Ingi Asgeirsson (Reykjavik 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 Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Tuesday, 21 November 2006: MohammadReza Mousavi (Dept. of Mathematics and Computer Science, Eindhoven University of Technology, NL, and Reykjavik University) delivers the seminar Reconciling Operational and Epistemic Approaches to Protocol Verification at the Department of Computing, Imperial College, London, UK.
- Thursday, 16 November 2006: Magnus M. Halldorsson (University of Iceland) delivers a three hour tutorial on Approximation techniques for graph coloring problems at the NHC Autumn School on Discrete Algorithms in Kyoto, Japan.
- Wednesday, 15 November 2006: Thordur Jonsson (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 Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Tuesday, 14 November 2006: Sergey Kitaev (Reykjavik University) delivers a Combinatorics seminar entitled Representable graphs at the University of California at San Diego.
- Tuesday, 14 November 2006: Anders Claesson (Reykjavik University) delivers a seminar entitled The art of bijections and the science of generating functions as part of the seminar series of the Icelandic Mathematical Society. The seminar will be held at 17:15 in room 231a at Reykjavik University (Ofanleiti 2). Coffee will be served at 16:45.
- Friday, 10 November 2006: Sergey Kitaev (Reykjavik University) delivers a PDE-seminar entitled Differential equations and permutation patterns at the University of Kentucky.
- Thursday, 9 November 2006: Sergey Kitaev (Reykjavik University) delivers a Colloquium lecture entitled Universal cycles and combinatorial structures at the University of Kentucky.
- Thursday, 9 November 2006: Luca Aceto and Anna Ingolfsdottir have delivered the manuscript of the book Reactive Systems: Modelling, Specification and Verification, co-authored with Kim G. Larsen and Jiri Srba, to Cambridge University Press. The table of contents and the preface of the book, which is expected to be in print in June 2007, are available.
- Wednesday, 8 November 2006: Elena Losievskaja (University of Iceland) delivers an ICE-TCS seminar in the series "Women in TCS". The seminar will be held entitled Greedy independent sets in hypergraphs. The seminar will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Saturday, 4 November 2006: The paper
S. Kitaev, T. McAllister, K. Petersen: Enumerating segmented patterns in compositions and encoding with restricted permutations, Integers: Electronic Journal of Combinatorial Number Theory 6 (2006), A34, 16pp.
has appeared.
- Friday, 3 November 2006: Violeta Calian (University of Iceland) will deliver an ICE-TCS seminar entitled Multiple hypotheses testing: theoretical results on resampling distributions. The seminar will be held at 15:30 in room K5 (Kringlan 1) at Reykjavik University. The abstract for the seminar is available here.
- Friday, 27 october 2006: The paper Bisimilarity is not finitely based over BPA with interrupt by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Sumit Nain appears in Theoretical Computer Science 366(1-2):60-81, 16 November 2006. The paper is available from ScienceDirect.
- Thursday, 26 October 2006: Anders Claesson delivers a seminar entitled Continued fractions and increasing subsequences in permutations at the Department of Mathematics, University of Iceland.
- Wednesday, 25 October 2006: Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology, Estonia) will deliver an ICE-TCS seminar entitled Type-theoretic data-flow analysis. The seminar will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Thursday, 19 October 2006: Anders Claesson delivers a seminar entitled From sorting to partitioning, and what it has to do with permutation patterns at the Department of Mathematics, University of Iceland.
- Wednesday, 18 October-Sunday, 22 October, 2006: Matthew Hennessy (University of Sussex, UK) visits ICE-TCS and Reykjavik University. Matthew Hennessy is a member of our scientific advisory board, and will deliver one of the invited addresses at the 18th Nordic Workshop on Programming Theory.
- Wednesday, 18 October-Friday, 20 October, 2006: ICE-TCS organizes the 18th Nordic Workshop on Programming Theory at Reykjavik University.
- Tuesday, 17 October-Friday, 27 October, 2006: Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology, Estonia) visits ICE-TCS and Reykjavik University.
- Tuesday, 17 October-Sunday, 22 October, 2006: David Sands (Chalmers University of Technology and University of Goeteborg, Sweden) visits ICE-TCS and Reykjavik University. David Sands will deliver one of the invited addresses at the 18th Nordic Workshop on Programming Theory.
- Monday, 16 October-Sunday, 22 October, 2006: Flemming Nielson and Hanne Riis Nielson (Technical University of Denmark, Denmark) visit ICE-TCS and Reykjavik University. Hanne Riis Nielson will deliver one of the invited addresses at the 18th Nordic Workshop on Programming Theory.
- Monday, 16 October, 2006: ICE-TCS will host a mini course on Model Checking for Real-time Systems held by Kim G. Larsen. The course will be held at Reykjavik University, Kringlan 1, from 8:30 till 12:00 in room K22. Participation in the course is free. A poster for the course (in Icelandic) is available.
- Saturday, 14 October 2006: Anna Ingolfsdottir (Department of Computer Science, Reykjavik University) is in the PC of FoSSaCS 2007, Tenth International Conference on FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 24 March - 1 April, 2007, Braga, Portugal.
- Wednesday, 11 October 2006: Silvio Capobianco (Department of Computer Science, Reykjavik University) delivers an ICE-TCS seminar entitled Cellular automata: New formulations and recent results. The seminar will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Tuesday, 3 October 2006: The following preprint appeared:
S. Heubach, S. Kitaev, T. Mansour: Partially ordered patterns and compositions, preprint.
Moreover, the following paper has been submitted for publication:
S. Kitaev, S. Seif: Word problem of the Perkins semigroup via directed acyclic graphs.
- Friday, 29 September 2006: ICE-TCS will host its first movie event with the projection of the documentary film N is a Number: A Portrait of Paul Erdos by George Csicsery. The event will take place in room K5 at Reykjavik University (Kringlan 1) from 16 till 17.
- Friday, 29 September 2006: The papers
have appeared in Volume 162 of Electronic Notes in Theoretical Computer Science, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Bertinoro, Italy, 01-05 August 2005 (edited by L. Aceto and A.D. Gordon).
- Friday, 29 September 2006: Volume 162 of Electronic Notes in Theoretical Computer Science, Elsevier, is out. This volume is edited by Luca Aceto and Andrew D. Gordon, and is entitled Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25).
- Thursday, 28 September 2006: The paper
S. Kitaev: Introduction to partially ordered patterns
has been accepted for publication in Discrete Applied Mathematics. Congratulations to Sergey!
- Wednesday, 27 September 2006: MohammadReza Mousavi (Dept. of Mathematics and Computer Science, Eindhoven University of Technology, NL, and Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled SOS and all that ..., and will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here. The slides are also available in PDF.
- Wednesday, 20 September 2006: Sergey Kitaev (Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled Uniquely k-determined permutations, and will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Friday, 8 September 2006: Jaikumar Radhakrishnan (Toyota Technological Institute at Chicago, USA, and Tata Institute of Fundamental Research, Mumbai, India) delivers an ICE-TCS algorithms seminar entitled On Dinur's proof of the PCP theorem at 15:00 in room V-258 at the University of Iceland. The abstract for the seminar is available here.
Irit Dinur's paper is presenting the theorem is available here. It won the best paper award at STOC 2006.
A wealth of information about the PCP theorem, suitable for advanced classroom use, can be found following the links mentioned on in this blog posting.
- Wednesday, 6 September 2006: Jaikumar Radhakrishnan (Toyota Technological Institute at Chicago, USA, and Tata Institute of Fundamental Research, Mumbai, India) delivers an ICE-TCS seminar. The seminar is entitled Generating correlated random variables with minimum transmission, and will be held at 15:30 in hall 4 in Haskola Bio (which is in the basement). The abstract for the seminar is available here.
- Wednesday, 6 September 2006: Jaikumar Radhakrishnan (School of Technology and Computer Science, Tata Institute of Fundamental Research, India) visits ICE-TCS from today.
- Tuesday, 5 September 2005: The paper
M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, I. Ulidowski. The Meaning of Ordered SOS.
has been accepted for publication in the Proceedings of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'06), Kolkata, India. Lecture Notes in Computer Science, Springer-Verlag, December 2006.
- Wednesday, 30 August 2006: Bjarni V. Halldorsson (School of Science and Engineering, Reykjavik University, and deCODE Genetics) delivers an ICE-TCS seminar. The seminar is entitled Islands of tractability for Parsimony Haplotyping, and will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here.
- Friday, 25 August 2008: Anna Ingolfsdottir (Department of Computer Science, Reykjavik University, and BRICS, Aalborg University) has become the first ever female professor in Computer Science in Iceland. Congratulations to Anna!
- Wednesday, 23 August 2006: Silvio Capobianco (Department of Computer Science, Reykjavik University) delivers an ICE-TCS seminar. The seminar is entitled Cellular Automata: Overview and Classical Results, and will be held at 15:30 in room 101 at Reykjavik University (Ofanleiti 2). The abstract for the seminar is available here. The slides are also available in PDF.
- Friday, 18 August 2008: The following paper co-authored by Sergey Kitaev has appeared:
S. Kitaev and J. Remmel. Classifying Descents According to Equivalence mod k, Electronic Journal of Combinatorics 13(1) (2006), #R64.
Congratulations to Sergey!
- Tuesday, 1 August 2006: Silvio Capobianco (Universita' di Roma "La Sapienza") works as a postdoctoral researcher within the concurrency group at Reykjavik University from today. He will contribute to the Rannis project "The Equational Logic of Parallel Processes" led by Luca Aceto and Anna Ingolfsdottir.
- Tuesday, 11 July 2006: The EATCS General Assembly has accepted the bid by ICE-TCS to host ICALP 2008 in Reykjavik.
- Tuesday, 11 July 2006: R. Ravi (Operations Research and Computer Science and Associate Dean for Intellectual Strategy at the Tepper School of Business, Carnegie Mellon University, USA) delivers a joint deCODE genetics/ICE-TCS seminar. The seminar is entitled Evaluation of the Haplotype Motif Model using the Principle of Minimum Description, and will be held at 13:00 in the Pond Room at deCODE Genetics.
- Sunday, 2 July 2006: Guy Kortsarz (Department of Computer Science, Rutgers University-Camden, USA) and R. Ravi (Tepper School of Business, Carnegie Mellon University, USA) visit ICE-TCS from today until Tuesday, 11 July 2006.
- Sunday, 2 July 2006: ICE-TCS organizes the track on Approximation Algorithms at EURO XXI, 21st European Conference on Operational Research, July 2-5, 2006, Reykjavik Iceland!
Last modified:
.