Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

Vergangene Termine

  • 2026-01-12T10:00:00+01:00
  • 2026-01-12T23:59:59+01:00
  • Rudower Chaussee 25,12489 Berlin, Humboldt-Kabinett 3.116
Januar 12 Montag 2026

Zeit: 10:00

Rudower Chaussee 25,12489 Berlin, Humboldt-Kabinett 3.116

"How Small Can You Go? Lower bounds on representations in knowledge compilation, finite model theory and beyond"

  • 2026-01-06T14:00:00+01:00
  • 2026-01-06T15:00:00+01:00
  • Institut für Informatik, Humboldt-Kabinett
Januar 6 Dienstag 2026

Zeit: 14:00

Institut für Informatik, Humboldt-Kabinett

"*Grammar-Based Fuzzing with Language-Like Semantic Constraints*"

  • 2025-12-18T16:00:00+01:00
  • 2025-12-18T18:00:00+01:00
  • Humboldt-Kabinett - 3.116
Dezember 18 Donnerstag 2025

Zeit: 16:00

Humboldt-Kabinett - 3.116

"Adaptive Scheduling of Dynamic Workflows"

  • 2025-12-12T10:00:00+01:00
  • 2025-12-12T23:59:59+01:00
  • Rudower Chaussee 25,12489 Berlin, Humboldt-Kabinett
Dezember 12 Freitag 2025

Zeit: 10:00

Rudower Chaussee 25,12489 Berlin, Humboldt-Kabinett

"Temporal graph problems and parameterized approximation: Two explorations in the field of parameterized algorithms"

  • 2025-12-10T16:00:00+01:00
  • 2025-12-10T23:59:59+01:00
  • online: Zoom
Dezember 10 Mittwoch 2025

Zeit: 16:00

online: Zoom

"An Evaluation of the Representativeness of Demographic-Aligned LLMs using Global Opinion Surveys"

  • 2025-06-05T00:00:00+02:00
  • 2025-06-05T23:59:59+02:00
  • Berlin Adlershof
Juni 5 Donnerstag 2025

Zeit: 00:00

Berlin Adlershof

  • 2025-04-24T10:30:00+02:00
  • 2025-04-24T11:00:00+02:00
  • Online - Zoom
April 24 Donnerstag 2025

Zeit: 10:30

Online - Zoom

"Language-Generalised Test Oracle Generation Using Large Language Models"