Beint í
leiðarkerfi vefsins
.
Tölvunarfræðideild Háskólans í Reykjavík
Grunnnám
Diplómapróf í kerfisfræði - 120 ECTS
BSc í tölvunarfræði - 180 ECTS
BSc í hugbúnaðarverkfræði - 180 ECTS
BSc í tölvunarstærðfræði - 180 ECTS
Framhaldsnám
MSc í tölvunarfræði - 120 ECTS
MSc í hugbúnaðarverkfræði - 120 ECTS
Doktorsnám - 180 ECTS
News and events
The best jobs in the world
-
2.12.2011
Read more
Fyrirlestur: Sjálfskipandi gervigreind kerfi
-
22.11.2011
Read more
Icelandic Gaming Industry announces the winner in the Game Creator competition
-
4.11.2011
Read more
Hvernig getum við bætt líf fólks í heiminum með tölvutækni?
-
3.11.2011
Read more
RU Hacking contest in the School of Computer Science
-
31.10.2011
Read more
RU Hacking Contest in the Department of Computer Science
-
31.10.2011
Read more
Construction of Musical Instruments a part of Fall 2011 Interdisciplinary Art and Technology Workshop Series
-
28.10.2011
Read more
Forritunarkeppni framhaldsskólanna 2012
-
26.10.2011
Read more
11th International Conference on Intelligent Virtual Agents (IVA 2011)
-
15.9.2011
Read more
Viltu hringja í eldavélina þína?
-
19.8.2011
Read more
The Icelandic Centre of Excellence in Theoretical Computer Science reaches a new milestone
-
27.6.2011
Read more
PhD Rannís scholarship awarded to Eugen-Ioan Goraic
-
21.6.2011
Read more
Meistaravörn Hlynur Sigurþórsson tölvunarfræðideild
-
7.6.2011
Read more
Meistaravörn í tölvunarfræðideild Valdís Sigurþórsdóttir
-
3.6.2011
Read more
Meistaravörn í tölvunarfræðideild Árni Hermann Reynisson
-
3.6.2011
Read more
Meistaravörn í tölvunarfræðideild Steinar Hugi Sigurðarson
-
3.6.2011
Read more
Wonka - Stjórnkerfi Spretts
-
25.5.2011
Read more
ICE-TCS Theory Day
-
20.5.2011
Read more
19. maí - Hefðbundin lokaverkefni í tölvunarfræðideild
-
19.5.2011
Read more
18. maí - Lokaverkefni í tölvunarfræðideild með rannsóknaráherslu
-
18.5.2011
Read more
Viðburðaríkur maímánuður í tölvunarfræðideild HR
-
2.5.2011
Read more
Sýning á gagnvirkum verkum í gallerí Kubb í Myndlistadeild LHÍ
-
1.3.2011
Read more
Vísindakaffi tölvunarfræðideildar
-
17.2.2011
Read more
ICE-TCS Reaches a New Milestone
-
16.2.2011
Read more
Þrír fengu úthlutun úr Námssjóði Sameinaðra verktaka við HR
-
15.2.2011
Read more
Starfsmenn tölvunarfræðideildar HR hlutu rannsóknastyrki frá Rannís
-
1.2.2011
Read more
Programming Bootcamp í dag
-
1.2.2011
Read more
Programming Bootcamp farið af stað
-
31.1.2011
Read more
Námssjóður Sameinaðra verktaka við HR auglýsir eftir umsóknum
-
7.1.2011
Read more
HR verður bakhjarl nýsköpunarkeppni grunnskólanemenda
-
8.12.2010
Read more
ICE-TCS - Another Milestone in Publications
-
1.12.2010
Read more
NLP Final projects
-
29.11.2010
Read more
Fyrirlestur frá Nýherja og IBM - Þróun á öflugasta örgjörva heims
-
28.10.2010
Read more
The Dean of SCS meets with students in November
-
27.9.2010
Read more
Háskólakeppnin í forritun 2010
-
21.9.2010
Read more
Sumarlokun - Summer Hours
-
1.7.2010
Read more
Meistaravörn í tölvunarfræðum
-
11.6.2010
Read more
Leikjadagur HR og IGI – 29. maí 2010
-
29.5.2010
Read more
Kynning á meistaranámi í tölvunarfræðideild
-
25.5.2010
Read more
Samstarfssamningur við IGI
-
21.5.2010
Read more
Opin kynning - Lokaverkefni í tölvunarfræði við HR
-
19.5.2010
Read more
Facebook Twitter
-
18.5.2010
Read more
Afmælisráðstefnu í tilefni 5 ára afmælis CADIA - Gervigreindarsetur HR
-
14.5.2010
Read more
Er of mikill hraði í Scrum fyrir notendaprófanir?
-
5.5.2010
Read more
Viðburðaríkur maímánuður í tölvunarfræðideild HR
-
30.4.2010
Read more
Íslensk máltækni 2010
-
15.4.2010
Read more
Umsóknir opnar fyrir starfsnám við Fraunhofer Center for Experimental Software Engineering
-
17.3.2010
Read more
The Combinatorics Group to present six articles at FPSAC 2010
-
1.3.2010
Read more
Magnús M. Halldórsson receives first RU Research Award
-
5.2.2010
Read more
The application process for the Double degree MSc programme in CS with Camerino is now open
-
18.1.2010
Read more
Meistaravörn í tölvunarfræðum
-
7.12.2009
Read more
Doktorsvörn í tölvunarfræðum
-
4.12.2009
Read more
Kynningardagur lokaverkefna - Mánudaginn 23. nóvember
-
23.11.2009
Read more
Hringekjan, samstarfsverkefni Háskólans í Reykjavík og Álftamýrarskóla
-
12.11.2009
Read more
Professor Luca Aceto elected as member of the Council of The European Association for Theoretical Computer Science
-
2.11.2009
Read more
ICE-TCS - Milestone in Publications
-
16.10.2009
Read more
Langar þig að fara til Bandaríkjanna í starfsnám?
-
23.9.2009
Read more
Magnús Már Halldórsson with over 100 entries in the DBLP
-
22.9.2009
Read more
Háskólakeppnina í Forritun 2009
-
16.9.2009
Read more
Magnús M. Halldórsson formaður dagskrárnefndar fyrir ESA 2011, evrópsku ráðstefnunnar um reiknirit
-
16.9.2009
Read more
Yngvi Bjornsson keynote speaker at the IEEE Symposium on Computational Intelligance and Games
-
16.7.2009
Read more
MSc thesis defence - Cladio Pedica - Spontaneous Avatar Behaviour for Social Territoriality
-
26.5.2009
Read more
MSc thesis defense - Gylfi Þór Guðmundsson - Single-Agent Search for Solving General-Game-Playing Puzzles
-
22.5.2009
Read more
MSc thesis defense - Ársæll Þór Jóhannsson - GPU-Based Markov Decision Process Solver
-
22.5.2009
Read more
MSc thesis defense - Ida Kramarczyk - Improving the tagging accuracy of Icelandic text
-
22.5.2009
Read more
NEW INTERDISCIPLINARY LECTURE SERIES in The School of Computer Science - Ragnhildur Helgadóttir - I´m in the Mood for Law...
-
13.5.2009
Read more
Presentation about paid interships in the US (Fraunhofer Center for Experimental Software Engineering) - Thursday the 14th of May
-
11.5.2009
Read more
MSc Thesis Defense - Arnar Birgisson - Topics in Structural Operational Semantics
-
7.5.2009
Read more
Launch of new international venue for electronic proceedings in Theoretic Computer Science - EPTCS
-
1.5.2009
Read more
Google Summer of Code
-
19.3.2009
Read more
Double degree program in CS - RU School of Computer Science - University of Camerino
-
6.2.2009
Read more
The paper On the axiomatisability of priority amongst the top 10 most-read papers in the journal Mathematical Structures in Computer Science
-
20.1.2009
Read more
MSc thesis defense - Pálmi Skowronski - Gradual Focus: A Method for Automated Feature Discovery in Selective Search
-
9.1.2009
Read more
Two CS Students Receive Double Awards for their BS Project at an International Conference
-
9.9.2008
Read more
Exchange agreement with the Fraunhofer Center for Experimental Software Engineering
-
28.3.2008
Read more
More
Lectures
ICE-TCS seminar Eyjólfur Ingi Ásgeirsson
-
7.2.2012
Read more
Samfélagsmiðlar er næsta langstökk í UT-Sandy Carter, IBM, í HR 8. febrúar
-
6.2.2012
Read more
ICE-TCS Henning Arnór Úlfarsson: Automatic discovery of permutation patterns
-
2.2.2012
Read more
Fyrirlestur Máltækniseturs MerkOr:merkingarnet fyrir íslenska máltækni
-
30.1.2012
Read more
ICE-TCS Thesis proposal presentation Georgiana Caltais
-
24.1.2012
Read more
ICE-TCS seminar: Context-free languages of countable words
-
17.1.2012
Read more
Alan Turing Year lecture series. Luca Aceto
-
10.1.2012
Read more
ICE-TCS seminar Joshua Sack
-
10.1.2012
Read more
Tölvunarfræðideild Meistaravörn Björn Jónsson
-
4.1.2012
Read more
Meistaravörn í tölvunarfræðideild Kristján Rúnarsson
-
19.12.2011
Read more
Fyrirlestur Máltækniseturs: Hrafn Loftsson ''Mörkun íslensku: Þróun undanfarinna ára''.
-
5.12.2011
Read more
School of Computer Science: Matteo Cimini defends his PhD thesis entitled Contributions to the Meta-Theory of Structural Operational Semantics
-
31.10.2011
Read more
ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions. Matthew Hennessy.
-
26.10.2011
Read more
Eugen-Ioan Goriac delivers the ICE-TCS talk Extending and Axiomatizing Structural Operational Semantics: Theory and Tools
-
26.10.2011
Read more
Agile hádegisfyrirlestur - Agile og sjónstjórnun hjá Marel
-
25.10.2011
Read more
ICE-TCS Lectures Series - Ýmir Vigfússon - Decentralized Polling with Respectable Participants
-
21.10.2011
Read more
ICE-TCS Lectures Series - Henning Úlfarsson - Patterns prohibiting sorting
-
14.10.2011
Read more
CADIA-Lecture - Dr. Timothy Bickmore - Relational Agents for Patient Education and Counseling
-
21.9.2011
Read more
ICE-TCS Lectures Series - Ron Aharoni - Matchings in hypergraphs - many problems and some results
-
2.9.2011
Read more
Agile hádegisfyrirlestur - Ólafur Sverrir Kjartansson - Kanban hjá veflausnum Skýrr
-
30.8.2011
Read more
CADIA - Pei Wang - Cognitive Logic vs. Mathematical Logic and the Way to Artificial General Intelligence
-
29.8.2011
Read more
ICE-TCS Lectures Series - Alejandro Russo - Disjunction Category Labels
-
26.8.2011
Read more
Research talk on wireless networks: Monday 29.8 at 15:00 in M105
-
26.8.2011
Read more
From Constructionist to Constructivist Methodologies for building Artificial Intelligence - September 1-3
-
1.8.2011
Read more
Workshop on Realistic Models for Algorithms in Wireless Networks
-
24.6.2011
Read more
Fyrirlestur tölvunarfræðideild: New Privacy Challenges in Web Search and Advertising: Michaela Götz, PhD student at Cornell University.
-
15.6.2011
Read more
ICE-TCS Lectures Series - Alexandra Silva - Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
-
10.6.2011
Read more
IGI (Icelandic Gaming Industry) fyrirlestrar í dag
-
31.5.2011
Read more
6. - 9. júní - DisCoTec - 6th International Federated Conferences on Distributed Computing Techniques
-
30.5.2011
Read more
ICE-TCS/IMS Seminar Georges Gonthier (Microsoft Research, Cambridge, UK) Thursday, 26 May
-
26.5.2011
Read more
ICE-TCS Lectures Series - Joshua Sack - A General Framework for Probabilistic Characterizing Formulae
-
11.5.2011
Read more
ICE-TCS Lectures Series - Cristian Prisacariu - Modal Logic and Higher Dimensional Automata
-
9.5.2011
Read more
ICE-TCS Lectures Series - Eyjólfur Ingi Ásgeirsson - On a Game Theoretic Approach to Capacity Maximization in Wireless Networks
-
18.3.2011
Read more
Meistaravörn í tölvunarfræðideild - Páll R. Þráinsson - Dynamic Planning for Agents in Games using Social Norms and Emotions
-
10.3.2011
Read more
ICE-TCS Lectures Series - Nicola Paoletti - Formal aspects in spatial and hierarchical modelling: a survey
-
25.2.2011
Read more
ICE-ROSE presents - Garðar Hauksson (DoHop ehf) - Data Mining the Web in Real-Time (Scaling backend services at DoHop)
-
25.2.2011
Read more
ICE-TCS Lecture Series - Matteo Cimini - Rule Formats for Distributivity
-
7.2.2011
Read more
PhD Thesis Proposal Defense: "General Attention Mechanisms for Cognitive Architectures" - Helgi Páll Helgason
-
2.2.2011
Read more
ICE-TCS Lectures Series - Luca Aceto - Some recent non-finite axiomatizability results for basic process algebras
-
28.1.2011
Read more
Laurent Amsaleg - Towards Secure Content-Based Image Retrieval Systems
-
14.1.2011
Read more
Meistaravörn í tölvunarfræðideild kl. 14 - Stefán Freyr Stefánsson
-
14.1.2011
Read more
ICE-TCS Lectures Series - Pradipta Mitra - Wireless Capacity with Oblivious Power in General Metrics
-
14.1.2011
Read more
Meistaravörn í tölvunarfræðideild - Martha Dís Brandt
- Developing an Icelandic to English Shallow Transfer Machine Translation System
-
12.1.2011
Read more
Meistaravörn í tölvunarfræðideild - Haukur Pálmason - Large-Scale Music Classification using an Approximate k-NN Classifier
-
10.1.2011
Read more
Meistaravörn í tölvunarfræðideild - Grímur Tómas Tómasson - ObjectCube – A Generic Multi-Dimensional Model for Media Browsing
-
10.1.2011
Read more
Ýmir Vigfússon - Patchwork-Style Middleware for Wide-Area Multicast
-
30.12.2010
Read more
ICE-TCS Lectures Series - Magnús Már Halldórsson - Streaming algorithms and communication complexity
-
17.12.2010
Read more
Norræn ráðstefna um Notendaviðmót - Extending Boundaries - 16. - 20. október
-
18.10.2010
Read more
ICE-TCS Lectures Series - Franco Barbanera - Session Types for Client/Server Systems and their Behavioural Semantics
-
24.9.2010
Read more
ICE-TCS Lectures Series - Bryan Renne - Arrow Update Logic
-
17.9.2010
Read more
ICE-TCS Workshop on Logic and Concurrency
-
15.9.2010
Read more
ICE-TCS Lectures Series - Marjan Sirjani - The Coordination Language Reo, its Formal Semantics and Analysis Techniques
-
10.9.2010
Read more
ICE-TCS Lectures Series - Zoltan Esik - Axiomatizing regular languages and rational power series
-
3.9.2010
Read more
ICE-TCS Lectures Series - Georgiana Caltais Goriac - Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions.
-
27.8.2010
Read more
ICE-TCS Lectures Series - Luca Tesei - Space, geometry, motion and interactions in modeling biological systems
-
20.8.2010
Read more
IceTAL 2010 haldin 16.-18. ágúst við Háskólinn í Reykjavík
-
16.8.2010
Read more
ICE-TCS Lectures Series - Eugen-Ioan Goriac - CIRC: A Behavioral Verification Tool based on Circular Coinduction
-
13.8.2010
Read more
ICE-TCS Lectures Series - David de Frutos Escrig - (Un)decidability in Petri nets with name creation and replication
-
28.6.2010
Read more
Fyrirlestur um NLP-post-processing of OCR-output of business cards
-
25.5.2010
Read more
Agile hádegisfyrirlestur - Pétur Ágústsson - Kanban
-
12.5.2010
Read more
Challenges in Engineering Critical Software - Academic and industrial views
-
7.5.2010
Read more
Afmælisráðstefna í tilefni 5 ára afmælis ICE-TCS - Þekkingarsetur HR í fræðilegri tölvunarfræði
-
30.4.2010
Read more
ICE-TCS Lectures Series - Matteo Cimini - On Rule Formats for Zero and Unit Elements
-
23.4.2010
Read more
ICE-TCS Lectures Series - Henning Úlfarsson - Equivalence relations on permutations and pattern avoidance
-
16.4.2010
Read more
ICE-TCS Lectures Series - Joshua Sack - Characteristic formulae for fixed-point semantics: a general approach
-
9.4.2010
Read more
Forritunarkeppni framhaldsskólanema
-
27.3.2010
Read more
ICE-TCS Lectures Series - Andrei Sabelfeld - Information flow in web applications
-
26.3.2010
Read more
ICE-TCS Lectures Series - Bas Luttik - Interactive Turing Machines
-
12.3.2010
Read more
ICE-TCS Lectures Series - Vit Jelinek - Pattern Avoidance in Partial Permutations
-
5.3.2010
Read more
ICE-TCS Lectures Series - Luca Aceto - Bisimulation and co-induction: A guided tour to their history and applications
-
19.2.2010
Read more
ICE-TCS Lectures Series - Magnús M. Halldórsson - Word-representable graphs
-
12.2.2010
Read more
Lokaverkefniskynningar í tölvunarfræði
-
14.1.2010
Read more
ICE-TCS Lectures Series - Mads Dam - Monitor Inlining for Multithreaded Java
-
12.1.2010
Read more
Ph.D. proposal defence in computer science
-
12.1.2010
Read more
Lokaverkefniskynningar í tölvunarfræði
-
12.1.2010
Read more
ICE-TCS Lectures Series - Hadas Shachnai - Real-time Scheduling to Minimize Machine Busy Times
-
9.12.2009
Read more
ICE-TCS Lectures Series - Mario Szegedy - Polynomial Time Solvability and Invariants of the Witness Set
-
3.12.2009
Read more
ICE-TCS Lectures Series - Wlodzimierz Moczurad - Directed figure codes are decidable
-
20.11.2009
Read more
AGILE PRÓFANIR NÝJAR AÐFERÐIR VIÐ HUGBÚNAÐARÞRÓUN
-
19.11.2009
Read more
ICE-TCS Lectures Series - Paul Blain Levy - Semantics of nondeterminism
-
17.11.2009
Read more
ICE-TCS Lectures Series - Bjarki Holm - Finding a Logical Characterisation of Polynomial Time
-
13.11.2009
Read more
SCS Interdisciplinary Lectures Series - Sverrir Ólafsson - Stability and scalability of wireless communication systems
-
12.11.2009
Read more
ICE-TCS Lectures Series - Anisse Kasraoui - Classification of Mahonian maj-inv statistics
-
6.11.2009
Read more
ICE-TCS Lectures Series - Luca Aceto - A Rule Format for Unit Elements
-
30.10.2009
Read more
ICE-TCS Lectures Series - Matteo Cimini - A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
-
23.10.2009
Read more
ICE-TCS Lectures Series - Sergey Kitaev - Enumeration of (2+2)-free posets by the number of minimal elements and other statistics
-
16.10.2009
Read more
ICE-TCS Lectures Series - Eva Jelinkova - Computational complexity of Seidel's switching of graphs
-
9.10.2009
Read more
ICE-TCS Lectures Series - Joshua Sack - Dynamic Epistemic Temporal Logic
-
30.9.2009
Read more
ICE-TCS Lectures Series and Combinatorics Seminar - Luca Zamboni - Abelian properties of words
-
25.9.2009
Read more
Special lecture in The School of Computer Science - Dr. Frank Soltis - Long-term IT trends and technology advancements
-
23.9.2009
Read more
ICE-TCS Lectures Series - Dr. Claus Brabrand - Banana Algebra
-
21.9.2009
Read more
ICE-TCS Lectures Series - Ólafur R. Helgason - Mobile peer-to-peer content distribution
-
18.9.2009
Read more
ICE-TCS Lectures Series - Ýmir Vigfússon - Affinity in Distributed Systems
-
18.9.2009
Read more
ICE-TCS Lectures Series - Vit Jelinek - Extending partial plane drawings
-
11.9.2009
Read more
Straumlína í upplýsingatækni - Fyrirlestur á vegum Agile Hópsins og Tölvunarfræðideildar HR
-
1.9.2009
Read more
Joint ICE-Rose and ICE-TCS lecture - Einar Broch Johnsen - Creol: Modeling Reconfigurable Distributed Concurrent Objects
-
25.8.2009
Read more
ICE-TCS Lectures Series - Marcel Kyas - Towards Formal Methods for Wireless Networks
-
21.8.2009
Read more
Joint ICE-Rose and ICE-TCS lecture - by Frank de Boer - Abstract Object Creation in Dynamic Logic: To Be or Not To Be Created
-
18.8.2009
Read more
ICE-TCS Theory Day
-
15.6.2009
Read more
ICE-TCS Lectures Series - Francois Laroussinie - Extensions of alternating-time temporal logic
-
28.5.2009
Read more
School of Computer Science Interdisciplinary Lecture Series - Oddgeir Ottesen - The volatility puzzle: A reexamination
-
27.5.2009
Read more
Joint ICE-TCS and Combinatorics seminar - Martina Kubitzke - The Lefschetz property for barycentric subdivisions of simplicial complexes
-
18.5.2009
Read more
ICE-TCS Lectures Series - Marco Bernardo - Markovian Testing Equivalence and Exponentially Timed Internal Actions
-
12.5.2009
Read more
ICE-TCS Lectures Series - Rance Cleveland - Validating Automotive Control Software using Instrumentation-Based Verification
-
7.5.2009
Read more
Rance Cleveland visits ICE-TCS in May 2009
-
28.4.2009
Read more
ICE-TCS Lectures Series - Yngví Björnsson - Monte Carlo Simulations in General Game Playing Agents
-
15.4.2009
Read more
ICE-TCS Lectures Series - Professor Luca Aceto - Computer Science and Logic: A Match Made in Heaven
-
1.4.2009
Read more
May 2009 - Marco Bernardo visits ICE-TCS
-
25.3.2009
Read more
ICE-TCS Lectures Series - Elena Losievskaja - SDP-based algorithms to Maximum Independent Set problem on hypergraphs
-
25.3.2009
Read more
CADIA and the "Humanoid Agents in Social Game Environments" Project present a Graduate Student Talk
-
11.3.2009
Read more
HttpTools: A Toolkit for Simulation of Web Hosts in OMNeT++ - Kristján Valur Jónsson
-
3.3.2009
Read more
AI Lecture Series Talk - Michael Buro - Planning in RTS Games
-
3.3.2009
Read more
ICE-TCS Lectures Series - Joshua Sack - Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic
-
2.3.2009
Read more
ICE-TCS Lecture Series - MohammedReza Mousavi - Formal Semantics and Model-Checking of Verilog Cell Libraries
-
18.2.2009
Read more
June 2009 - Francois Laroussinie visits ICE-TCS
-
16.2.2009
Read more
ICE-TCS Lectures Series - Matteo Cimini - From lambda to pi: semantics preserving encoding
-
9.2.2009
Read more
ICE-TCS Lectures Series - Arnar Birgisson - Rule Formats for Determinism and Idempotency
-
9.2.2009
Read more
ICE-TCS Lectures Series - Marjan Sirjani
-
9.2.2009
Read more
ICE-TCS Lectures Series - Amy Glen - Palindromic properties of infinite sequences with applications to Number Theory
-
9.2.2009
Read more
Icelandic Centre for Language Technology (ICLT) seminar series - Hrafn Loftsson - Correcting a PoS-tagged corpus using three complementary methods
-
16.1.2009
Read more
AI lecture series - Eric Nivel - IkonFlux: A Proto-Architecture for Autonomous Systems
-
12.1.2009
Read more
ICE-TCS lectures series - Willard Thor Rafnsson - Secrecy in Mobile Ad-hoc
-
12.1.2009
Read more
Database Lecture Series Talk - Dr. Ewa Kijak - Audiovisual Integration for Tennis Broadcast Structuring
-
12.12.2008
Read more
ICE-TCS Lecture Series - Magnús Mar Halldórsson - Graphs made from words
-
4.12.2008
Read more
CADIA's AI Lecture Series Talk - Kristinn R. Thorísson - Architecting Cognition
-
2.12.2008
Read more
ICLT Lecture Series - Verena Henrich and Timo Reuter - CombiTagger: A System for Developing Combined Taggers
-
28.11.2008
Read more
CADIA's AI Lecture Series - Mary Felkin - Learning by Observation and Induction: The Strategies of Humans Placed in a Problem-Solving Context
-
27.11.2008
Read more
ICTL Lecture Series - Joel Wallenberg - The Linguistic Utility of Tagging Icelandic
-
24.11.2008
Read more
June 2009 - Zoltan Esik visits ICE-TCS
-
17.11.2008
Read more
March 2009 - Rance Cleveland visits ICE-TCS
-
17.11.2008
Read more
ICE-TCS seminar - Arnar Birgisson - Enforcing Authorization Policies using Transactional Memory Introspection
-
17.11.2008
Read more
M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
-
12.11.2008
Read more
M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
-
11.11.2008
Read more
AI Lecture Series Talk- Dr. Stacy Marcella - "Cognition and Emotion in Virtual Humans"
-
11.11.2008
Read more
ICE-TCS and CADIA lecture - Michael Thielscher - Knowledge Representation and Reasoning for General Game Playing
-
13.10.2008
Read more
AI Lectures series - Vadim Bulitko - Modeling Culturally and Emotionally Affected Behavior
-
13.10.2008
Read more
BS project presentation - Jón Ingi Sveinbjörnsson and Eiríkur Fannar Torfason - Combinatorial Pedigree Inference from Genomic Data
-
7.10.2008
Read more
AGILIS 2008 Conference
-
2.10.2008
Read more
The School of Computer Science represented at European Researchers night 2008
-
22.9.2008
Read more
Open tutorial - From Computer Vision to Databases
-
22.9.2008
Read more
ICE-TCS lecture - Robert Parviainen - The Random Assignment Problem
-
9.9.2008
Read more
AI lecture seires - Vadim Bulitko - Dynamic Control in Real-Time Heuristic Search
-
2.9.2008
Read more
Electronic Grammar Checking in Natural Languages
-
1.9.2008
Read more
Wolfgang Merkle gives a course on Randomized Algorithms
-
29.8.2008
Read more
Network, subnet, and host analysis through visualization - Dr. John McHugh
-
7.7.2008
Read more
fyrirlestraröð ICE-TCS - Jeff Remmel - Extensions of the Answer Set Programming Paradigm
-
9.6.2008
Read more
ICE-TCS Talk - Amy Glen - Palindromic Richness
-
9.6.2008
Read more
ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming
-
2.6.2008
Read more
ICE-TCS lecture - Marjan Sirjani - Actors in Practice
-
26.3.2008
Read more
ICE-TCS lecture - Wolfgang Merkle - The hat problem and autoreductions of random sequences
-
25.2.2008
Read more
ICE-TCS lecture - Petter Brändén - The Lee-Yang program and linear operators preserving stability
-
25.2.2008
Read more
More
Sjón er sögu ríkari
Heim
Námið
Deildir
Þjónusta
Rannsóknir
Háskólinn
Tölvunarfræðideild
Grunnnám
Meistaranám
Doktorsnám
Rannsóknir
Alan Turing fyrirlestraröð
Starfsfólk
Forritunarkeppni framhaldsskólanna
Hafa samband
Aperio - Sérsniðið nám fyrir fólk með einstaka hæfileika
Flýtival
Almanak
Félagslífið
Laus störf í HR
Opni háskólinn
Bókasafn og upplýsingaþjónusta
Náms- og prófareglur
Kennsluskrá
Skólagjöld
Kynningarefni
Námsráðgjafar
Sækja um í HR
Styrkir fyrir nemendur
Tungumál
English
Leita
Á þessum vef
Á Google
Sláðu inn leitarorð
Útlit síðu:
Stærra letur
Minna letur
Nota mínar stillingar
Stoðval
Hjálp
Innranet
Vefpóstur
Starfsfólk
Veftré
Þetta vefsvæði
byggir á Eplica