Institut for Matematik og Datalogi

Speaker: Shaukat Ali ​HoD, Research Professor, Chief Research Scientist​Simula Research Lab, Norway Abstract:Quantum software will enable fascinating future applications. However, creating dependable quantum software that executes on quantum computers and delivers these applications requires new software engineering methods. To this end, a novel field of Quantum Software Engineering (QSE) is emerging. Additionally, there is great potential to apply quantum computing-enhanced AI techniques to solve classical software engineering problems.This talk will focus on engineering dependable quantum and classical software using two groundbreaking technologies: quantum computing and AI. It will discuss the current challenges in using these technologies to engineer quantum and classical software. Next, the talk will provide an overview of the current state of QSE, followed by an introduction to some techniques developed in our group. Moreover, it will introduce our work on using quantum AI techniques to solve classical software engineering problems (e.g., testing). Finally, the talk will conclude by examining open research questions at the intersection of quantum computing, AI, and software engineering and discussing the future outlook.Location: O100 Aud. (Ø5-112-1) The event is open to all.

Kom og hør et oplæg om SDU’s supercomputer – der stadig står i kælderen – og har du spørgsmål om hardware, så er systemadministrator Erik Madsen, nok også frisk på at svare på det.Alle studerende og undervisere er velkomne.Vi sørger for kage.Tilmelding ikke nødvendig.

Dette års særlige fokus: Vejledning

Dette års særlige fokus: Vejledning

Arrangementet afholdes på engelsk. Klik her for at gå til den engelske beskrivelse af arrangementet.

Speaker: Marina Moleti Scuola Internazionale Superiore di Studi Avanzati (SISSA) Abstract:TBA

If you could change the language(s) that people use, what would you do?

Poster Session - en praktisk, faciliteret proces

Oplæg ved ph.d.-stipendiat Karen Bollingberg

Arrangementet afholdes på engelsk. Klik her for at gå til den engelske beskrivelse af arrangementet.

Vil du vide, hvad der foregår bag kulisserne på IMADA?Kom og vær med til 2 x 20 min. inspirerende foredrag, mens du nyder en gratis "afslappet after-work" øl med dine medstuderende, kollega eller lærer.Oplægsholderne er lektor Jing Qin (»AcuteX: Konsekvenser af ekstreme klimahændelser for akutte hospitalsydelser i Danmark«) og Kommunikationsmedarbejder Ursula Lundgreen Svane (»Kommunikation på LinkedIn i 2024«).

Speaker: Apoorv Tiwari (University of Southern Denmark) Abstract:TBA

🎓 Er du klar til forårets valgfrie kurser? Tag med til Pizzamødet på IMADA og få alle detaljer!🍕 GRATIS PIZZA OG SODAVAND! 🥤Tilmelding ikke nødvendig, men ønsker du en pizza og forfriskning, skal du tilmelde dig på: www.sdu.dk/da/imadapizzaDer er tilmeldingsfrist for pizza mandag d. 11. november 2024.

🎓 Er du klar til forårets valgfrie kurser? Tag med til Pizzamødet på IMADA og få alle detaljer!🍕 GRATIS PIZZA OG SODAVAND! 🥤Tilmelding ikke nødvendig, men ønsker du en pizza og forfriskning, skal du tilmelde dig på: www.sdu.dk/da/imadapizzaDer er tilmeldingsfrist for pizza mandag d. 11. november 2024.

Arrangementet afholdes på engelsk. Klik her for at gå til den engelske beskrivelse af arrangementet.

Valentino Picotti forsvarer sin ph.d.-afhandling: Language Support for Microservices Development.Professor Jacopo Mauro vil være ordstyrer ved arrangementet.

Speaker: Guillaume Laplante-Anfossi (University of Southern Denmark) Abstract:Given a curved A-infinity algebra and a bounding cochain (a.k.a Maurer—Cartan element), one can twist the former by the latter to get a new A-infinity algebra where the curvature is zero. This uncurving procedure plays a central rôle in Floer theory, where Fukaya categories are naturally curved objects. The goal of this talk will be to give a universal characterization of the procedure, using the theory of operads: we will show that the operad cMC, whose algebras are curved A-infinity algebras endowed with a Maurer—Cartan element, together with its natural morphism to the A-infinity operad, is terminal in a certain comma category. This category does not contain the Maurer—Cartan equation, thus the theorem provides a way to « rediscover » it as the answer to a universal (algebraic) problem. This is joint work with Adrian Petr and Vivek Shende.

Speaker: Christoph Nega (Technical University of Munich)Abstract:TBA

Speaker: Michael Borinsky The Institute for Theoretical Studies (ETH-ITS), Zürich Abstract:I will present new results on the asymptotic growth rate of the Euler characteristic of Kontsevich's commutative graph complex. These results imply the same asymptotic growth rate for the top-weight Euler characteristic of M_g, the moduli space of curves, due to a recent work by Chan, Galatius and Payne. Further, they establish the existence of large amounts of unexplained cohomology in this graph complex. I will explain the role of this graph complex from the perspective of M_g's cohomology.

Speaker: Meer Ashwinkumar University of Bern Abstract:TBA

På dette forskningsseminar er der oplæg ved Robb Mitchell.Program for seminaret følgerTil FNUG Forskningsseminarer mødes forskere og studerende om videndeling og udvikling af forskning inden for temaerne fagdidaktik, forskningsperspektiver på undervisningsudvikling på videregående uddannelsesniveau, STEM uddannelse, videnskabskommunikation, læremidler, professionsudvikling og uddannelsesinnovation.

Forskningscenter for Naturvidenskabelig Uddannelse og Formidling holder LabSTEM-konference om integreret STEM (Science, Teknologi, Engineering og Matematik) i dagtilbud, grundskole og ungdomsuddannelse.Konferencen er for pædagoger i daginstitutioner, lærere og vejledere i grundskolen og på ungdomsuddannelser, ansatte og studerende fra professionshøjskoler og universiteter, og for forskere og konsulenter i hele landet.Der vil være workshops om konkrete STEM-aktiviteter og forløb, og mulighed for drøftelser og diskussioner med erfarne STEM-undervisere og pædagoger.Program for dagen følger

Forskningscenter for Naturvidenskabelig Uddannelse og Formidling holder LabSTEM-konference om integreret STEM (Science, Teknologi, Engineering og Matematik) i dagtilbud, grundskole og ungdomsuddannelse.Konferencen er for pædagoger i daginstitutioner, lærere og vejledere i grundskolen og på ungdomsuddannelser, ansatte og studerende fra professionshøjskoler og universiteter, og for forskere og konsulenter i hele landet.Der vil være workshops om konkrete STEM-aktiviteter og forløb, og mulighed for drøftelser og diskussioner med erfarne STEM-undervisere og pædagoger.Program for dagen følger