Liðnir viðburðir
Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 20–23 June 2017
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Women in Logic (WiL) Workshop19th June 2017
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
Workshop “Learning and Automata” (LearnAut)
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
LOLA 2017: Syntax and Semantics of Low-Level Languages
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
Affiliated with the ACM/IEEE Symposium on Logic in Computer Science (LICS)
- INFINITY 2017: 19th International Workshop on Verification of Infinite-State Systems
- The Eighteenth International Workshop on Logic and Computational Complexity
- Metafinite Model Theory and Definability and Complexity of Numeric Graph Parameters
- The Logic Mentoring Workshop (LMW)
- CRESS TALK: A Functional Architecture for Autonomous Driving
- Ráðstefna um stjórnun nýsköpunar og vöruþróunar
- Verkin tala
- Computational and Mathematical Modeling of Medical Images: Advanced Methods and Applications in Translational Myology and Surgical Planning
- 9th Nordic Corporate Governance Network Workshop at Reykjavik University
- Reliability Analysis of the Electrical System in Boeing 757-200 and RB211-535 Engines
- Rýrnun og sprungumyndun í múrílögn
- Simulation of liquid induced annulus wall boundary layer in a pipe flow, with dense net of jet cross flows
- Áhrif yfirborðsmeðhöndlunarefna á malbik
- Numerical Investigation on the Aerodynamic Gliding Performance of an Ornithopter.
- Problem to success of excess energy at geothermal well ÆR3
- Brúastjórnunarkerfi - Þróun einkunna við ástandsskoðun steinsteyptra brúa á íslenska vegakerfi
- Komdu í heimsókn og kynntu þér tæknifræði
- Experimental study of joints in FRP
- Áhrif niðursveiflu efnahagslífs á samgöngur og skipulag - í ljósi kreppunnar á Íslandi 2008
- Estimating the Data Reliability of Magnetotelluric Measurements
- Design of a cage for landing sea-frozen fish products