Dossier ATER - Ivan Varzinczak

Dossier ATER
Ivan José Varzinczak
ATER Université Toulouse 1
Laboratoire : IRIT/UPS/UT1
Thème de recherche : Raisonnement et Décision
Equipe : LILaC
Le présent dossier de candidature pour le poste d’ATER contient :
• Une lettre de motivation
• Un Curriculum Vitae
• La liste de mes enseignements, travaux et publications
• L’ensemble des documents administratifs démandés
• Une lettre de recommandation de mon directeur de thèse Andreas
Herzig
• Une lettre de recommandation de mon responsable d’enseignement
Laurent Perrusel
• Une lettre de recommandation de ma responsable d’enseignement Nathalie
Valles
• Une lettre de recommandation de mon responsable d’enseignement
Alain Berro
• Deux articles significatifs des recherches que j’ai menées au cours de
ma première année comme ATER
1
Ivan José Varzinczak (chez Belabbes)
99 route de Narbonne appt 10
31400 – Toulouse – France
Au Service du Personnel Enseignant
Université Sciences Sociales Toulouse I
2 rue du Doyen Gabriel Marty
31042 Toulouse Cedex 9
Objet : Candidature au poste d’ATER pour l’année 2007/2008
Madame, Monsieur,
Ayant une expérience de 10 années dans des activités d’enseignement supérieur, dont
un sémestre comme professeur remplaçant au Brésil, un sémestre comme vacataire et
un an comme ATER en France, en particulier dans les compétences que vous recherchez (informatique), je vous fais parvenir ma candidature au poste d’Attaché Temporaire
d’Enseignement et de Recherche.
Dans le cas où je suis accepté pour ce poste, j’envisage de réaliser les tâches suivantes
pendant l’année universitaire 2007/2008 :
– Bien assurer les cours, TDs ou TPs à l’Université Sciences Sociales Toulouse I.
– Me présenter à un concours de l’enseignement supérieur.
– Ayant soutenu ma thèse à la fin 2006, je projette de postuler aux prix de la meilleure
thèse ASTI et SPECIF 2007 (recommandé par le directeur de thèse).
– Soumettre des travaux aux conférences : KR (Principles of Knowledge Representation and Reasoning), ESWC (European Semantic Web Conference), et ECAI (European
Conference on Artificial Intelligence).
Je vous prie d’agréer, Madame, Monsieur, l’expression de mes salutations distinguées.
Ivan José Varzinczak
Ivan José VARZINCZAK
IRIT – Université de Toulouse 1 Sciences Sociales – Bureau ME310
2 rue du Doyen-Gabriel-Marty 31042 Toulouse Cedex 9 France
06 26 40 89 02
[email protected]
Né le 6 novembre 1978 (29 ans)
ATER, POSTE COMPLET U NIVERSIT É DE T OULOUSE 1
Laboratoire : IRIT/UT1
Équipe : LILaC (Logique, Interaction, Langage et Calcul)
F ORMATION
2002–2006 Doctorat Intelligence Artificielle, IRIT, Université Paul Sabatier, diplôme en 2006.
2001–2002 Master Informatique, Université Fédérale du Paraná (Brésil), diplôme en 2002.
1996–2000 Maı̂trise Informatique, Université Fédérale du Paraná (Brésil), diplôme en 2000.
T H ÈSE ET M ÉMOIRE
• IRIT/UPS :
What Is a Good Domain Description ? Evaluating & Revising Action Theories
in Dynamic Logic (Qu’est-ce qu’une bonne description de domaine ? Évaluation et révision de
théories d’action en logique dynamique) – Thèse de doctorat, soutenue en octobre 2006.
Directeur de thèse : Andreas Herzig (CNRS)
Rapporteurs : Guilherme Bittencourt (UFSC, Brésil), Marie-Christine Rousset (LSR–IMAG,
Grenoble), Michael Thielscher (Université de Dresden)
Examinateurs : Robert Demolombe (ONERA), Olivier Gasquet (UPS), Laurent Perrussel (UT1)
• UFPR
: Causalidade e dependência em raciocı́nio sobre ações (Causalité et dépendance
en raisonnement sur les actions) – Mémoire de master, soutenue en juin 2002.
Directeur de master : Marcos Castilho (UFPR)
Examinateurs : Marcelo Finger (USP), Michel Gagnon (UFPR)
L ANGUES
Brésilien (langue maternelle), Français, Anglais, Espagnol, Arabe (notions)
E NSEIGNEMENTS : COURS , TD ET TP ( TOTAL 475 HEURES )
• 2007–2008
ATER TD/TP 30h Architecture et Systèmes, Master 1 SIIO, Université de Toulouse 1
ATER TD/TP 72h C2i, L1, Université de Toulouse 1
• 2006–2007
ATER TD/TP 30h Bases de Données, L3, Université de Toulouse 1
ATER TD/TP 45h C2i, L1, Université de Toulouse 1
ATER TD/TP 27h C2i, L2, Université de Toulouse 1
• 2005–2006
Vacataire TD/TP 46h C2i, L1, Université de Toulouse 1
• 2001–2002
Chargé de Cours, 60h Programmation, L1, Université Fédérale du Paraná (Brésil)
• 1997–1999
Boursier Moniteur, TD/TP, 165h Programmation par objet, C, JAVA, Internet, Office, Université
Fédérale du Paraná (Brésil)
R ECHERCHE
• Publications (3 journaux/livres, 4 conférences internationales, 5 workshops internationaux)
Journaux et ouvrages de synthèse
• Metatheory of actions : beyond consistency, Andreas Herzig et Ivan J. Varzinczak, Artificial
Intelligence Journal, volume 171, numéro 16–17, 2007.
• On the Modularity of Theories, Andreas Herzig et Ivan J. Varzinczak, Advances in Modal Logic
Series, King’s College Publications, 2005.
• Regression in modal logic, Robert Demolombe, Andreas Herzig et Ivan J. Varzinczak, Journal of
Applied Non-Classical Logics, Volume 13, numéro 2, 2003.
Conférences internationales avec actes et comité de lecture
• A modularity approach for a fragment of ALC, Andreas Herzig et Ivan J. Varzinczak, 10th Eur.
Conf. on Logic in Artificial Intelligence (JELIA’2006), septembre 2006.
• Elaborating domain descriptions, Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak, 17th
Eur. Conf. on Artificial Intelligence (ECAI’2006), août 2006.
• Cohesion, coupling and the meta-theory of actions, Andreas Herzig et Ivan J. Varzinczak, 19th
Intl. Joint Conf. on Artificial Intelligence (IJCAI’2005), août 2005.
• Domain descriptions should be modular, Andreas Herzig et Ivan J. Varzinczak, 16th Eur. Conf.
on Artificial Intelligence (ECAI’2004), août 2004.
Workshops internationaux avec comité de lecture
• Elaborating domain descriptions, Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak, 11th
Intl. Workshop on Nonmonotonic Reasoning (NMR’2006), juin 2006.
• On modularity of theories (extended abstract), Andreas Herzig et Ivan J. Varzinczak, Advances
in Modal Logic (AiML’2004), septembre 2004.
• Domain descriptions should be modular, Andreas Herzig et Ivan J. Varzinczak, 10th Intl. Workshop on Nonmonotonic Reasoning (NMR’2004), juin 2004.
• Regression in modal logic, Robert Demolombe, Andreas Herzig et Ivan J. Varzinczak, Methods
for Modalities (M4M’2003), septembre 2003.
• It depends on the context ! A decidable logic of actions and plans based on a ternary dependence relation, Marcos A. Castilho, Andreas Herzig et Ivan J. Varzinczak, 9th Intl. Workshop on
Nonmonotonic Reasoning (NMR’2002), avril 2002.
• Comités de lecture (review d’articles)
!
!
!
!
!
!
!
!
LPAR (Logic for Programming Artificial Intelligence and Reasoning), 2007.
JLC (Journal of Logic and Computation), 2006.
AAMAS (Autonomous Agents and Multiagent systems), 2005.
JAL (Journal of Applied Logic), 2004.
JANCL (Journal of Applied Non-Classical Logics), 2003, 2004 et 2005.
KR (Principles of Knowledge Representation and Reasoning), 2003 et 2005.
ECAI (European Conference on Artificial Intelligence), 2004 et 2006.
IJCAI (International Joint Conference on Artificial Intelligence), 2005.
• Séminaires
! Update of nonclassical theories and its relation with the semantic web. STI International
Innsbruck, February 2008.
! Quand le monde change on va jouer aux fléchettes : modification de théories d’action.
Université de Toulouse 1, novembre 2007.
! Metatheory of Actions : Beyond Consistency. PALMYR (Paris-Amsterdam Logic Meeting of Young Researchers), Université d’Amsterdam, décembre 2006.
! Faut pas échaper au contrôle. IRIT/UPS, octobre 2006.
! Cohésion et couplage de théories d’action. Colloque des doctorants EDIT/UPS, mai
2006.
! What Is a Good Action Theory ?. Université Fédérale du Paraná, Brésil, décembre 2005.
! Regression in modal logic. IRIT/UPS, septembre 2003.
! Raisonnement sur des actions nondeterministes avec effets indirects. IRIT/UPS, juin 2003.
• Vie du Laboratoire
! Membre du comité local d’organisation du European Social Simulation Association Conference (ESSA’07), septembre 2007.
! Envoyé pour représenter l’IRIT au South African–French Collaboration in ICT R&D,
Cape Town, mars 2006.
! Membre du comité local d’organisation du World Congress on Paraconsistency (WCP’03),
juillet/août 2003.
E XP ÉRIENCE PROFESSIONNELLE
• Université de Toulouse 1
ATER
2006/2008
Recherche en intelligence artificielle. Enseignements en bases de données, systèmes et C2i (certificat informatique et internet).
• CINQ Technologies (Brésil)
Analyste programmeur et administrateur réseau
2000/2001
Programmation C++ et administration de réseaux linux
• Département d’Informatique Université Fédérale du Paraná
Administrateur de réseaux
1999/2000
Stage chez TReCo (Time de Recursos Computacionais do Departamento de Informática da UFPR).
• Département de Physique Université Fédérale du Paraná
Auxiliaire de recherche et administrateur réseau
février à juillet 1999
Stage chez le Groupe de Météorologie.
D IVERS
! Interview donnée à la télé Araucária, chaı̂ne 23, Brésil : 11 janvier 2008.
! Voyages dans 38 pays en Europe, Afrique, Asie et Moyen-Orient
! Lauréat au concours La francophonie dans tous ses états, organisé par l’ambassade de
France au Brésil en 2000.
Liste des Travaux
Ivan José Varzinczak
1
Enseignement et expérience professionnelle
1. ATER à l’Université Toulouse 1 (102 heures d’enseignement)
• TD/TP C2i Entreprendre et Echanger, septembre–octobre 2006.
• TD/TP C2i Elaborer et Editer, février–mai 2007.
• TD/TP Bases de Données, février–mai 2007.
2. Vacations à l’Université Toulouse 1 (46 heures d’enseignement)
• TD/TP C2i Entreprendre et Echanger, septembre–octobre 2005.
3. Enseignement à l’Université Fédérale du Paraná – Brésil (225
heures d’enseignement)
• Cours Programmation L1, 2001/2002 (60 heures d’enseigement).
• TD Langage JAVA L1, octobre 1998, mai et octobre 1999 (45
heures d’enseignement).
• TD Programmation par objets L2, octobre 1998, mai et octobre
1999 (45 heures d’enseignement).
• TD/TP Linux L1, juin, octobre et novembre 1999 (45 heures
d’enseignement).
• TD Langage C L1, septembre 1997 (15 heures d’enseignement).
• TD/TP Internet L1, octobre 1997 (15 heures d’enseignement).
4. Analyste programmeur
• CINQ Technologies, 2000/2001.
1
5. Administrateur de réseaux
• Stage chez TReCo – Time de Recursos Computacionais do Departamento de Informática da UFPR, juillet 1999 à juillet 2000.
• Stage au Groupe de Météorologie – Département de Physique de
l’Université Fédérale du Paraná, février à juillet 1999.
2
Publications
Thèses et mémoires
• Ivan J. Varzinczak. “What Is a Good Domain Description? Evaluating and Revising Action Theories in Dynamic Logic” (Qu’est-ce qu’une
bonne description de domaine ? Evaluation et révision de théories
d’action en logique dynamique). Thèse de doctorat. Directeur de
thèse : Andreas Herzig (CNRS). Institut de Recherche en Informatique de Toulouse (IRIT), Université Paul Sabatier. Soutenue le 27
octobre 2006.
• Ivan J. Varzinczak. Causalidade e dependência em raciocı́nio sobre
ações (“Causalité et dépendance en raisonnement sur les actions”).
Mémoire de Master. Directeur de recherche : Marcos Castilho. Université Fédérale du Paraná. Soutenue le 6 juin 2002.
Journaux et ouvrages de synthèse (total 3)
• Andreas Herzig et Ivan J. Varzinczak. Metatheory of actions: beyond
consistency. A paraı̂tre dans Artificial Intelligence Journal en 2007.
• Andreas Herzig et Ivan J. Varzinczak. On the Modularity of Theories.
Advances in Modal Logic Series, King’s College Publications, 2005 (en
anglais).
• Robert Demolombe, Andreas Herzig et Ivan J. Varzinczak. Regression
in modal logic. Journal of Applied Non-Classical Logics. Volume 13,
numéro 2/2003 (en anglais).
2
Conférences avec actes et commité de lecture (total 4)
• Andreas Herzig et Ivan J. Varzinczak. A modularity approach for
a fragment of ALC. European Conference on Logic in Artificial Intelligence (JELIA’2006), Liverpool, Angleterre, septembre 2006 (en
anglais).
• Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak. Elaborating domain descriptions. Seventeenth European Conference on Artificial Intelligence (ECAI’2006). Riva del Garda, Italie, août 2006 (en
anglais).
• Andreas Herzig et Ivan J. Varzinczak. Cohesion, coupling and the
meta-theory of actions. Proc. 19th Int. Joint Conf. on Artificial
Intelligence (IJCAI’2005). Edimburg, Ecosse, août 2005 (en anglais).
• Andreas Herzig et Ivan J. Varzinczak. Domain descriptions should
be modular. Sixteenth European Conference on Artificial Intelligence
(ECAI’2004). Valence, Espagne, août 2004 (en anglais).
Workshops avec commité de lecture (total 7)
• Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak. Elaborating
domain descriptions. Eleventh International Workshop on Nonmonotonic Reasoning (NMR’2006). Lake District, Angleterre, juin 2006 (en
anglais).
• Andreas Herzig et Ivan J. Varzinczak. On modularity of theories. (extended abstract) Advances in Modal Logic (AiML’2004). Manchester,
Angleterre, septembre 2004 (en anglais).
• Andreas Herzig et Ivan J. Varzinczak. Domain descriptions should be
modular. Tenth International Workshop on Nonmonotonic Reasoning
(NMR’2004). Whistler, Canada, juin 2004 (en anglais).
• Andreas Herzig et Ivan J. Varzinczak. Domain descriptions should be
modular (preliminary report). Journées Nationales sur les Modèles
de Raisonnement (JNMR’2003). Paris, France, novembre 2003 (en
anglais).
3
• Robert Demolombe, Andreas Herzig et Ivan J. Varzinczak. Regression
in modal logic. Methods for Modalities 2003 (M4M’2003). Nancy,
France, septembre 2003 (en anglais).
• Marcos A. Castilho, Andreas Herzig et Ivan J. Varzinczak. It depends
on the context! A decidable logic of actions and plans based on a
ternary dependence relation. Ninth International Workshop on Nonmonotonic Reasoning (NMR’2002). Toulouse, France, avril 2002 (en
anglais).
• Ivan J. Varzinczak e Marcos A. Castilho. Causalidade e dependência
em raciocı́nio sobre ações. Workshop de Teses e Dissertações em Inteligência Artificial (WTDIA 2002). Porto de Galinhas, PE, novembre
2002 (en brésilien).
Rapports techniques
• Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak. Contracting TBoxes: the importance of being modular. Rapport Technique
IRIT/RR–2006-24-FR. Institut de Recherche en Informatique de Toulouse
(IRIT), octobre 2006 (en anglais).
• Andreas Herzig, Laurent Perrussel et Ivan J. Varzinczak. Elaborating
domain descriptions (preliminary report). Rapport Technique IRIT/RT–
2006-01–FR. Institut de Recherche en Informatique de Toulouse (IRIT),
janvier 2006 (en anglais).
• Andreas Herzig et Ivan J. Varzinczak. An assessment of actions with
indeterminate and indirect effects in some causal approaches. Rapport
Technique IRIT/2004-08-R. Institut de Recherche en Informatique de
Toulouse (IRIT), mai 2004 (en anglais).
Posters et résumés en des workshops reviewés
• Andreas Herzig et Ivan J. Varzinczak. Cohésion et couplage de théories
d’actions. Coloque des doctorants de l’école doctorale EDIT, Université
Paul Sabatier). Mai 2006.
4
• Ivan J. Varzinczak e Marcos A. Castilho. Causalidade e dependência
em raciocı́nio sobre ações. CTD’2003 - Concurso de Teses e Dissertações do XXIII Congresso da Sociedade Brasileira de Computação.
Campinas, SP, août 2003 (en brésilien).
• Ivan J. Varzinczak. Uma investigação dos problemas do quadro e da
ramificação em raciocı́nio sobre ações usando relações de dependência.
I Encontro de Pós-Graduação da Universidade Federal do Paraná. Curitiba, 2001 (en brésilien).
• Ivan J. Varzinczak. Provadores automáticos de teoremas para lógica
monomodal proposicional. VIII Evento de Iniciação Cientı́fica da Universidade Federal do Paraná. Curitiba, octobre 2000 (en brésilien).
Divers
• Ivan J. Varzinczak. Provadores automáticos de teoremas para as lógicas
monomodais proposicionais K e S4. Rapport de maı̂trise. Curitiba,
août 2000 (en brésilien).
• Ivan J. Varzinczak. La plus belle fleur. Texte lauréat au concours “La
Francophonie dans tous ses États”, organisé par l’Ambassade de France
au Brésil, juin 2000.
• Ivan J. Varzinczak. Algoritmos de Circunscrição. Rapport de maı̂trise.
Curitiba, décembre 1999 (en brésilien).
3
Participations à des conférences
• XVI JELIA : European Conference on Logic in Artificial Intelligence
(2006).
• XVII ECAI : European Conference on Artificial Intelligence (2006).
• South African–French Collaboration in ICT R&D. (Envoyé pour représenter
l’IRIT/CNRS.) Mars 2006.
• XVI ECAI : European Conference on Artificial Intelligence (2004).
• Workshop TARSKI (2004).
5
• Journées nationales sur les modèles de raisonnement (2003).
• Methods for Modalities (2003).
• III World Congress on Paraconsistency (2003).
• Assises Nationales du GDR I3 (2002).
• Advances in Modal Logics (2002)
• X Simpósio Brasileiro de Informática na Educação (1999).
• XIX Congresso da Sociedade Brasileira de Computação (1999).
• XVIII Congresso da Sociedade Brasileira de Computação (1998).
• XIII Simpósio Brasileiro de Bancos de Dados (1998).
• XII Simpósio Brasileiro de Engenharia de Software (1998).
• X SiBGraPI - Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (1997).
• XVII Congresso da Sociedade Brasileira de Computação (1997);
• EVINCI - Evento de Iniciação Cientı́fica (1998, 1999, 2000).
6