1 / 19

Opening of Center

Opening of Center. 15:30 – 15:40 Magnús M. Halldórsson “ICE-TCS: What, how, and why” 15:40 – 16:10 Mogens Nielsen "BRICS and its Impact on Danish Computer Science“ 16:10-16:40  Kim G. Larsen "Tools for Verification and Validation“

leigh
Download Presentation

Opening of Center

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Opening of Center • 15:30 – 15:40 Magnús M. Halldórsson • “ICE-TCS: What, how, and why” • 15:40 – 16:10 Mogens Nielsen • "BRICS and its Impact on Danish Computer Science“ • 16:10-16:40  Kim G. Larsen • "Tools for Verification and Validation“ • 16:40 – 16:50 Bjarki Brynjarsson & Sigurður Brynjólfsson • Formal opening • 16:50 – • Refreshments ICE-TCS Icelandic Center of Excellence in Theoretical Computer Science

  2. I T C C E S ICE-TCS Icelandic Center of Excellence in Theoretical Computer Science ICE-TCS: What, how, and why Magnús M. Halldórsson, U. Iceland Askja 29. apríl 2005 Þekkingarsetur í fræðilegri tölvunarfræði

  3. ICE-TCS: What, how, and why • What... • ... is ICE-TCS about? • ... is TCS? • How... • ... is the center set up • Who... • Faculty, students, advisors, guests • Why... • ... pool together? • ... like this?

  4. What? • Objective of ICE-TCS: • To create an environment conducive to world-class research education in TCS • Main idea: • Utilize the synergy of pooling together the energy of active researchers in the field. ICE-TCS Icelandic Center of Excellence in Theoretical Computer Science

  5. Ok, but what is TCS? • Scientific foundation of computer science • The fundamental discipline that aims to “understand general properties of computing, be it natural, man-made, or imaginary” [Goldreich, Wigderson ’01] • Computing is not only technology, responsible for tremendous advances, and affects nearly all scientific disciplines, but is a science in itself.

  6. TCS in perspective Combinatorics Logic Mathematics Algorithms &complexity Semantics & processes Theoretical CS Applications Program construction Applied CS

  7. Some areas of TCS • Computability What can or cannot ever be computed? • Complexity How long must it take to compute? • Algorithms How to solve it? (and how fast, cheap) • Discrete math. What are the basic information structures? • Information theory: How do we best represent information? • Semantics: What does a program really do? • Program verification How can we trust our programs? • Machine learning: What can computers learn? • Concurrency theory: How can programs cooperate?

  8. Theoretical  Abstruse • Theoretical issues are best studied abstractly • Problem-specific issues cloud the general principles • Applications for fundamental problems often show up later • Theory go hands-in-hands with practice • E.g. don´t build models without grounding them in reality • Theoreticians are generally also able to relate to practical situations • Theoretical should not be an epithet!

  9. How: Activities of the Center • Seminars • Research seminar • ‘Pearls of theory´ • Invited talks • Visitors • Frequent short term visitors • Hopefully, occasional long term visitors • List for this spring&summer 

  10. Further activities • Conference organization • Plan to bid for ICALP 2007[The premium European theory conference] • International collaboration • E.g. EU projects • Student programs • Exchange programs (both in and out) • Peer support and tutoring

  11. Instigators Who? • Permanent staff • Luca Aceto, HR & Aalborg • Magnús M. Halldórsson, HI • Anna Ingólfsdóttir, HI & Aalborg • Yngvi Björnsson, HR • Hjálmtýr Hafsteinsson, HI • Bjarni V. Halldórsson, deCode • Sven Sigurðsson, HI • Einar Steingrímsson, HR & Gautaborg

  12. Co-authorship graph Anna Luca Edge between people that have collaborated on a research paper Hjálmtýr Bjarni Magnús Sven Yngvi Einar

  13. Publication venue graph Anna Luca Theoretical Computer Science,Information Processing Letters, Information & Computation Journal of Algorithms Hjálmtýr Bjarni Magnús Sven Yngvi Electronic Journal of Combinatorics Einar

  14. Part of collaboration graph Anna W. Fokkink Luca Daníel Guðbjartsson Hans Zateema Bard Bloom Kristján Jónasson Hans Bodlaender Sorin Istrail Hjálmtýr Bjarni Magnús Fredrik Manne A. Bar-Noy J. K. Lenstra Sven C. McDiarmid J. Spinrad D. Copperfield Ryan Hayward Yngvi Einar Jon Lee

  15. Scientific Advisory Board • Eminent world-famous researchers • Matthew Hennessy, U. Sussex • Sorin Istrail, CalTech • Kim Guldstrand Larsen, Aalborg U. & BRICS • Mogens Nielsen, Aarhus U. & BRICS • Osamu Watanabe, Tokyo Inst. Tech. • Mikkel Thorup, AT&T Research • Moshe Vardi, Rice

  16. Students • Ph.D. student : • Elena Losievskaia, HI • M.S. students: • Haukur Þorgeirsson, HI • Ragnar Karlsson, HI • Magni Þór Birgisson, HI • B.S. student: • Ýmir Vigfússon, HI • ... and others joining in the fall.

  17. Why: Part 1Synergy • A bigger group allows for more activity • More ‘research atmosphere’ • Only useful with common purpose • Benefits of shared body of knowledge, common methodology, measures • No benefit if • objectives clash • methodology or knowledge does not overlap much • TCS has common playgrounds, common style of research

  18. Why: Part 2TCS is strong in Iceland • ISI Journal publications in 2003 from scientists in Iceland • 17: CS faculty members • 16: ICE-TCS members (21 names) • 193: All disciplines at U. Iceland (- LSH) • 406: All disciplines • >80% of ISI citations of CS faculty in Icel. • Conference organizing, awards etc.

  19. What is the potential benefit of such a center for you? • Rather than answering this question, let us stop here, and forward it to the next speaker: Mogens Nielsen BRICS and its Impact on Danish Computer Science

More Related