CS-430: Intelligent agentsSoftware agents are widely used to control physical, economic and financial processes. The course presents practical methods for implementing software agents and multi-agent systems, supported by prog
AR-680: Urbanism of Hope. 16th IFoU Conference.In a context of global crisis, the 16th IFoU conference focuses on attempts, approaches, and solutions on local level. To what extend are they able to reduce the impact of environmental disasters, to
CS-320: Computer language processingWe teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
HUM-249: Competing with ChinaLe cours sensibilise les étudiant·e·s aux implications de l'émergence de la Chine comme puissance économique et technologique en portant une réflexion critique sur les défis posés par cette transition
PENS-318: Border ForensicsThe course will introduce students to different forms of violence related to the existence of state borders and social boundaries, focusing on particular situations in Switzerland, and the way spatial
MATH-467: Probabilistic methods in combinatoricsThe 'probabilistic method' is a fundamental tool in combinatorics. The basic idea is as follows: to prove that an object (for example, graph) with certain properties exists, it suffices to prove that
