2019 och senare
22 October
MIAO video seminar: Verified proof checkers
Tid: 2021-10-22 14:00 till 16:00 Typ: Seminarium
[Läs mer]Msc. by Olhager: Robust Reinforcement Learning Control of a Furuta Pendulum
Tid: 2021-10-22 09:30 till 10:15 Typ: Seminarium
[Läs mer]20 October
Msc. by Fernández: Automated construction supervision by Augmented Reality with a commercial robot (Spot from Boston Dynamics)
Tid: 2021-10-20 16:15 till 17:00 Typ: Seminarium
[Läs mer]Seminar by Dongjun Wu: Geometric Contraction Analysis with Applications
Tid: 2021-10-20 09:00 till 09:45 Typ: Seminarium
[Läs mer]15 October
MIAO video seminar: Logic-based explainable AI
Tid: 2021-10-15 10:00 till 12:00 Typ: Seminarium
[Läs mer]06 October
AI Lund lunch seminar: Vision based motion tracking of surgical instruments in 3D space
Tid: 2021-10-06 12:00 till 13:15 Typ: Seminarium
[Läs mer]04 October
MIAO video seminar: Monotone arithmetic lower bounds via communication complexity
Tid: 2021-10-04 14:00 till 16:00 Typ: Seminarium
[Läs mer]01 October
CS MSc Thesis Zoom Presentation 1 October 2021
Tid: 2021-10-01 13:15 till 14:00 Typ: Föreläsning
[Läs mer]23 September
CS MSc Thesis Zoom Presentation 23 September 2021
Tid: 2021-09-23 13:00 till 14:00 Typ: Föreläsning
[Läs mer]20 September
MIAO video seminar: KRW composition theorems via lifting
Tid: 2021-09-20 14:00 till 16:00 Typ: Seminarium
[Läs mer]17 September
MIAO video seminar: Estimating the size of unions of sets in streaming model
Tid: 2021-09-17 14:15 till 16:00 Typ: Seminarium
[Läs mer]06 September
MIAO video seminar: Lifting with sunflowers
Tid: 2021-09-06 14:00 till 16:00 Typ: Seminarium
[Läs mer]27 August
MIAO video seminar: Who is Isabelle, and why is she so picky about my proofs?
Tid: 2021-08-27 10:00 till 12:00 Typ: Seminarium
[Läs mer]26 August
CS MSc Thesis Presentation Day August 26
Tid: 2021-08-26 10:15 till 12:00 Typ: Föreläsning
[Läs mer]23 August
Msc. by Choumans: Compliance of a Robot Arm using Torque-Based Cartesian Impedance Control
Tid: 2021-08-23 16:00 till 17:00 Typ: Seminarium
[Läs mer]21 June
Additional CS MSc Thesis Zoom Presentations 21 June 2021
Tid: 2021-06-21 13:15 till 14:00 Typ: Föreläsning
[Läs mer]18 June
PhD defence: ComPOS - a domain-specific language for composing Internet-of-things systems (Alfred Åkesson)
Tid: 2021-06-18 13:15 till 18:00 Typ: Seminarium
[Läs mer]11 June
CS BSc Thesis Zoom Presentation 11 June 2021
Tid: 2021-06-11 11:15 till 12:00 Typ: Föreläsning
[Läs mer]