Gen Z is increasingly skeptical about AI, according to a new survey, because of its perceived negative impact on humanity.

Wir alle haben das Recht auf staatliche Informationen. Seit 2006 müssen Behörden auf Antrag nach dem Informationsfreiheitsgesetz (IFG) Dokumente herausgeben – seien es Verträge, interne Weisungen oder...

Es ist der schwerste Angriff auf staatliche Transparenz in der Geschichte der Bundesrepublik: Der Koalitionsauschuss von SPD, CDU und CSU hat beschlossen, das Informationsfreiheitsgesetz de facto abzu...

When I first started filming in Utrecht in 2009, I had no idea I would still be documenting the city seventeen years later. Looking back through my archive, I realised how well I can show just how much has changed during that time. Few cities transform overnight, but Utrecht has changed remarkably in less than two decades.

Mit dem „Digitalen Omnibus“ will die EU nach der KI-Verordnung auch den Datenschutz schleifen. Das Gesetzespaket enthält einen einzigen Vorschlag, der nicht primär Unternehmen, sondern auch Nutzer:inn...

NSF dismantling Ocean Observatories Initiative as very strong El Niño forms. Edson, Robbins, McLean: an irreparable blind spot in U.S. climate observation.

18th International Symposium on Functional and Logic Programming

De verbreding van de snelweg is omstreden omdat er opnieuw een stuk bos bij Amelisweerd voor gekapt zou moeten worden.

The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large “Functional Software Architecture” refers to methods of construction and structure of large and long-lived software...

18th International Symposium on Functional and Logic Programming

FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...

FProPer aims to bring together researchers and practitioners that strive to use or develop declarative languages for combining programmer productivity with the highest levels of runtime performance. T...

PL@LX Delta January 23, 2025, 14h Room C6.3.27 – Building C6 – FCUL (Campo Grande) 14h00: Luís Caires (IST): Programming with CLASS 14h40: Ana Borges (Formal Vindications): A logician’s look into temp...

An example of goal-directed, calculational proof - Volume 34

Bottom-up computation using trees of sublists - Volume 34

Mark your calendars: the next Haskell Utrecht Meetup will be on December 11th. We will be in a new location - room 0.21 in the *Universiteitsbibliotheek* (University Libra