22.1.2018 12:10 - 13:00 ICE-TCS seminar: Karoliina Lehtinen

Runtime Verification of Fixpoint Logic: Synthesis of Optimal Monitors

 

24.1.2018 12:00 - 13:00 Efst á baugi: skipan dómara

Jakob R. Möller og Haukur Örn Birgisson
 

25.1.2018 12:00 - 13:00 Tölfræði í íslenskum boltaíþróttum

Meistaranemar í íþróttafræði kynna tölfræðigreiningar í fótbolta, körfubolta og handbolta

 

25.1.2018 17:00 - 19:00 Ráðstefna - Snemmbær afreksþjálfun barna

Íþróttabandalag Reykjavíkur og Íþrótta- og Ólympíusamband Íslands standa fyrir ráðstefnu í samstarfi við Háskólann í Reykjavík fimmtudaginn 25. janúar kl. 17- 19. Ráðstefnustjóri verður Ingvar Sverrisson formaður ÍBR. Aðgangur er ókeypis. Ráðstefnan fer fram í stofu V101 í Háskólanum í Reykjavík. 
Skráning fer fram á vefsíðu ÍSÍ: http://isi.is/fraedsla/hadegisfundir/skraning/

 

29.1.2018 - 2.2.2018 Geðheilbrigðisvika

Vikuna 29. janúar – 2. febrúar standa sálfræðisvið og náms- og starfsráðgjöf Háskólans í Reykjavík að vitundarvakningu um geðheilbrigði.

 

29.1.2018 12:10 - 13:00 ICE-TCS seminar: Danel Ahman

Embracing monotonicity in F*

 

2.2.2018 - 3.2.2018 HR á UTmessunni

Að UTmessunni stendur Skýrslutæknifélagið (Ský) í samstarfi við Háskólann í Reykjavík, Háskóla Íslands og Samtök iðnaðarins (SUT, IGI, SSP).

 

5.2.2018 12:10 - 13:00 ICE-TCS seminar: Antonis Achilleos

The Completeness Problem for Modal Logic

 

8.2.2018 10:00 - 15:00 Framadagar

Framadagar AIESEC eru haldnir árlega í HR með það að markmiði að gefa háskólanemum tækifæri til að kynna sér fyrirtæki og fjölbreytta möguleika á sumarstörfum, framtíðarstörfum eða verkefnavinnu.