News Items for 2009

• Saturday, 26 December 2009: The paper Comparing three coordination models: Reo, ARC, and PBRD by Carolyn Talcott, Marjan Sirjani and Shangping Ren, to appear in Science of Computer Programming, has been published on line.
• Thursday, 24 December 2009: The paper Slicing-based Reductions for Rebeca by Hamideh Sabouri and Marjan Sirjani has appeared in Electronic Notes in Theoretical Computer Science Volume 260, 1 January 2010, Pages 209-224, Proceedings of the 5th International Workshop on Formal Aspects of Component Software (FACS 2008).
• Tuesday, 22 December 2009: ICE-TCS will resume its seminar series and other activities in the new year. The first ICE-TCS seminar for 2010 will take place on January 12 and will be delivered by Mads Dam (KTH, Sweden).
• Monday, 21 December 2009: Anna Ingolfsdottir is a member of the PC for CONCUR 2010, August 31-September 3, 2010, Paris, France.
• Wednesday, 16 December 2009: The following papers have been accepted for publication or have just appeared:
  • The Clark Phase-able Sample Size Problem: Long-range Phasing and Loss of Heterozygosity in GWAS Bjarni V. Halldorsson, Derek Aguiar, Ryan Tarpine, Sorin Istrail In Proceedings of RECOMB 2010.
  • Collaborative meta-analysis: associations of 150 candidate genes with osteoporosis and osteoporotic fracture. Richards JB, Kavvoura FK, Rivadeneira F, Styrkarsdottir U, Estrada K, Halldorsson BV, Hsu YH, Zillikens MC, Wilson SG, Mullin BH, Amin N, Aulchenko YS, Cupples LA, Deloukas P, Demissie S, Hofman A, Kong A, Karasik D, van Meurs JB, Oostra BA, Pols HA, Sigurdsson G, Thorsteinsdottir U, Soranzo N, Williams FM, Zhou Y, Ralston SH, Thorleifsson G, van Duijn CM, Kiel DP, Stefansson K, Uitterlinden AG, Ioannidis JP, Spector TD; Genetic Factors for Osteoporosis Consortium. Ann Intern Med. 2009 Oct 20;151(8):528-37.
• Wednesday, 9 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 K5 at Reykjavik University (Kringlan 1). (Note the new date and location for the talk!) The abstract for the talk is available here.
• Monday, 7 December 2009: A special issue of Mathematical Structures in Computer Science, Volume 19 - Special Issue 06 (Dedicated to Nadia Busi), pp. 1061-1287, which has been edited by Luca Aceto and Anna Ingolfsdottir, is now available.
• Monday, 7 December 2009: Unnar Thor Bachman defends his M.Sc. thesis entitled Online t-interval scheduling, supervised by Magnus M. Halldorsson. The thesis defence will take place at Reykjavik University in room K5 (Kringlan 1) at 14:00. The evaluation committee for the thesis consists of Bjarni V. Halldorsson (Reykjavik University) and Hadas Shachnai (Technion, Haifa, Israel).
• Sunday, 6 December 2009: Luca Aceto (Reykjavik University) has been chosen as the Program Chair for track B (Logic, Semantics, Automata, and Theory of Programming) of the scientific program of ICALP 2011, Zurich, 3-10 July 2011.
• Friday, 4 December 2009: Elena Losievskaja defends her Ph.D. thesis Approximation Algorithms for Independent Set Problems on Hypergraphs, supervised by Magnus M. Halldorsson. The thesis defence will take place at Reykjavik University in room 101 (Ofanleiti 2) at 14:00. The evaluation committee for the thesis consists of Bjarni V. Halldorsson (Reykjavik University), Hadas Shachnai (Technion, Haifa, Israel), Sven Sigurdsson (University of Iceland) and Mario Szegedy (Rutgers University, NJ, USA).
• 3 December-10 December 2009: Hadas Shachnai (Technion, Haifa, Israel) visits ICE-TCS at Reykjavik University.
• 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.
• 30 November-5 December 2009: Mario Szegedy (Rutgers Universty, NJ, USA) visits ICE-TCS at Reykjavik University.
• Friday, 27 November 2009: Luca Aceto (Reykjavik University) delivers the talk A Rule Format for Unit Elements at LIX, Ecole Polytechnique, Paris.
• 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.
• 16-22 November 2009: Paul Blain Levy (School of Computer Science, University of Birmingham, UK) visits ICE-TCS at Reykjavik University.
• 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.
• Thursday, 5 November 2009: The paper On shortest crucial words avoiding abelian powers by S. Avgustinovich, A. Glen, B. V. Halldorsson and S. Kitaev has been accepted for publication in Discrete Applied Mathematics.
• Monday, 2 November 2009: The paper On graphs of central episturmian words by Aldo de Luca and Luca Q. Zamboni has been published on line. It will appear in print in Theoretical Computer Science Volume 411, Issue 1, 1 January 2010, Pages 70-90.
• 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.
• Thursday, 29 October 2009: Luca Aceto (Reykjavik University) has been re-elected to serve on the Council of the European Association for Theoretical Computer Science for a second four-year period.
• Tuesday, 27 October 2009: The preprint Wilf classification of doubly generalized permutation patterns by Robert Parviainen is now available.
• 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.
• Thursday, 22 October 2009: The paper (2+2)-free posets, ascent sequences and pattern avoiding permutations by Mireille Bousquet-Melou, Anders Claesson, Mark Dukes and Sergey Kitaev has been accepted for publication in Journal of Combinatorial Theory, Series A.
• Friday, 16 October 2009: ICE-TCS has reached a new milestone. The centre has now passed the 200-publication mark since its opening in April 2005, counting books, edited volumes, book chapters, journal papers and conference/workshop papers. The full list of publications is here.
• Friday, 16 October 2009: The preprint On a pattern avoidance condition for the wreath product of cyclic groups with symmetric groups by S. Kitaev, J. Remmel and M. Riehl is now available.
• 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.
• Friday, 16 October 2009: The preprint A direct encoding of Stoimenow's matchings as ascent sequences by Anders Claesson, Mark Dukes and Sergey Kitaev is now available.
• Thursday, 16 October 2009: The following journal paper has now been published:
  F. David, M. Dukes, T. Jonsson and S.O. Stefansson. Random tree growth by vertex splitting. Journal of Statistical Mechanics (2009), no. 4, P04009.
• Thursday, 16 October 2009: The following papers have been accepted for journal publication:
  • S. Kitaev, J. Liese, J. Remmel, B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order, Electronic Journal of Combinatorics, to appear.
  • S. Kitaev, J. Remmel: Place-difference-value patterns: A generalization of generalized permutation and word patterns, Integers: Electronic Journal of Combinatorial Number Theory, to appear.
• Tuesday, 13 October 2009: The following journal papers have appeared:
  • Thorleifsson, G; Holm, H; Edvardsson, V; Walters, GB; Styrkarsdottir, U; Gudbjartsson, DF; Sulem, P; Halldorsson, BV; de Vegt, F; d'Ancona, FCH; den Heijer, M; Franzson, L; Christiansen, C; Alexandersen, P; Rafnar, T; Kristjansson, K; Sigurdsson, G; Kiemeney, LA; Bodvarsson, M; Indridason, OS; Palsson, R; Kong, A; Thorsteinsdottir, U; Stefansson, K. Sequence variants in the CLDN14 gene associate with kidney stones and bone mineral density. NATURE GENETICS Volume: 41 Issue: 8 Pages: 926-U92,
  • J Evangelou, E; Chapman, K; Meulenbelt, I; Karassa, FB; Loughlin, J; Carr, A; Doherty, M; Doherty, S; Gomez-Reino, JJ; Gonzalez, A; Halldorsson, BV; Hauksson, VB; Hofman, A; Hart, DJ; Ikegawa, S; Ingvarsson, T; Jiang, Q; Jonsdottir, I; Jonsson, H; Kerkhof, HJM; Kloppenburg, M; Lane, NE; Li, J; Lories, RJ; van Meurs, JBJ; Nakki, A; Nevitt, MC; Rodriguez-Lopez, J; Shi, DQ; Slagboom, E; Stefansson, K; Tsezou, A; Wallis, GA; Watson, CM; Spector, TD; Uitterlinden, AG; Valdes, AM; Ioannidis, JPA. Large-Scale Analysis of Association Between GDF5 and FRZB Variants and Osteoarthritis of the Hip, Knee, and Hand. ARTHRITIS AND RHEUMATISM, JUN, 2009, 60, 1710-1721
  • Styrkarsdottir, U; Halldorsson, BV; Gretarsdottir, S; Gudbjartsson, DF; Walters, GB; Ingvarsson, T; Jonsdottir, T; Saemundsdottir, J; Snorradottir, S; Center, JR; Nguyen, TV; Alexandersen, P; Gulcher, JR; Eisman, JA; Christiansen, C; Sigurdsson, G; Kong, A; Thorsteinsdottir, U; Stefansson, K. New sequence variants associated with bone mineral density. NATURE GENETICS JAN 2009 15-17 ISI:000262085300011
  • Twenty bone-mineral-density loci identified by large-scale meta-analysis of genome-wide association studies. the Genetic Factors for Osteoporosis (GEFOS) Consortium by Rivadeneira F, Styrkarsdottir U, Estrada K, Halldorsson BV, Hsu YH, Richards JB, Zillikens MC, Kavvoura FK, Amin N, Aulchenko YS, Cupples LA, Deloukas P, Demissie S, Grundberg E, Hofman A, Kong A, Karasik D, van Meurs JB, Oostra B, Pastinen T, Pols HA, Sigurdsson G, Soranzo N, Thorleifsson G, Thorsteinsdottir U, Williams FM, Wilson SG, Zhou Y, Ralston SH, van Duijn CM, Spector T, Kiel DP, Stefansson K, Ioannidis JP, Uitterlinden AG. Nat Genet. 2009 Oct 4. [Epub ahead of print]
• Friday, 9 October 2009: Eva Jelinkova (Charles University, Czech Republic) delivers an ICE-TCS seminar. The talk, which is entitled Computational complexity of Seidel's switching of graphs, will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
• Friday, 9 October 2009: The following journal papers have been accepted:
  • M. M. Jaghoori, M. Sirjani, M. R. Mousavi, E. Khamespanah, A. Movaghar, Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca, Acta Informatica, Accepted 2009
  • N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah, A. Shali, M. Sirjani, Sysfier: Actor-based Formal Verification of SystemC, ACM Transactions on Embedded Computing Systems, Accepted 2009
• Monday, 5 October 2009: Anna Ingolfsdottir (Reykjavik University) will be a member of the PC for the 3rd Int. Workshop ''From Biology To Concurrency and back'' (FBTC 2010), March 27, 2010, Paphos, Cyprus.
• Saturday, 3 October 2009: Luca Aceto delivers an invited talk at the MogensFest (Aarhus, Denmark). This is a scientific symposium in honour of Mogens Nielsen, one of the members of the ICE-TCS advisory board, on the occasion of his 60th birthday.
• 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.
• Wednesday, 23 September 2009: The preprint Ascent sequences and upper triangular matrices containing non-negative integers by Mark Dukes and Robert Parviainen is now available.
• Tuesday, 22 September 2009: Magnus M. Halldorsson (Reykjavik University), the director of ICE-TCS, has reached 100 entries in the DBLP. Congratulations to Magnus!
• Monday, 21 September 2009: The paper Bounded-space online bin cover by Eyjolfur Asgeirsson and Cliff Stein has been published in the Journal of Scheduling, Springer Netherlands. This is the hundredth journal paper published by members of ICE-TCS!
• 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.
• Wednesday, 16 September 2009: The paper Algebraic Properties for Free! by Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers is now available. It will appear in the Concurrency Column, Bulletin of the EATCS, volume 99, October 2009.
• Wednesday, 16 September 2009: Magnus M. Halldorsson (Reykjavik University) has been chosen as chair of the 19th Annual European Symposium on Algorithms (ESA 2011), one of the top algorithmics conferences, and will be a member of the steering committee for the ESA conference series from 2010. Congratulations to Magnus!
• Tuesday, 15 September 2009: The paper A Rule Format for Unit Elements by Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers has been accepted for SOFSEM 2010: The 36th International Conference on Current Trends in Theory and Practice of Computing, January 23-29, 2010.
• 14-21 September 2009: Ymir Vigfusson (Department of Computer Science, Cornell University, USA) visits ICE-TCS.
• 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.
• Wednesday, 9 September 2009: The preprints
  • On the number of square-free permutations by S. Avgustinovich, S. Kitaev and A. Pyatkin, and
  • New pattern matching conditions for wreath products of the cyclic groups with symmetric groups by S. Kitaev, A. Niedermaier, J. Remmel and M. Riehl
  are now available.
• Tuesday, 8 September 2009: Magnus M. Halldorsson (Reykjavik University) delivers a talk at ESA 2009 in Copenhagen.
• 7-10 September 2009: Yngvi Bjornsson (Reykjavik University) is a keynote speaker at CIG 2009, IEEE Symposium on Computational Intelligance and Games, Milan, Italy.
• Saturday, 5 September 2009: Luca Aceto and Matteo Cimini (Reykjavik University) deliver talka at EXPRESS 2009 in Bologna.
• Monday, 31 August 2009: Matteo Cimini (Reykjavik University) delivers a talk at SOS 2009 in Bologna.
• Friday, 28 August 2009: Ramtin Khosravi (University of Tehran, Iran) delivers an ICE-TCS seminar. The talk, which is entitled An Integrated Approach to Model-Based Testing of Electronic Funds Transfer Systems (Work in Progress), will be held at 14:00 in room K5 at Reykjavik University (Kringlan 1). The abstract for the talk is available here.
• Thursday, 27 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.
• Saturday, 22 August 2009: The paper Sysfier: Actor-based Formal Verification of SystemC by N. Razavi, R. Behjati, H. Sabouri, E. Khamespanah A. Shali and M. Sirjani has been accepted for publication in the journal ACM transactions on Embedded Computing Systems (Special Issue on Model-driven Embedded System Design).
• Friday, 21 August 2009: The Department of Mathematics at the University of California, San Diego (UCSD) and the Mathematics Institute at Reykjavik University (Reykjavik University) have entered into an agreement on cooperation that will include exchanges of faculty and graduate students, joint research projects and publications and joint conferences and workshops. The primary contacts for the agreement are Einar Steingrimsson and Sergey Kitaev for RU and ICE-TCS and Jeffrey Remmel, Professor of Mathematics and Associate Dean of the Division of Physical Sciences, for UCSD.
• 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.
• Wednesday, 19 August 2009: The paper Divide-and-Conquer Approximation Algorithm for Vertex Cover by Eyjolfur Ingi Asgeirsson and Cliff Stein has been published in the SIAM Journal on Discrete Mathematics (Vol.23, No.3).
• Wednesday, 19 August 2009: The preprint Descent polynomials for permutations with bounded drop size by Fan Chung (University of California at San Diego, USA), Anders Claesson (Reykjavik University), Mark Dukes (University of Iceland) and Ron Graham (University of California at San Diego, USA) is now available.
• 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).
• Tuesday, 11 August 2009: Eva Jelinkova (Charles University, Prague, Czech Republic) visits ICE-TCS for the academic year 2009-2010.
• Monday, 10 August 2009: Luca Aceto and Anna Ingolfsdottir have finished the editorial work for a special issue of Mathematical Structures in Computer Science devoted to the memory of the late Nadia Busi.
• Monday, 10 August 2009: Vit Jelinek has joined the Combinatorics group at ICE-TCS (Reykjavik University) as a postdoctoral researcher. Vit received his PhD from Charles University in Prague last year. His specialization was "Discrete Models and Algorithms", and his thesis was on the topic of Wilf-type equivalence relations. Since then he has been a full-time researcher at Charles University.
• Thurday, 6 August 2009: The paper Dynamic Epistemic Temporal Logic by Bryan Renne, Joshua Sack and Audrey Yap has been accepted for LORI-II: Workshop on Logic, Rationality and Interaction, Chongqing, China, October 8 - 11, 2009.
• Tuesday, 21 July 2009: The following papers have been accepted for publication:
  • Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
    Characteristic Formulae for Fixed-Point Semantics: A General Framework, EXPRESS'09, 16th International Workshop on Expressiveness in Concurrency, Saturday, September 5th, 2009 Bologna (Italy).
  • Luca Aceto, Matteo Cimini and Anna Ingolfsdottir.
    A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages, Structural Operational Semantics 2009, August 31, 2009, Bologna (Italy).
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen and Jiri Srba.
    Teaching Concurrency: Theory in Practice, TFM2009, 2nd Int. FME Conference on Teaching Formal Methods, "Widening Access to Formal Methods", Friday, November 6th 2009, Eindhoven (The Netherlands).
  • Matteo Cimini, Claudio Sacerdoti Coen and Davide Sangiorgi.
    lambdabarmumutilde calculus, pi-calculus, and abstract machines, EXPRESS'09, 16th International Workshop on Expressiveness in Concurrency, Saturday, September 5th, 2009 Bologna (Italy).
• Monday, 20 July 2009: Anders Claesson (Reykjavik University) delivers the talk Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations at the 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Hagenberg, Austria.
• 20-31 July 2009: Joshua Sack (Reykjavik University) delivers the Logic and Computation advanced course Reasoning with Probabilities at the 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION, ESSLLI 2009, Bordeaux, France. The course is taught jointly with Eric Pacuit (Stanford University).
• 19-24 July 2009: M.M. Halldórsson (Reykjavik University) is chair of a special session on "Optimization and Approximation" at Computability in Europe (CiE) 2009, Heidelberg, Germarny.
• Wednesday, 15 July 2009: Einar Steingrimsson ((Reykjavik University) delivers a keynote address at the seventh annual international conference on Permutation Patterns, the University of Firenze, Italy, 13 - 17 July, 2009.
• 11 July 2009: Marjan Sirjani is co-chair of 8th International Workshop on the Foundations of Coordination Languages and Software Architectures FOCLASA'09, a satellite workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09).
• Thursday, 2 July 2009: Sergey Kitaev presents the paper Crucial words for abelian powers, coauthored with A. Glen and B.V. Halldorsson at DLT 2009.
• Early July 2009: Fumei Lam (UC Davis, USA) will visit ICE-TCS and the Mathematics Institute at Reykjavik University. The host for her stay is Bjarni V. Halldorsson.
• Wednesday, 1 July 2009: The following preprints are now available:
  • Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel Reniers. A Rule Format for Unit Elements.
  • Luca Aceto, Anna Ingolfsdottir and Joshua Sack.
    Characteristic Formulae for Fixed-Point Semantics: A General Framework.
  • Luca Aceto, Matteo Cimini and Anna Ingolfsdottir.
    A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen and Jiri Srba.
    Teaching Concurrency: Theory in Practice.
• 26 June-7 July 2009: Eric Babson (University of California, Davis, USA) visits the Combinatorics Group at ICE-TCS. Einar Steingrimsson is Babson's host.
• Monday, 22 June 2009: The preprint On shortest crucial words avoiding abelian powers by S. Avgustinovich, A. Glen, B. V. Halldorsson and S. Kitaev is now available.
• Monday, 22 June 2009: The paper Equidistribution of descents, adjacent pairs, and place-value pairs on permutations by E. Deutsch, S. Kitaev and J. Remmel has appeared in Journal of Integer Sequences 12 (2009), Article 09.5.1, 19pp.
• 18-25 June 2009: Zoltan Esik (University of Szeged, Hungary) will visit ICE-TCS. During his stay, Zoltan will deliver lectures on the equational theory of fixed points and its applications in computer science.
• Friday, 19 June 2009: The fourth edition of the ICE-TCS Theory Day will be held on this day. More information on the event, which will feature a keynote address by Zoltan Esik (University of Szeged, Hungary) and a talk by Paul van Tilburg (Eindhoven University of Technology, NL), is available here.
• 18-25 June 2009: Zoltan Esik (University of Szeged, Hungary) will visit ICE-TCS. During his stay, Zoltan will deliver lectures on the equational theory of fixed points and its applications in computer science.
• 17-21 June, 2009: Luca Zamboni visits the Combinatorics Group within ICE-TCS.
• Monday, 15 June 2009: The paper
  E. Deutsch, S. Kitaev, and J. Remmel. Equidistribution of descents, adjacent pairs, and place-value pairs on permutations has been accepted for publication in the Journal of Integer Sequences.
• Monday, 15 June 2009: Arnar Birgisson presents the paper An Implementation and Semantics for Transactional Memory Introspection in Haskell at the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security.
• Tuesday, 9 June 2009: The following papers have been accepted for publication.
  • Analysis of Reo Circuits using Symbolic Execution by Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat and Farhad Arbab. FOCLASA 09, 8th International Workshop on the Foundations of Coordination Languages and Software Architectures.
  • Formal Analysis of Smart Home Policies using Compositional Verification by Narges Khakpour, Marjan Sirjani and Saeed Jalili. ICFI 2009, 10th International Conference on Feature Interactions in Telecommunications and Software Systems.
• 8-19 June 2009: Paul van Tilburg (Eindhoven University of Technology, NL) will visit ICE-TCS. During his stay, Paul will deliver a talk at the ICE-TCS Theory Day.
• Saturday, 6 June 2009: Amy Glen (Reykjavik University) delivers an invited talk entitled "Abelian repetitions and crucial words" in a special session on Algebraic Combinatorics at the CMS/CSHPM Summer 2009 Meeting, Memorial University, St. Johns, Newfoundland (Canada).
• 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.
• Wednesday, 3 June 2009: M.M. Halldórsson (Reykjavik University) delivers the talk SINR Scheduling Algorithms at the Dagstuhl Seminar on Dynamic Communication Networks, 2nd Workshop of COST Action 295 "DYNAMO", June 1-5, 2009, Dagstuhl, Germany.
• 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.
• 1-7 June 2009: Francois Laroussinie (University of Paris VII, France) will visit ICE-TCS. During his stay, Francois will deliver two ICE-TCS seminars.
• Friday, 29 May 2009: The paper Wireless scheduling with power control by Magnus M. Halldorsson has been accepted for presentation at the 17th European Symposium on Algorithms (ESA 2009).
• 28-29 May 2009: Rosario Culmone and Emanuela Merelli (University of Camerino) visit ICE-TCS.
• Wednesday, 27 May 2009: Arnar Birgisson defends his MSc thesis Topics in Structural Operational Semantics at Reykjavik University. The defence will be held at 10am in room K5 (Kringlan 1). The evaluation committee will consist of Luca Aceto (Reykjavik University, supervisor and chair of the committee), Ulfar Erlingsson (Microsoft Research and Reykjavik University), MohammadReza Mousavi (Eindhoven University of Technology) and Marjan Sirjani (Reykjavik University).
• 25-28 May 2009: Amy Glen (Reykjavik University) co-organizes CanaDAM 2009: Mini-symposium - Combinatorics on Words, Montreal, Canada. Luca Zamboni (Reykjavik University) will be one of the invited speakers at the event.
• 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.
• Friday, 22 May 2009: Joshua Sack (Reykjavik University) delivers the second of a series of informal lectures on logic and probability. This series of lectures is intended as a warm-up for the course Reasoning with Probabilities that Joshua will teach at the 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION, ESSLLI 2009, Bordeaux, France.
• Wednesday, 20 May 2009: The Combinatorics group within ICE-TCS is happy to announce the hiring of four new postdocs in the autumn 2009. They are
  • Vit Jelinek, Charles University, Prague
  • Martina Kubitzke (Philipps-Universität, Germany)
  • Anisse Kasraoui, Université Lyon 1
  • Henning Úlfarsson, Brown University.
• 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.
• 18-22 May 2009: Marco Bernardo (University of Urbino, Italy) visits ICE-TCS. During his stay, Marco will deliver a one-week course entitled A Process Algebraic Approach to Software Architecture Design. Further details will be available in due course.
• 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.
• 14-15 May 2009: Rance Cleaveland (Department of Computer Science, University of Maryland College Park, USA) visits ICE-TCS. During his stay, Rance will deliver a research seminar and will introduce the internship programme at the Fraunhofer USA Center for Experimental Software Engineering to the students at RU. Rance is the Executive and Scientific Director of that centre.
• Tuesday, 12 May 2009: M.M. Halldórsson (Reykjavik University) delivers the talk Scheduling of Wireless Networks at Tel-Aviv University, Israel.
• Monday, 11 May 2009: Sergey Kitaev delivers the talk A lower bound for the shortest length of a crucial word avoiding abelian powers, Factor Languages Seminar, Sobolev Institute of Mathematics, Novosibirsk, Russia.
• Friday, 8 May 2009: Joshua Sack (Reykjavik University) delivers the first of a series of informal lectures on logic and probability. This series of lectures is intended as a warm-up for the course Reasoning with Probabilities that Joshua will teach at the 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION, ESSLLI 2009, Bordeaux, France.
• Tuesday, 5 May 2009: M.M. Halldórsson (Reykjavik University) delivers the talk Scheduling of Wireless Networks at Technion, Haifa, Israel.
• Friday, 1 May 2009: The paper An Implementation and Semantics for Transactional Memory Introspection in Haskell by Arnar Birgisson and Ulfar Erlingsson has been accepted for publication in the Proceedings of the 4th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security.
• Thursday, 30 April 2009: ICE-TCS contributes to the launch of Electronic Proceedings in Theoretic Computer Science (EPTCS), a new international refereed open access venue for the rapid electronic publication of the proceedings of workshops and conferences, and of festschrifts, etc, in the general area of theoretical computer science, broadly construed. Luca Aceto (Reykjavik University) is a member of the editorial board of EPTCS.
• Wednesday, 29 April 2009: ICE-TCS is four today.
• Wednesday, 29 April 2009: Anders Claesson (Reykjavik University) delivers a Combinatorics Seminar at KTH, Sweden.
• Monday, 27 April 2009: Sergey Kitaev (Reykjavik University) delivers the talk (2+2)-free posets and equinumerous objects at the Factorial Languages Seminar, Sobolev Institute of Mathematics, Novosibirsk, Russia.
• 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.
• Monday, 20 April 2009: Sergey Kitaev (Reykjavik University) delivers the talk Crucial words avoiding abelian k-th powers at the Factorial Languages Seminar, Sobolev Institute of Mathematics, Novosibirsk, Russia.
• Friday, 17 April 2009: The paper Partially ordered patterns and their combinatorial interpretations by A. Burstein and S. Kitaev has been accepted for publication in the journal , Pure Mathematics and Applications (PU.M.A.).
• 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.
• Wednesday, 15 April 2009: Sergey Kitaev (Reykjavik University) delivers the talk (2+2)-free posets and related objects at the Combinatorics and Sequences Seminar, Sobolev Institute of Mathematics, Novosibirsk, Russia.
• 15-17 April 2009: Marjan Sirjani is co-chair of Third FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN09).
• Tuesday, 14 April 2009: Anna Ingolfsdottir (Reykjavik University) has been awarded a two-month visiting professorship under the competitive VELUX Visiting Professor Programme 2009-2010 of the VILLUM KANN RASMUSSEN FOUNDATION. The position will be spent at DTU to work with Flemming Nielson and Hanne Riis Nielson.
• Wednesday, 8 April 2009: ICE-TCS researchers have published 150 papers in refereed journals (92 articles) and conferences/workshops (58 articles) since the inception of the centre in April 2005!
• Tuesday, 7 April 2009: The following papers with ICE-TCS co-authors
  • SDP-based Algorithms for Maximum Independent Set Problems on Hypergraphs by G. Agnarsson, M.M. Halldórsson and E. Losievskaja (Track A),
  • Distortion is Fixed Parameter Tractable by Michael Fellows, Fedor Fomin, Daniel Lokshtanov, Elena Losievskaja, Frances A. Rosamond and Saket Saurabh (Track A),
  • Wireless Communication is in APX by M.M. Halldórsson and Roger Wattenhofer (Track A).
  have been accepted for ICALP 2009, July 5-12, 2009, Rhodes, Greece.
• Tuesday, 7 April 2009: The paper Directive words of episturmian words: equivalences and normalization, by A. Glen, F. Levé and G. Richomme has been published in RAIRO-Theor. Inf. Appl. 43 (2009): 299-319.
• Tuesday, 7 April 2009: M.M. Halldórsson (Reykjavik University) delivers the talk Scheduling of Wireless Networks at Tokyo Institute of Technology.
• Monday, 6 April 2009: The paper Extending Probabilistic Dynamic Epistemic Logic by Joshua Sack (Reykjavik University) has been accepted for publication in the journal Knowledge, Rationality and Action.
• 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.
• Thursday, 2 April 2009: The preprint Avoiding substrings in compositions by S. Heubach and S. Kitaev is now available.
• Thursday, 2 April 2009: The paper Crucial words for abelian powers by A. Glen, B.V. Halldorsson and S. Kitaev has been accepted for DLT 2009.
• Wednesday, 1 April 2009: M.M. Halldórsson (Reykjavik University) delivers the talk Scheduling of Wireless Networks at Nagoya University.
• Saturday, 28 March 2009: Amy Glen (Reykjavik University) delivers a talk entitled Palindromic properties of infinite sequences with applications to Number Theory in a special session on the interface between Number Theory and Dynamical Systems at the AMS Spring Central Sectional Meeting, University of Illinois at Urbana-Champaign, Illinois, USA.
• Wednesday, 25 March 2009: The paper The Möbius Function of the Permutation Pattern Poset by Einar Steingrímsson and Bridget E. Tenner is now available.
• Tuesday, 24 March 2009: Anna Ingolfsdottir (Reykjavik University) will serve on the PC of the 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 5-6 September 2009.
• 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.
• Thursday, 19 March 2009: The special issue IFIP WG1.8 Workshop on Applying Concurrency Research in Industry, Journal of Logic and Algebraic Programming 78(4):191-288 (April 2009), edited by L. Aceto, J. Baeten, W. Fokkink, A. Ingolfsdottir and U. Nestmann, is now available.
• Wednesday, 18 March 2009: Sergey Kitaev (Reykjavik University) delivers the talk (2+2)-free posets, ascent sequences, regular linearized chord diagrams, and pattern avoiding permutations as a Special Discrete Mathematics Seminar, University of California, Berkeley, USA.
• Tuesday, 17 March 2009: Sergey Kitaev (Reykjavik University) delivers the talk Graphs represented by words, Combinatorics Seminar at UCSD, USA.
• Saturday, 14 March 2009: The preprint Equidistribution of (X,Y)-descents, (X,Y)-adjacent pairs, and (X,Y)-place-value pairs on permutations by E. Deutsch, S. Kitaev, and J. Remmel is now available.
• Tuesday, 10 March 2009: M.M. Halldórsson (Reykjavik University) delivers the talk Capacity and Scheduling of Wireless Networks at Kyushu University.
• Friday, 6 March 2009: Arnar Birgisson (Reykjavik University) delivers a talk entitled Enforcing Authorization Policies using Transactional Memory Introspection at Chalmers University of Technology, Gothenburg, Sweden.
• Thursday, 5 March 2009: The preprint Place-difference-value patterns: A generalization of generalized permutation and word patterns by S. Kitaev and J. Remmel is now available.
• Tuesday, 3 March 2009: Sergey Kitaev (Reykjavik University) delivers the talk 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.
• Monday, 2 March 2009: Sergey Kitaev (Reykjavik University) delivers the talk Interval orders, pattern avoiding permutations, and involutions with no neighbour nesting at Arizona State University, USA.
• 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.
• Thursday, 26 February 2009: The paper
  S. Kitaev, J. Liese, J. Remmel, and B. Sagan: Rationality, irrationality, and Wilf equivalence in generalized factor order
  will appear as a poster presentation in the Proceedings of the 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Hagenberg, Austria, July 20-24 (2009). FPSAC is the most prestigious conference in the field.
• Wednesday, 25 February 2009: The paper Schedulability of Asynchronous Real-Time Concurrent Objects by Mohammad Madhi Jaghoori, Frank S. de Boer, Tom Chothia and Marjan Sirjani has been accepted for the Journal of Logic and Algebraic Programming.
• Wednesday, 25 February 2009: Sergey Kitaev (Reykjavik University) delivers the talk Unlabeled (2+2)-free posets, ascent sequences, regular linearized chord diagrams, and pattern avoiding permutations in the CSULA Math Dept. Colloquium, Cal State LA, USA.
• Tuesday, 24 February 2009: Joshua Sack joins ICE-TCS at Reykjavik University as a postdoctoral researcher for one year.
• 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.
• 23-26 February 2009: MohammadReza Mousavi (Eindhoven University of Technology, The Netherlands) visits ICE-TCS.
• Sunday, 23 February 2009:The paper
  M. Bousquet-Melou, A. Claesson, M. Dukes, S. Kitaev: Unlabeled (2+2)-free posets, ascent sequences and pattern avoiding permutations
  will appear in the Proceedings of the 21th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC), Hagenberg, Austria, July 20-24 (2009). FPSAC is the most prestigious conference in the field.
• 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.
• Thursday, 19 February 2009: The paper Independent sets in certain classes of (almost) regular graphs by A. Burstein, S. Kitaev and T. Mansour has been accepted for publication in the journal Pure Mathematics and Applications (PU.M.A.).
• Tuesday, 17 February 2009: The paper Approximation algorithms for the weighted independent set problem in sparse graphs by A. Kako, T. Ono, T. Hirata and M.M. Halldorsson will appear in Discrete Applied Mathematics Volume 157, Issue 4, 28 February 2009, Pages 617-626.
• 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.
• Thursday, 12 February 2009: Magnus M. Halldorsson (Reykjavik University) delivers tha talk Models and Throughput Capacity of Wireless Networks at Tohoku University, Japan.
• Wednesday, 11 February 2009: The paper Independent sets in bounded-degree hypergraphs by Magnus Halldorsson (Reykjavik University) and Elena Losievskaja is in press for the journal Discrete Applied Mathematics.
• Wednesday, 11 February 2009: The paper The Capacity of Arbitrary Wireless Networks by Olga Goussevskaia (ETH Zurich, CH), Magnus Halldorsson (Reykjavik University), Roger Wattenhofer (ETH Zurich, CH) and Emo Welzl (ETH Zurich, CH) has been accepted for publication in INFOCOM 2009.
• Wednesday, 11 February 2009: Magnus M. Halldorsson(Reykjavik University) will serve on the PC of APPROX 2009 (12th Intl. Workshop on Approximation Algorithms for Combinatorial Optimization Problems - APPROX 2009).
• Tuesday, 10 February 2009: Sergey Kitaev (Reykjavik University) delivers the talk Permutations, sequences, and partially ordered sets in the Combinatorics Seminar series at the Department of Mathematics, University of California San Diego.
• Thursday, 5 February 2009: Sergey Kitaev (Reykjavik University) delivers a Combinatorics Seminar entitled Restricted permutations and beta(1,0)-trees at the Department of Mathematics, California Institute of Technology, USA.
• Monday, 2 February 2009: Arnar Birgisson (Reykjavik University) delivers a talk entitled Enforcing Authorization Policies using Transactional Memory Introspection at the Foundations seminars@cs.tcd, Trinity College, Dublin, Ireland.
• Thursday, 29 January 2009: Arnar Birgisson (Reykjavik University) delivers a talk at the Department of Informatics and Mathematical Modeling (DTU, Denmark).
• Tuesday, 27 January 2009: Sergey Kitaev (Reykjavik University) delivers the talk Generalized pattern avoidance, beta(1,0)-trees, and 2-stack sortable permutations in the Combinatorics Seminar series at the Department of Mathematics, University of California San Diego.
• Tuesday, 27 January 2009: The paper A finite equational base for CCS with left merge and communication merge by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik has appeared in ACM Transactions on Computational Logic (TOCL), Volume 10, Number 1, January 2009.
• Wednesday, 21 January 2009: The Icelandic Research Fund has announced its grants for 2009. ICE-TCS has obtained the following two grants:
  • Einar Steingrimsson has been awarded an excellence grant for 24.600.000 ISK (theme: Combinatorics of permutations and words)
  • Magnus M. Halldorsson has been awarded a project grant (theme: Algorithms for wireless networks) for 3.110.000 ISK.
  Congratulations to both of them and their research teams! It's another good year for ICE-TCS.
• Friday, 16 January 2009: 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.
• Thursday,15 January 2009:The paper Induced Subshiftsand Cellular Automata by Silvio Capobianco has been accepted for publication in the journal Information and Computation.
• Thursday, 15 January 2009: The paper Bounded Rational Search for On-the-fly Model Checking of LTL Properties by RaziehBehjati, Marjan Sirjani and Majid Nili Ahmadabadi has been accepted for Third FSEN: IPM International Conference on Fundamentals of Software Engineering (FSEN09), Iran, April 15-17 2009.
• Wednesday, 14 January 2009: The paper On the axiomatisability of priority by Luca Aceto, Taolue Chen, Wan Fokkink and Anna Ingolfsdottir is amongst the top 10 most-read papers in the journal Mathematical Structures in Computer Science over the last 12 months.
• Monday, 12 January 2009: Amy Glen (Reykjavik University) delivers the seminar Crucial words for abelian powers at the Mathematics Colloquium, Mathematics Division, Science Institute, University of Iceland.
• Thursday, 8 January 2009: The paper A Cancellation Theorem for BCCSP by Luca Aceto, Wan Fokkink and Anna Ingolfsdottir has appeared in Fundamenta Informaticae 88(1-2):1-21, 2008.