Beint í leiðarkerfi vefsins.
Viðburðadagatal
- Málfundur Vísindafélags Íslendinga um ritstuld í vísinda- og fræðaskrifum
- ICE-TCS seminar: Arnar Birgisson (Chalmers University of Technology, Sweden)
- ICE-TCS Turing Centenary lecture, Yngvi Björnsson og Kristinn R. Þórisson
- Málþing Máltækniseturs, Íslenskrar málnefndar og META-NORD
- Fyrirlestur Máltækniseturs fimmtudaginn 29. mars kl. 12-13
- ICE-TCS seminar: Matteo Cimini, Nominal SOS: A Framework for Structural Operational Semantics with Binders
- ICE-TCS Turing Centenary lecture, Magnús Már Halldórsson: The million dollar question: P vs. NP, and the legacy of Turing
- Alan Turing Centenary programme. Bjarni Halldórsson: Alan Turing's work in mathematical biology
- ICE-TCS The Cinderella Game on Holes and Anti-holes.
- Margt smátt gerir eitt stórt – Upplýsingatækni og nýjungar
- ICE-TCS Jón Guðnason: Analyzing the speech signal
- Alan Turing: Dulmálsgreining bandamanna í seinni heimsstyrjöldinni
- ICE-TCS seminar Eyjólfur Ingi Ásgeirsson
- Samfélagsmiðlar er næsta langstökk í UT-Sandy Carter, IBM, í HR 8. febrúar
- ICE-TCS Henning Arnór Úlfarsson: Automatic discovery of permutation patterns
- Fyrirlestur Máltækniseturs MerkOr:merkingarnet fyrir íslenska máltækni
- ICE-TCS Thesis proposal presentation Georgiana Caltais
- ICE-TCS seminar: Context-free languages of countable words
- Alan Turing Year lecture series. Luca Aceto
- ICE-TCS seminar Joshua Sack
- Tölvunarfræðideild Meistaravörn Björn Jónsson
- Meistaravörn í tölvunarfræðideild Kristján Rúnarsson
- Fyrirlestur Máltækniseturs: Hrafn Loftsson ''Mörkun íslensku: Þróun undanfarinna ára''.
- School of Computer Science: Matteo Cimini defends his PhD thesis entitled Contributions to the Meta-Theory of Structural Operational Semantics
- ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions. Matthew Hennessy.
- Eugen-Ioan Goriac delivers the ICE-TCS talk Extending and Axiomatizing Structural Operational Semantics: Theory and Tools
- Agile hádegisfyrirlestur - Agile og sjónstjórnun hjá Marel
- ICE-TCS Lectures Series - Ýmir Vigfússon - Decentralized Polling with Respectable Participants
- ICE-TCS Lectures Series - Henning Úlfarsson - Patterns prohibiting sorting
- CADIA-Lecture - Dr. Timothy Bickmore - Relational Agents for Patient Education and Counseling
- ICE-TCS Lectures Series - Ron Aharoni - Matchings in hypergraphs - many problems and some results
- Agile hádegisfyrirlestur - Ólafur Sverrir Kjartansson - Kanban hjá veflausnum Skýrr
- CADIA - Pei Wang - Cognitive Logic vs. Mathematical Logic and the Way to Artificial General Intelligence
- ICE-TCS Lectures Series - Alejandro Russo - Disjunction Category Labels
- Research talk on wireless networks: Monday 29.8 at 15:00 in M105
- From Constructionist to Constructivist Methodologies for building Artificial Intelligence - September 1-3
- Workshop on Realistic Models for Algorithms in Wireless Networks
- Fyrirlestur tölvunarfræðideild: New Privacy Challenges in Web Search and Advertising: Michaela Götz, PhD student at Cornell University.
- ICE-TCS Lectures Series - Alexandra Silva - Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems
- IGI (Icelandic Gaming Industry) fyrirlestrar í dag
- 6. - 9. júní - DisCoTec - 6th International Federated Conferences on Distributed Computing Techniques
- ICE-TCS/IMS Seminar Georges Gonthier (Microsoft Research, Cambridge, UK) Thursday, 26 May
- ICE-TCS Lectures Series - Joshua Sack - A General Framework for Probabilistic Characterizing Formulae
- ICE-TCS Lectures Series - Cristian Prisacariu - Modal Logic and Higher Dimensional Automata
- ICE-TCS Lectures Series - Eyjólfur Ingi Ásgeirsson - On a Game Theoretic Approach to Capacity Maximization in Wireless Networks
- Meistaravörn í tölvunarfræðideild - Páll R. Þráinsson - Dynamic Planning for Agents in Games using Social Norms and Emotions
- ICE-TCS Lectures Series - Nicola Paoletti - Formal aspects in spatial and hierarchical modelling: a survey
- ICE-ROSE presents - Garðar Hauksson (DoHop ehf) - Data Mining the Web in Real-Time (Scaling backend services at DoHop)
- ICE-TCS Lecture Series - Matteo Cimini - Rule Formats for Distributivity
- PhD Thesis Proposal Defense: "General Attention Mechanisms for Cognitive Architectures" - Helgi Páll Helgason
- ICE-TCS Lectures Series - Luca Aceto - Some recent non-finite axiomatizability results for basic process algebras
- Laurent Amsaleg - Towards Secure Content-Based Image Retrieval Systems
- Meistaravörn í tölvunarfræðideild kl. 14 - Stefán Freyr Stefánsson
- ICE-TCS Lectures Series - Pradipta Mitra - Wireless Capacity with Oblivious Power in General Metrics
-
Meistaravörn í tölvunarfræðideild - Martha Dís Brandt
- Meistaravörn í tölvunarfræðideild - Haukur Pálmason - Large-Scale Music Classification using an Approximate k-NN Classifier
- Meistaravörn í tölvunarfræðideild - Grímur Tómas Tómasson - ObjectCube – A Generic Multi-Dimensional Model for Media Browsing
- Ýmir Vigfússon - Patchwork-Style Middleware for Wide-Area Multicast
- ICE-TCS Lectures Series - Magnús Már Halldórsson - Streaming algorithms and communication complexity
- Norræn ráðstefna um Notendaviðmót - Extending Boundaries - 16. - 20. október
- ICE-TCS Lectures Series - Franco Barbanera - Session Types for Client/Server Systems and their Behavioural Semantics
- ICE-TCS Lectures Series - Bryan Renne - Arrow Update Logic
- ICE-TCS Workshop on Logic and Concurrency
- ICE-TCS Lectures Series - Marjan Sirjani - The Coordination Language Reo, its Formal Semantics and Analysis Techniques
- ICE-TCS Lectures Series - Zoltan Esik - Axiomatizing regular languages and rational power series
- ICE-TCS Lectures Series - Georgiana Caltais Goriac - Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions.
- ICE-TCS Lectures Series - Luca Tesei - Space, geometry, motion and interactions in modeling biological systems
- IceTAL 2010 haldin 16.-18. ágúst við Háskólinn í Reykjavík
- ICE-TCS Lectures Series - Eugen-Ioan Goriac - CIRC: A Behavioral Verification Tool based on Circular Coinduction
- ICE-TCS Lectures Series - David de Frutos Escrig - (Un)decidability in Petri nets with name creation and replication
- Fyrirlestur um NLP-post-processing of OCR-output of business cards
- Agile hádegisfyrirlestur - Pétur Ágústsson - Kanban
- Challenges in Engineering Critical Software - Academic and industrial views
- Afmælisráðstefna í tilefni 5 ára afmælis ICE-TCS - Þekkingarsetur HR í fræðilegri tölvunarfræði
- ICE-TCS Lectures Series - Matteo Cimini - On Rule Formats for Zero and Unit Elements
- ICE-TCS Lectures Series - Henning Úlfarsson - Equivalence relations on permutations and pattern avoidance
- ICE-TCS Lectures Series - Joshua Sack - Characteristic formulae for fixed-point semantics: a general approach
- Forritunarkeppni framhaldsskólanema
- ICE-TCS Lectures Series - Andrei Sabelfeld - Information flow in web applications
- ICE-TCS Lectures Series - Bas Luttik - Interactive Turing Machines
- ICE-TCS Lectures Series - Vit Jelinek - Pattern Avoidance in Partial Permutations
- ICE-TCS Lectures Series - Luca Aceto - Bisimulation and co-induction: A guided tour to their history and applications
- ICE-TCS Lectures Series - Magnús M. Halldórsson - Word-representable graphs
- Lokaverkefniskynningar í tölvunarfræði
- ICE-TCS Lectures Series - Mads Dam - Monitor Inlining for Multithreaded Java
- Ph.D. proposal defence in computer science
- Lokaverkefniskynningar í tölvunarfræði
- ICE-TCS Lectures Series - Hadas Shachnai - Real-time Scheduling to Minimize Machine Busy Times
- ICE-TCS Lectures Series - Mario Szegedy - Polynomial Time Solvability and Invariants of the Witness Set
- ICE-TCS Lectures Series - Wlodzimierz Moczurad - Directed figure codes are decidable
- AGILE PRÓFANIR NÝJAR AÐFERÐIR VIÐ HUGBÚNAÐARÞRÓUN
- ICE-TCS Lectures Series - Paul Blain Levy - Semantics of nondeterminism
- ICE-TCS Lectures Series - Bjarki Holm - Finding a Logical Characterisation of Polynomial Time
- SCS Interdisciplinary Lectures Series - Sverrir Ólafsson - Stability and scalability of wireless communication systems
- ICE-TCS Lectures Series - Anisse Kasraoui - Classification of Mahonian maj-inv statistics
- ICE-TCS Lectures Series - Luca Aceto - A Rule Format for Unit Elements
- ICE-TCS Lectures Series - Matteo Cimini - A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages
- ICE-TCS Lectures Series - Sergey Kitaev - Enumeration of (2+2)-free posets by the number of minimal elements and other statistics
- ICE-TCS Lectures Series - Eva Jelinkova - Computational complexity of Seidel's switching of graphs
- ICE-TCS Lectures Series - Joshua Sack - Dynamic Epistemic Temporal Logic
- ICE-TCS Lectures Series and Combinatorics Seminar - Luca Zamboni - Abelian properties of words
- Special lecture in The School of Computer Science - Dr. Frank Soltis - Long-term IT trends and technology advancements
- ICE-TCS Lectures Series - Dr. Claus Brabrand - Banana Algebra
- ICE-TCS Lectures Series - Ólafur R. Helgason - Mobile peer-to-peer content distribution
- ICE-TCS Lectures Series - Ýmir Vigfússon - Affinity in Distributed Systems
- ICE-TCS Lectures Series - Vit Jelinek - Extending partial plane drawings
- Straumlína í upplýsingatækni - Fyrirlestur á vegum Agile Hópsins og Tölvunarfræðideildar HR
- Joint ICE-Rose and ICE-TCS lecture - Einar Broch Johnsen - Creol: Modeling Reconfigurable Distributed Concurrent Objects
- ICE-TCS Lectures Series - Marcel Kyas - Towards Formal Methods for Wireless Networks
- Joint ICE-Rose and ICE-TCS lecture - by Frank de Boer - Abstract Object Creation in Dynamic Logic: To Be or Not To Be Created
- ICE-TCS Theory Day
- ICE-TCS Lectures Series - Francois Laroussinie - Extensions of alternating-time temporal logic
- School of Computer Science Interdisciplinary Lecture Series - Oddgeir Ottesen - The volatility puzzle: A reexamination
- Joint ICE-TCS and Combinatorics seminar - Martina Kubitzke - The Lefschetz property for barycentric subdivisions of simplicial complexes
- ICE-TCS Lectures Series - Marco Bernardo - Markovian Testing Equivalence and Exponentially Timed Internal Actions
- ICE-TCS Lectures Series - Rance Cleveland - Validating Automotive Control Software using Instrumentation-Based Verification
- Rance Cleveland visits ICE-TCS in May 2009
- ICE-TCS Lectures Series - Yngví Björnsson - Monte Carlo Simulations in General Game Playing Agents
- ICE-TCS Lectures Series - Professor Luca Aceto - Computer Science and Logic: A Match Made in Heaven
- May 2009 - Marco Bernardo visits ICE-TCS
- ICE-TCS Lectures Series - Elena Losievskaja - SDP-based algorithms to Maximum Independent Set problem on hypergraphs
- CADIA and the "Humanoid Agents in Social Game Environments" Project present a Graduate Student Talk
- HttpTools: A Toolkit for Simulation of Web Hosts in OMNeT++ - Kristján Valur Jónsson
- AI Lecture Series Talk - Michael Buro - Planning in RTS Games
- ICE-TCS Lectures Series - Joshua Sack - Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic
- ICE-TCS Lecture Series - MohammedReza Mousavi - Formal Semantics and Model-Checking of Verilog Cell Libraries
- June 2009 - Francois Laroussinie visits ICE-TCS
- ICE-TCS Lectures Series - Matteo Cimini - From lambda to pi: semantics preserving encoding
- ICE-TCS Lectures Series - Arnar Birgisson - Rule Formats for Determinism and Idempotency
- ICE-TCS Lectures Series - Marjan Sirjani
- ICE-TCS Lectures Series - Amy Glen - Palindromic properties of infinite sequences with applications to Number Theory
- Icelandic Centre for Language Technology (ICLT) seminar series - Hrafn Loftsson - Correcting a PoS-tagged corpus using three complementary methods
- AI lecture series - Eric Nivel - IkonFlux: A Proto-Architecture for Autonomous Systems
- ICE-TCS lectures series - Willard Thor Rafnsson - Secrecy in Mobile Ad-hoc
- Database Lecture Series Talk - Dr. Ewa Kijak - Audiovisual Integration for Tennis Broadcast Structuring
- ICE-TCS Lecture Series - Magnús Mar Halldórsson - Graphs made from words
- CADIA's AI Lecture Series Talk - Kristinn R. Thorísson - Architecting Cognition
- ICLT Lecture Series - Verena Henrich and Timo Reuter - CombiTagger: A System for Developing Combined Taggers
- CADIA's AI Lecture Series - Mary Felkin - Learning by Observation and Induction: The Strategies of Humans Placed in a Problem-Solving Context
- ICTL Lecture Series - Joel Wallenberg - The Linguistic Utility of Tagging Icelandic
- June 2009 - Zoltan Esik visits ICE-TCS
- March 2009 - Rance Cleveland visits ICE-TCS
- ICE-TCS seminar - Arnar Birgisson - Enforcing Authorization Policies using Transactional Memory Introspection
- M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
- M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning
- AI Lecture Series Talk- Dr. Stacy Marcella - "Cognition and Emotion in Virtual Humans"
- ICE-TCS and CADIA lecture - Michael Thielscher - Knowledge Representation and Reasoning for General Game Playing
- AI Lectures series - Vadim Bulitko - Modeling Culturally and Emotionally Affected Behavior
- BS project presentation - Jón Ingi Sveinbjörnsson and Eiríkur Fannar Torfason - Combinatorial Pedigree Inference from Genomic Data
- AGILIS 2008 Conference
- The School of Computer Science represented at European Researchers night 2008
- Open tutorial - From Computer Vision to Databases
- ICE-TCS lecture - Robert Parviainen - The Random Assignment Problem
- AI lecture seires - Vadim Bulitko - Dynamic Control in Real-Time Heuristic Search
- Electronic Grammar Checking in Natural Languages
- Wolfgang Merkle gives a course on Randomized Algorithms
- Network, subnet, and host analysis through visualization - Dr. John McHugh
- fyrirlestraröð ICE-TCS - Jeff Remmel - Extensions of the Answer Set Programming Paradigm
- ICE-TCS Talk - Amy Glen - Palindromic Richness
- ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming
- ICE-TCS lecture - Marjan Sirjani - Actors in Practice
- ICE-TCS lecture - Wolfgang Merkle - The hat problem and autoreductions of random sequences
- ICE-TCS lecture - Petter Brändén - The Lee-Yang program and linear operators preserving stability
Tölvunarfræðideild
Flýtival
Tungumál
Leita
Útlit síðu:
Háskólinn í Reykjavík
|
Menntavegi 1
|
Sími 599 6200
|
Fax 599 6201
|
Kt. 510105-4190
|
Staðsetning
|
Afgreiðslutími
|
ru@ru.is
Þetta vefsvæði byggir á Eplica