Filtyp
We prove the first hardness results against efficient proof search by quantum algorithms. We show that under Learning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weakly automate TC0-Frege. This extends the line of results of Krajíček and Pudlák (Information and Computation, 1998), Bonet, Pitassi, and Raz (FOCS, 1997), and Bonet, Domingo, Gavaldà
Almost 20 years ago, the Swedish civil contingency agency (MSB) representatives published a general advice on fire protection at camping facilities. Within this document there contains advice on what distances are needed between camping units to reduce the risk of fire spreading between them, however how these distances were decided on is lost to history and given the changes and development in ca
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Respons
Flood risk mitigation requires collaborative governance that involves many and diverse actors. The capacity of municipal administrations to anticipate and adapt plays a crucial role in addressing flood risk in the Nordic region. However, although flood risk often spans boundaries, each organisation's governance capacity depends largely on the formation of collaborative ties among involved politici
4 November 2026 09:00 to 16:00 | Conference Welcome to a whole-day seminar about artistic research data, at Inter Arts Center (IAC), Faculty of Arts, University of Lund. Save the date! More information will be added closer to the date.The program will contain inspirational lectures about different aspect of working with artistic research data, along with group discussions. There will also be an in
https://www.staff.lu.se/calendar/artistic-research-data-practices-perspectives-and-potential - 2026-06-01
15 högskolepoäng Om kursenUnder kursen får du lära dig om allt från genetiska mekanismer på molekylnivå till hur dessa påverkar individen, populationen och evolutionen. Vi går igenom viktiga processer som meios och rekombination, nedärvningsprinciper, könsbestämning, hur man kartlägger gener och analyserar kromosomer. Kursen täcker också hur gener uttrycks och regleras i olika organismer, hur den
https://www.biologiutbildning.lu.se/utbildning/kurser/grundkurser/genetik-och-evolution-bioa11 - 2026-05-31
Här hittar du information om arbetsställe och hur du ska göra för att knyta arbetsställe till en anställning eller ändra det vid behov. Arbetsställenummer ska anges för samtliga personer som utfört arbete och där arbetsgivare har betalat kontant bruttolön eller annan ekonomisk ersättning.Enligt Statistikmyndigheten SCB:s definition är ett arbetsställe en adress, fastighet eller grupp av närliggand
https://www.hr-webben.lu.se/primula-hr/riktlinjer-registreringar/arbetsstalle - 2026-05-31
Bostadsval och hälsa hos den åldrande befolkningen i Sverige Syftet med projektet Register RELOC-AGE är att öka kunskapen kring hur boendeaspekter och byte av boende påverkar aktivt och hälsosamt åldrande, både på kort och lång sikt. Exempel på frågeställningar är i vilken utsträckning boendemiljön förklarar och påverkar hälsa och välbefinnande. Påverkas dessa samband av ytterligare faktorer såsom
https://www.case.lu.se/reloc-age/reloc-age-registerstudie - 2026-05-31
Doctoral student Contact details Email: jacob [dot] korczynski [at] khm [dot] lu [dot] seOrganisation Malmö Art Academy WebpageJacob Korczynskis profile in Lund University research portalJacob Korczynski is a curator based on the lands of Treaty 13 known as Toronto. He has curated projects for the Stedelijk Museum, Cooper Cole, Western Front, and the Badischer Kunstverein, and his writing has been
https://www.khm.lu.se/en/jacob-korczynski - 2026-05-31
KUTE02 | FRISTÅENDE KURS | 7,5 HP Är du intresserad av att jobba med scenkonst med barn och unga? Vill du lära dig mer om att använda konceptuella scenkonstmetoder? Är du eller vill du bli verksam inom Kulturskolan eller annan verksamhet? I så fall är denna kurs något för dig! Den här kursen fokuserar på att undersöka olika perspektiv och förhållningssätt till att regissera konceptuell scenkonst m
https://www.thm.lu.se/regissera-konceptuell-scenkonst-med-barn-och-unga - 2026-05-31
4 november 2026 09:00 till 16:00 | Konferens Welcome to a whole-day seminar about artistic research data, at Inter Arts Center (IAC), Faculty of Arts, University of Lund. Save the date! More information will be added closer to the date.The program will contain inspirational lectures about different aspect of working with artistic research data, along with group discussions. There will also be an i
https://www.konstnarliga.lu.se/evenemang/artistic-research-data-practics-perspectives-and-potential - 2026-05-31
Swedish national graduate school on ageing and health SWEAH är en tvärvetenskaplig forskarskola inom åldrande och hälsa som koordineras av Lunds universitet. Forskarskolan SWEAH bidrar till utvecklingen av en ny generation av forskare inom åldrande och hälsa. För närvarande är tretton lärosäten är anslutna till forskarskolan. Utvärderingsrapport SWEAH 2025 SWEAH:s strategiska plan Lista med SWEAH:
https://sweah.lu.se/sweah-mer-en-forskarskola - 2026-05-31
På den här sidan kan du läsa om hur du ska göra när du ska göra en direktupphandling. Institutioner och motsvarande enheter får direktupphandla när avtal saknas och värdet på det som ska köpas understiger 700 000 SEK. För att kunna genomföra en direktupphandling där värdet överstiger 100 000 SEK måste du ha rollen ”Inköpare” i Kommers. Du ansöker om behörigheten i Lucat. Du behöver även ha behörig
https://www.medarbetarwebben.lu.se/stod-och-verktyg/inkop-faktura-ekonomi/inkop-och-upphandling/direktupphandling - 2026-05-31
Miljöstyrning i näringslivet ger en bred introduktion till teoretiska och praktiska aspekter av miljöstyrning och strategiskt hållbarhetsarbete i företag. Näringslivets beslut och processer spelar en central roll för hur miljö, sociala förhållanden och ekonomi påverkas i vårt samhälle och är därför av avgörande betydelse för att vi ska kunna genomföra de ansenliga förändringar som krävs för en öve
https://www.cec.lu.se/sv/utbildning/program-och-kurser-i-miljovetenskap/kurser/miljostyrning-i-naringslivet-15hp - 2026-05-31
