BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//LORIA - ECPv6.17.3.1//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:20250204T130000
DTEND;TZID=Europe/Paris:20250204T140000
DTSTAMP:20250122T135849Z
CREATED:20250122T135322Z
LAST-MODIFIED:20250122T135849Z
UID:27108-1738674000-1738677600@www.loria.fr
SUMMARY:[Formal Methods Seminar] The Squirrel Prover
DESCRIPTION:The next D2 seminar\, entitled “The Squirrel Prover”\, by Charlie Jacomme\, will be held on February 4 at 1:00 pm in room A008. \nAbstract\nThe Squirrel Prover is a proof assistant dedicated to cryptographic protocols. It relies on a higher-order logic following the computationally complete symbolic attacker approach. It thus provides guarantees in the computational model. In this talk\, we will introduce the main ingredients underlying its logic and proof system\, trying to outline why it does yield computational guarantees and how it allows to reason over protocols. We will then cover the current development status of Squirrel\, showcasing its current features and expressivity. \nMore information on the department’s website
URL:https://www.loria.fr/event/formal-methods-seminar-the-squirrel-prover/
LOCATION:A008
CATEGORIES:Séminaire
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20250228T103000
DTEND;TZID=Europe/Paris:20250228T120000
DTSTAMP:20250204T090445Z
CREATED:20250131T132628Z
LAST-MODIFIED:20250204T090445Z
UID:27256-1740738600-1740744000@www.loria.fr
SUMMARY:D5 Seminar: Interactive molecular visualization and simulation
DESCRIPTION:The next D5 Seminar\, « Interactive molecular visualization and simulation: examples with UDock and VTX » will be held by Pr. Matthieu Montes\, from Le CNAM\, laboratory of Génomique\, bioinformatique et chimie moléculaire (GBCM). The event will take place on Friday\, February 28 at 10:30 a.m. in room A008. \nAbstract:\nUDock (available at https://udock.fr and on gitlab): Originally developed to gamify protein-protein docking\, UDock is now an interactive multibody molecular docking software designed to explore protein interactions for research purposes but also for teaching and popularization of science due to its high usability. In UDock\, the users tackle the conformational space of protein interfaces using an intuitive real-time docking procedure with on-the-fly scoring. UDock2 integrates traditional computer graphics methods to facilitate the visualization and to provide better insight into protein surfaces\, interfaces\, and properties. \n VTX (available at http://vtx.drugdesign.fr and on github)\, is a high-performance molecular visualization software. VTX is optimized to handle efficiently the big data from High Performance Computing Molecular Dynamics Simulation. Its high-performance 3D engine includes cutting-edge computer graphics methods capable of handling large and dynamic molecular scenes on a standard laptop computer. It also offers a video game based minimalistic task-oriented graphical user interface to maximize its usability and comfort of use.
URL:https://www.loria.fr/event/d5-seminar-interactive-molecular-visualization-and-simulation/
CATEGORIES:Séminaire
END:VEVENT
END:VCALENDAR