http://lipn.univ-paris13.fr/wiki/ 2026-04-26T09:07:45+00:00 http://lipn.univ-paris13.fr/wiki/ http://lipn.univ-paris13.fr/wiki/lib/tpl/bootstrap3/images/favicon.ico text/html 2020-10-05T16:01:06+00:00 Anonymous (anonymous@undisclosed.example.com) http://lipn.univ-paris13.fr/wiki/doku.php?id=equipes:love:accueil&rev=1601913666&do=diff LoVe team wiki The LoVe team is split into two groups, the Logic Axis and Verification Axis axes. text/html 2020-10-06T12:36:36+00:00 Anonymous (anonymous@undisclosed.example.com) http://lipn.univ-paris13.fr/wiki/doku.php?id=equipes:love:logique&rev=1601987796&do=diff Logic Axis We decided that each member of the logic axis would write a one-page scientific statement to foster interactions. Check the dedicated page: Scientific statements (log in required; only accessible for the team members). The events page will contain information on the team's seminar as well as the current working groups: text/html 2020-10-05T16:02:14+00:00 Anonymous (anonymous@undisclosed.example.com) http://lipn.univ-paris13.fr/wiki/doku.php?id=equipes:love:verification&rev=1601913734&do=diff Verification Axis