Viðburðadagatal | Tölvunarfræðideild | Deildir | Háskólinn í Reykjavík

Beint í leiðarkerfi vefsins.

Tölvunarfræðideild Háskólans í Reykjavík

Viðburðadagatal

Samfélagsmiðlar er næsta langstökk í UT-Sandy Carter, IBM, í HR 8. febrúar

Lesa meira

ICE-TCS Henning Arnór Úlfarsson: Automatic discovery of permutation patterns

Lesa meira

Fyrirlestur Máltækniseturs MerkOr:merkingarnet fyrir íslenska máltækni

Lesa meira

ICE-TCS Thesis proposal presentation Georgiana Caltais

Lesa meira

ICE-TCS seminar: Context-free languages of countable words

Lesa meira

Alan Turing Year lecture series. Luca Aceto

Lesa meira

ICE-TCS seminar Joshua Sack

Lesa meira

Tölvunarfræðideild Meistaravörn Björn Jónsson

Lesa meira

Meistaravörn í tölvunarfræðideild Kristján Rúnarsson

Lesa meira

Fyrirlestur Máltækniseturs: Hrafn Loftsson ''Mörkun íslensku: Þróun undanfarinna ára''.

Lesa meira

School of Computer Science: Matteo Cimini defends his PhD thesis entitled Contributions to the Meta-Theory of Structural Operational Semantics

Lesa meira

ICE-TCS seminar entitled Liveness and Safety for Communicating Transactions. Matthew Hennessy.

Lesa meira

Eugen-Ioan Goriac delivers the ICE-TCS talk Extending and Axiomatizing Structural Operational Semantics: Theory and Tools

Lesa meira

Agile hádegisfyrirlestur - Agile og sjónstjórnun hjá Marel

Lesa meira

ICE-TCS Lectures Series - Ýmir Vigfússon - Decentralized Polling with Respectable Participants

Lesa meira

ICE-TCS Lectures Series - Henning Úlfarsson - Patterns prohibiting sorting

Lesa meira

CADIA-Lecture - Dr. Timothy Bickmore - Relational Agents for Patient Education and Counseling

Lesa meira

ICE-TCS Lectures Series - Ron Aharoni - Matchings in hypergraphs - many problems and some results

Lesa meira

Agile hádegisfyrirlestur - Ólafur Sverrir Kjartansson - Kanban hjá veflausnum Skýrr

Lesa meira

CADIA - Pei Wang - Cognitive Logic vs. Mathematical Logic and the Way to Artificial General Intelligence

Lesa meira

ICE-TCS Lectures Series - Alejandro Russo - Disjunction Category Labels

Lesa meira

Research talk on wireless networks: Monday 29.8 at 15:00 in M105

Lesa meira

From Constructionist to Constructivist Methodologies for building Artificial Intelligence - September 1-3

Lesa meira

Workshop on Realistic Models for Algorithms in Wireless Networks

Lesa meira

Fyrirlestur tölvunarfræðideild: New Privacy Challenges in Web Search and Advertising: Michaela Götz, PhD student at Cornell University.

Lesa meira

ICE-TCS Lectures Series - Alexandra Silva - Sound and Complete Axiomatization of Trace Semantics for Probabilistic Systems

Lesa meira

IGI (Icelandic Gaming Industry) fyrirlestrar í dag

Lesa meira

6. - 9. júní - DisCoTec - 6th International Federated Conferences on Distributed Computing Techniques

Lesa meira

ICE-TCS/IMS Seminar Georges Gonthier (Microsoft Research, Cambridge, UK) Thursday, 26 May

Lesa meira

ICE-TCS Lectures Series - Joshua Sack - A General Framework for Probabilistic Characterizing Formulae

Lesa meira

ICE-TCS Lectures Series - Cristian Prisacariu - Modal Logic and Higher Dimensional Automata

Lesa meira

ICE-TCS Lectures Series - Eyjólfur Ingi Ásgeirsson - On a Game Theoretic Approach to Capacity Maximization in Wireless Networks

Lesa meira

Meistaravörn í tölvunarfræðideild - Páll R. Þráinsson - Dynamic Planning for Agents in Games using Social Norms and Emotions

Lesa meira

ICE-TCS Lectures Series - Nicola Paoletti - Formal aspects in spatial and hierarchical modelling: a survey

Lesa meira

ICE-ROSE presents - Garðar Hauksson (DoHop ehf) - Data Mining the Web in Real-Time (Scaling backend services at DoHop)

Lesa meira

ICE-TCS Lecture Series - Matteo Cimini - Rule Formats for Distributivity

Lesa meira

PhD Thesis Proposal Defense: "General Attention Mechanisms for Cognitive Architectures" - Helgi Páll Helgason

Lesa meira

ICE-TCS Lectures Series - Luca Aceto - Some recent non-finite axiomatizability results for basic process algebras

Lesa meira

Laurent Amsaleg - Towards Secure Content-Based Image Retrieval Systems

Lesa meira

Meistaravörn í tölvunarfræðideild kl. 14 - Stefán Freyr Stefánsson

Lesa meira

ICE-TCS Lectures Series - Pradipta Mitra - Wireless Capacity with Oblivious Power in General Metrics

Lesa meira

Meistaravörn í tölvunarfræðideild - Martha Dís Brandt - Developing an Icelandic to English Shallow Transfer Machine Translation System

Lesa meira

Meistaravörn í tölvunarfræðideild - Haukur Pálmason - Large-Scale Music Classification using an Approximate k-NN Classifier

Lesa meira

Meistaravörn í tölvunarfræðideild - Grímur Tómas Tómasson - ObjectCube – A Generic Multi-Dimensional Model for Media Browsing

Lesa meira

Ýmir Vigfússon - Patchwork-Style Middleware for Wide-Area Multicast

Lesa meira

ICE-TCS Lectures Series - Magnús Már Halldórsson - Streaming algorithms and communication complexity

Lesa meira

Norræn ráðstefna um Notendaviðmót - Extending Boundaries - 16. - 20. október

Lesa meira

ICE-TCS Lectures Series - Franco Barbanera - Session Types for Client/Server Systems and their Behavioural Semantics

Lesa meira

ICE-TCS Lectures Series - Bryan Renne - Arrow Update Logic

Lesa meira

ICE-TCS Workshop on Logic and Concurrency

Lesa meira

ICE-TCS Lectures Series - Marjan Sirjani - The Coordination Language Reo, its Formal Semantics and Analysis Techniques

Lesa meira

ICE-TCS Lectures Series - Zoltan Esik - Axiomatizing regular languages and rational power series

Lesa meira

ICE-TCS Lectures Series - Georgiana Caltais Goriac - Algebra meets coalgebra. A decision procedure for bisimilarity of generalized regular expressions.

Lesa meira

ICE-TCS Lectures Series - Luca Tesei - Space, geometry, motion and interactions in modeling biological systems

Lesa meira

IceTAL 2010 haldin 16.-18. ágúst við Háskólinn í Reykjavík

Lesa meira

ICE-TCS Lectures Series - Eugen-Ioan Goriac - CIRC: A Behavioral Verification Tool based on Circular Coinduction

Lesa meira

ICE-TCS Lectures Series - David de Frutos Escrig - (Un)decidability in Petri nets with name creation and replication

Lesa meira

Fyrirlestur um NLP-post-processing of OCR-output of business cards

Lesa meira

Agile hádegisfyrirlestur - Pétur Ágústsson - Kanban

Lesa meira

Challenges in Engineering Critical Software - Academic and industrial views

Lesa meira

Afmælisráðstefna í tilefni 5 ára afmælis ICE-TCS - Þekkingarsetur HR í fræðilegri tölvunarfræði

Lesa meira

ICE-TCS Lectures Series - Matteo Cimini - On Rule Formats for Zero and Unit Elements

Lesa meira

ICE-TCS Lectures Series - Henning Úlfarsson - Equivalence relations on permutations and pattern avoidance

Lesa meira

ICE-TCS Lectures Series - Joshua Sack - Characteristic formulae for fixed-point semantics: a general approach

Lesa meira

Forritunarkeppni framhaldsskólanema

Lesa meira

ICE-TCS Lectures Series - Andrei Sabelfeld - Information flow in web applications

Lesa meira

ICE-TCS Lectures Series - Bas Luttik - Interactive Turing Machines

Lesa meira

ICE-TCS Lectures Series - Vit Jelinek - Pattern Avoidance in Partial Permutations

Lesa meira

ICE-TCS Lectures Series - Luca Aceto - Bisimulation and co-induction: A guided tour to their history and applications

Lesa meira

ICE-TCS Lectures Series - Magnús M. Halldórsson - Word-representable graphs

Lesa meira

Lokaverkefniskynningar í tölvunarfræði

Lesa meira

ICE-TCS Lectures Series - Mads Dam - Monitor Inlining for Multithreaded Java

Lesa meira

Ph.D. proposal defence in computer science

Lesa meira

Lokaverkefniskynningar í tölvunarfræði

Lesa meira

ICE-TCS Lectures Series - Hadas Shachnai - Real-time Scheduling to Minimize Machine Busy Times

Lesa meira

ICE-TCS Lectures Series - Mario Szegedy - Polynomial Time Solvability and Invariants of the Witness Set

Lesa meira

ICE-TCS Lectures Series - Wlodzimierz Moczurad - Directed figure codes are decidable

Lesa meira

AGILE PRÓFANIR NÝJAR AÐFERÐIR VIÐ HUGBÚNAÐARÞRÓUN

Lesa meira

ICE-TCS Lectures Series - Paul Blain Levy - Semantics of nondeterminism

Lesa meira

ICE-TCS Lectures Series - Bjarki Holm - Finding a Logical Characterisation of Polynomial Time

Lesa meira

SCS Interdisciplinary Lectures Series - Sverrir Ólafsson - Stability and scalability of wireless communication systems

Lesa meira

ICE-TCS Lectures Series - Anisse Kasraoui - Classification of Mahonian maj-inv statistics

Lesa meira

ICE-TCS Lectures Series - Luca Aceto - A Rule Format for Unit Elements

Lesa meira

ICE-TCS Lectures Series - Matteo Cimini - A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages

Lesa meira

ICE-TCS Lectures Series - Sergey Kitaev - Enumeration of (2+2)-free posets by the number of minimal elements and other statistics

Lesa meira

ICE-TCS Lectures Series - Eva Jelinkova - Computational complexity of Seidel's switching of graphs

Lesa meira

ICE-TCS Lectures Series - Joshua Sack - Dynamic Epistemic Temporal Logic

Lesa meira

ICE-TCS Lectures Series and Combinatorics Seminar - Luca Zamboni - Abelian properties of words

Lesa meira

Special lecture in The School of Computer Science - Dr. Frank Soltis - Long-term IT trends and technology advancements

Lesa meira

ICE-TCS Lectures Series - Dr. Claus Brabrand - Banana Algebra

Lesa meira

ICE-TCS Lectures Series - Ólafur R. Helgason - Mobile peer-to-peer content distribution

Lesa meira

ICE-TCS Lectures Series - Ýmir Vigfússon - Affinity in Distributed Systems

Lesa meira

ICE-TCS Lectures Series - Vit Jelinek - Extending partial plane drawings

Lesa meira

Straumlína í upplýsingatækni - Fyrirlestur á vegum Agile Hópsins og Tölvunarfræðideildar HR

Lesa meira

Joint ICE-Rose and ICE-TCS lecture - Einar Broch Johnsen - Creol: Modeling Reconfigurable Distributed Concurrent Objects

Lesa meira

ICE-TCS Lectures Series - Marcel Kyas - Towards Formal Methods for Wireless Networks

Lesa meira

Joint ICE-Rose and ICE-TCS lecture - by Frank de Boer - Abstract Object Creation in Dynamic Logic: To Be or Not To Be Created

Lesa meira

ICE-TCS Theory Day

Lesa meira

ICE-TCS Lectures Series - Francois Laroussinie - Extensions of alternating-time temporal logic

Lesa meira

School of Computer Science Interdisciplinary Lecture Series - Oddgeir Ottesen - The volatility puzzle: A reexamination

Lesa meira

Joint ICE-TCS and Combinatorics seminar - Martina Kubitzke - The Lefschetz property for barycentric subdivisions of simplicial complexes

Lesa meira

ICE-TCS Lectures Series - Marco Bernardo - Markovian Testing Equivalence and Exponentially Timed Internal Actions

Lesa meira

ICE-TCS Lectures Series - Rance Cleveland - Validating Automotive Control Software using Instrumentation-Based Verification

Lesa meira

Rance Cleveland visits ICE-TCS in May 2009

Lesa meira

ICE-TCS Lectures Series - Yngví Björnsson - Monte Carlo Simulations in General Game Playing Agents

Lesa meira

ICE-TCS Lectures Series - Professor Luca Aceto - Computer Science and Logic: A Match Made in Heaven

Lesa meira

May 2009 - Marco Bernardo visits ICE-TCS

Lesa meira

ICE-TCS Lectures Series - Elena Losievskaja - SDP-based algorithms to Maximum Independent Set problem on hypergraphs

Lesa meira

CADIA and the "Humanoid Agents in Social Game Environments" Project present a Graduate Student Talk

Lesa meira

HttpTools: A Toolkit for Simulation of Web Hosts in OMNeT++ - Kristján Valur Jónsson

Lesa meira

AI Lecture Series Talk - Michael Buro - Planning in RTS Games

Lesa meira

ICE-TCS Lectures Series - Joshua Sack - Muddy Children, other Logic Puzzles, and Temporal Dynamic Epistemic Logic

Lesa meira

ICE-TCS Lecture Series - MohammedReza Mousavi - Formal Semantics and Model-Checking of Verilog Cell Libraries

Lesa meira

June 2009 - Francois Laroussinie visits ICE-TCS

Lesa meira

ICE-TCS Lectures Series - Matteo Cimini - From lambda to pi: semantics preserving encoding

Lesa meira

ICE-TCS Lectures Series - Arnar Birgisson - Rule Formats for Determinism and Idempotency

Lesa meira

ICE-TCS Lectures Series - Marjan Sirjani

Lesa meira

ICE-TCS Lectures Series - Amy Glen - Palindromic properties of infinite sequences with applications to Number Theory

Lesa meira

Icelandic Centre for Language Technology (ICLT) seminar series - Hrafn Loftsson - Correcting a PoS-tagged corpus using three complementary methods

Lesa meira

AI lecture series - Eric Nivel - IkonFlux: A Proto-Architecture for Autonomous Systems

Lesa meira

ICE-TCS lectures series - Willard Thor Rafnsson - Secrecy in Mobile Ad-hoc

Lesa meira

Database Lecture Series Talk - Dr. Ewa Kijak - Audiovisual Integration for Tennis Broadcast Structuring

Lesa meira

ICE-TCS Lecture Series - Magnús Mar Halldórsson - Graphs made from words

Lesa meira

CADIA's AI Lecture Series Talk - Kristinn R. Thorísson - Architecting Cognition

Lesa meira

ICLT Lecture Series - Verena Henrich and Timo Reuter - CombiTagger: A System for Developing Combined Taggers

Lesa meira

CADIA's AI Lecture Series - Mary Felkin - Learning by Observation and Induction: The Strategies of Humans Placed in a Problem-Solving Context

Lesa meira

ICTL Lecture Series - Joel Wallenberg - The Linguistic Utility of Tagging Icelandic

Lesa meira

June 2009 - Zoltan Esik visits ICE-TCS

Lesa meira

March 2009 - Rance Cleveland visits ICE-TCS

Lesa meira

ICE-TCS seminar - Arnar Birgisson - Enforcing Authorization Policies using Transactional Memory Introspection

Lesa meira

M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning

Lesa meira

M.Sc. Thesis Defense in Computer Science - Guðný R. Jónsdóttir - A Distributed Dialogue Architecture with Learning

Lesa meira

AI Lecture Series Talk- Dr. Stacy Marcella - "Cognition and Emotion in Virtual Humans"

Lesa meira

ICE-TCS and CADIA lecture - Michael Thielscher - Knowledge Representation and Reasoning for General Game Playing

Lesa meira

AI Lectures series - Vadim Bulitko - Modeling Culturally and Emotionally Affected Behavior

Lesa meira

BS project presentation - Jón Ingi Sveinbjörnsson and Eiríkur Fannar Torfason - Combinatorial Pedigree Inference from Genomic Data

Lesa meira

AGILIS 2008 Conference

Lesa meira

The School of Computer Science represented at European Researchers night 2008

Lesa meira

Open tutorial - From Computer Vision to Databases

Lesa meira

ICE-TCS lecture - Robert Parviainen - The Random Assignment Problem

Lesa meira

AI lecture seires - Vadim Bulitko - Dynamic Control in Real-Time Heuristic Search

Lesa meira

Electronic Grammar Checking in Natural Languages

Lesa meira

Wolfgang Merkle gives a course on Randomized Algorithms

Lesa meira

Network, subnet, and host analysis through visualization - Dr. John McHugh

Lesa meira

fyrirlestraröð ICE-TCS - Jeff Remmel - Extensions of the Answer Set Programming Paradigm

Lesa meira

ICE-TCS Talk - Amy Glen - Palindromic Richness

Lesa meira

ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming

Lesa meira

ICE-TCS lecture - Marjan Sirjani - Actors in Practice

Lesa meira

ICE-TCS lecture - Wolfgang Merkle - The hat problem and autoreductions of random sequences

Lesa meira

ICE-TCS lecture - Petter Brändén - The Lee-Yang program and linear operators preserving stability

Lesa meira

Tölvunarfræðideild

Flýtival

Tungumál

English

Leita

Útlit síðu:

Stoðval

Þetta vefsvæði byggir á Eplica