Personal tools
You are here: Home

Did you not find what you were looking for? Try the Advanced Search to refine your search.

Search results 26 items matching your search terms

Subscribe to an always-updated feed of these search terms

Event Title: Computability in real and complex analysis: some recent progress
Speaker: John Longley
Page Title: Spatial model-checking of vehicle location data
Speaker: Stephen Gilmore
Page Title: Report on the International Congress in Algebras and Combinatorics
Speaker: Kyriakos Kalorkoti
Page Title: Parity Objectives in Infinite Markov Decision Processes (+ Skiing in the southern hemisphere, part II (Chile)
Speaker: Richard Mayr
Event Consensus in the Blockchain Era
Page Title: Consensus in the Blockchain Era
Speaker: Aggelos Kiayias
News Item Congratulations to Ricardo Almeida on successfully passing his VIVA
Congratulations to Ricardo Almeida!
Event Detection of Advanced Persistent Threats (APT) with Formal Concept Analysis (FCA): first steps
Speaker: Ghita Berrada
News Item Congratulations to Perdita Stevens who has received a prestigious award (10-year most influential paper, from the MODELS conference)
Perdita's paper "Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions" has been selected as the most influential paper from MODELS ...
News Item Congratulations to Cheng Feng on successfully passing his VIVA
Cheng Feng successfully defended his thesis this morning in a viva that lasted 1 hour 45 minutes. Cheng passed with minor corrections. Examiners: Paul ...
News Item Congratulations to Anastasis Georgoulas who successfully passed his VIVA
Many congratulations to Anastasis who successfully defended his dissertation yesterday. His examiners, Verena Wolf from Saarland University and Iain ...
News Item Congratulations: Vladimir Nikishkin has successfully passed his VIVA
Congratulations to Vladimir Nikishkin who successfully passed his PhD viva, subject to minor amendments. His thesis is entitled "Testing Properties of ...
Image Anna Pappa
Image Wilmer Ricciotti
Image Tomasz Gogacz
Image Nadime Francis
Image Chris Heunen
Event SICSA workshop on Computational Ecology
The objective of this workshop is to bring together SICSA researchers who are currently actively working on, or interested in, developing dynamic models of ...
Image Sicsa logo
Page Exact Algorithms for NP-Hard Problems
Page Algorithmic Analysis and Complexity Lower Bounds
Page Exact Algorithms for NP-Hard Problems
Image Alexandru Gheorghiu photo
Image Rahul Santhanam
Image Ruizhe Huang
photo
Image Ricardo Almeida
photo