FPS 2022
12/14 decembre, Ottawa
FPS 2022
ECW 2022
novembre, Rennes
invitation à
ECW 2022
SCN 2022
mai, Metz
invité par la Section Criminalistique Numérique - Grand Est
ALGOS 2020
août, Nancy
ALGOS 2020
Malcon - 2019
october, Nantucket
Malcon 2019
Journées Claude Pair - 2019
juin, Nancy
invitation à
Claude Pair
IMT 2016
8 novembre, Nancy
Bourse aux technologies de l'IMT
FPS 2016
October 24-26, Quebec, Canada
https://www.fps2016.fsg.ulaval.ca
CLA 2016
September 5-9, Obergurgl, Austria
http://cl-informatik.uibk.ac.at/events/cla-2016/
RESSI 2016
10-13 Mai, Toulouse
ressi2016.sciencesconf.org
Topology and languages
June 22-24, Toulouse
http://www.math.univ-toulouse.fr/~deloup/TopComp2016/Journees2016
Term Rewriting System
February 22-23, Kanazawa
http://www.jaist.ac.jp/~mizuhito/44th-trs-meeting.html
Intelligent Robotics
February 24-25, Kanazawa
http://www.jaist.ac.jp/logic/meeting-workshop/138
Botconf'15 -- The botnet fighting conference
December 2-4, Paris
https://www.botconf.eu/
Malware Conference
October 18-20, Porto-Rico
http://isiom.wssrl.org/
Conference on Computer and Communications Security
October 12-16, Denver
http://www.sigsac.org/ccs/CCS2015/
Computability in Europe 2015
June 29-July 3, Bucarest, Roumanie
http://fmi.unibuc.ro/CiE2015/
ANR Elica - Expanding Logical Ideas for Complexity Analysis
2014-2018
http://lipn.univ-paris13.fr/~mazza/Elica/
Low-level Code Analysis for Security
1 August 2015 - Berlin, Germany
http://www.jaist.ac.jp/~mizuhito/LOCAS15/
Developments in Implicit Computational Complexity
12 April 2015 - London, UK
http://dice15.computing.dundee.ac.uk
Logic and Computational Complexity
July 4-5, 2015 - Kyoto, Japon
http://www.cs.swansea.ac.uk/lcc/
Foundations and Practice of Security
26--28 October 2015 - Clermont-Ferrand, France
http://confiance-numerique.clermont-universite.fr/fps2015/
Low Level Code Analysis and Application to Computer Security
2--5 March 2015 - Shonan Village, Japon
http://shonan.nii.ac.jp/seminar/065/
Program Protection and Reverse Engineering Workshop
December 9, 2014 - New Orleans, USA
http://www.pprew.org/
Botconf 2014
3rd-5th, december 2014 - Nancy
Botconf 2014
C&ESAR 2014
24th-26th, november 2014 - Rennes
http://www.cesar-conference.org/
FPS 2014
3rd-5th, november 2014 - Montreal, Canada
The 7th International Symposium on Foundations & Practice of Security
TERMGRAPH 2014
9th-24th, july 2014 - Vienna Austria
http://cl-informatik.uibk.ac.at/events/termgraph-2014/
an event of the 'Vienna Summer of Logic 2014',
http://vsl2014.at/
Forum International de la Cybercriminalité
21-22 janvier 2014 - Lille
http://www.forum-fic.com/2014/fr/
Program Protection and Reverse Engineering Workshop
Vendredi 10 janvier 2014 - San Diego, USA
http://www.pprew.org/
Foundations and Practice of Security 2013
Mercredi 1 janvier 2014 - La Rochelle
http://conferences.telecom-bretagne.eu/fps/2013/
Botconf 2013
Jeudi 19 décembre 2013 - Nantes
https://www.botconf.eu/
Shonan Meeting on Implicit Computational Complexity
Lundi 11 novembre 2013 - Japon
Implicit computational complexity
slides
