BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.16.3//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:LORIA
X-ORIGINAL-URL:https://www.loria.fr
X-WR-CALDESC:Évènements pour LORIA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20240331T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20241027T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251103T133000
DTEND;TZID=Europe/Paris:20251107T163000
DTSTAMP:20260609T200121
CREATED:20250909T132831Z
LAST-MODIFIED:20250909T142759Z
UID:28389-1762176600-1762533000@www.loria.fr
SUMMARY:QCOMICAL School 2025
DESCRIPTION:Quantum and Classical Programming Languages and Semantics.\n\n\nThe first QCOMICAL School provides a range of intensive courses and tutorials covering quantum computing and classical computing\, with a focus on programming language theory and formal semantics. These courses are delivered by leading researchers from the EU-funded QCOMICAL project (Marie Skłodowska-Curie Staff Exchanges). \n\nCOURSES :\n\n\n\nTutorial : Introduction to Quantum Computing — Simon Perdrix (Inria / LORIA)\nTutorial : Introduction to ZX Calculus — Miriam Backens (Inria / LORIA)\nQuantum Programming Languages — Benoît Valiron (CentraleSupélec)\nQuantum Linear Optics — Timothée Goubault de Brugière (Quandela)\nRealisability — Emmanuel Beffara (Université Grenoble Alpes)\nConcurrency — Michele Pinna (Università degli Studi di Cagliari)\nQuantitative Types — Pablo Barenbaum (Universidad de Buenos Aires)\n\n\nORGANISING COMMITTEE :\n– Kostia Chardonnet (Inria / LORIA)\n– Alejandro Díaz-Caro (Chair\, Inria / LORIA & UNQ)\n– Simon Perdrix (Inria / LORIA)\n\n– Benoît Valiron (CentraleSupélec) \n\nFUNDING :\n\n\nThe school is funded by the European Union through the Marie Skłodowska-Curie Actions – Staff Exchanges programme (MSCA-SE). \n\nREGISTRATION :\n\n\n* Free of charge; seats allocated on a first-come\, first-served basis.\n\n* Coffee breaks are included. Travel\, accommodation\, and lunches are at participants’ expense. \n\n  \n\n\n\n\nLink for registration : https://sondages.inria.fr/index.php/668754?lang=en
URL:https://www.loria.fr/event/qcomical_school_2025/
LOCATION:Loria
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251113T140000
DTEND;TZID=Europe/Paris:20251113T160000
DTSTAMP:20260609T200121
CREATED:20251113T083423Z
LAST-MODIFIED:20251113T083423Z
UID:28625-1763042400-1763049600@www.loria.fr
SUMMARY:Présentation : " RDF Query Answering in the Presence of Access Restrictions "
DESCRIPTION:Dans le cadre du projet IPCEI-CIS DXP (Data Exchange Platform)\, \n\nHritika Kathuria\, doctorante au sein de l’équipe CEDAR (Centre Inria de Saclay).\nfera une présentation sur l’interrogation de données RDF sous contraintes d’accès\n\nAbstract: We present our work exploring algorithms for answering conjunctive RDF queries in the presence of RDFS ontologies under access control constraints. We study a setting where users have full access to the RDF graph by default\, but explicit restrictions may forbid access to specific IRIs. Such restrictions affect both query evaluation and ontology-based inference: a restricted IRI cannot appear in query answers\, nor can triples involving it contribute to reasoning or entailment. We introduce a family of query answering algorithms designed for this restricted reasoning framework and establish the soundness and completeness of five of them with respect to both RDFS semantics and access policies. Finally\, we discuss our implementation and experimental evaluation\, highlighting the trade-offs between the algorithms in terms of performance and reasoning behavior.
URL:https://www.loria.fr/event/presentation-rdf-query-answering-in-the-presence-of-access-restrictions/
LOCATION:B013
CATEGORIES:Conférence
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251125T180000
DTEND;TZID=Europe/Paris:20251125T200000
DTSTAMP:20260609T200121
CREATED:20251104T130728Z
LAST-MODIFIED:20251124T140758Z
UID:28607-1764093600-1764100800@www.loria.fr
SUMMARY:Conférence " Parlons sciences : Peut-on avoir confiance dans le vote électronique ? "
DESCRIPTION:Fiabilité du scrutin\, confidentialité du vote\, confiance dans les résultats… les enjeux de ce mode d’élection sont nombreux. Eclairage par Véronique Cortier\, chercheuse en informatique\, spécialiste des protocoles de sécurité\nL’irruption des scrutins par voie électronique soulève de nombreux enjeux en termes de garanties de bon fonctionnement et de sécurité informatique : comment m’assurer que mon vote sera bien pris en compte ? Est-ce que mon voisin peut savoir comment j’ai voté ? Puis-je faire confiance au résultat annoncé ? Ces questions sont parfaitement légitimes et les systèmes de vote électronique n’y apportent pas encore de réponse complète. Mais les mêmes questions se posent pour les scrutins qui ont recours au « papier ».\n\nParlons sciences : Peut-on avoir confiance dans le vote électronique ?\n\nLors de cette conférence\, Véronique Cortier\, Directrice de recherche CNRS au Loria et médaille d’argent CNRS\, présentera les défis du vote électronique en termes de sécurité et témoignera du rôle des scientifiques en tant que tiers de confiance lors des élections législatives 2022.
URL:https://www.loria.fr/event/parlons-sciences/
LOCATION:Saint-Martin-d’Hères – Domaine universitaire Amphi G – Centre des Langues Vivantes 180 Allée des Amphis
CATEGORIES:Conférence
END:VEVENT
END:VCALENDAR