Curriculum Vitae. Eduardo Leopoldo Fermé. 20/03/2013 Index

Transcrição

1 Curriculum Vitae Eduardo Leopoldo Fermé 20/03/2013 Index Personal information... 2 Education... 3 Academic Degrees... 3 Languages... 3 Scholarships... 3 Activities in Universities... 4 Teaching Experience... 5 Academic Positions... 5 Lecturing... 5 Supervision... 6 PhD... 6 M.Sc. Pre-Bologna... 7 M.Sc. Post-Bologna st Degree... 7 Research Activities... 9 Participation in Research Centres... 9 Research Grants... 9 as Grant Holder... 9 As Senior Researcher As Junior Researcher Internships and short visits Committees and Reviewing Activity PhD Thesis, Academic and Research Positions and Scientific Projects Academic Journals and Books Congress and Scientific Events Invited Talks and Tutorials Participation in Scientific Meetings Publications Edited Books/ Special Issue of Journals Peer-Reviewed International Journals Peer-Reviewed National or Regional Journals Book Chapters Refereed Conference Publications Thesis and Monographs Lecture Notes Industrial or commercial activities /1

2 Personal information Name Gender Date and place of birth Nationality National identification numbers Passaport Address Webpage Eduardo Leopoldo Fermé. Male 10/11/1964 Buenos Aires, Argentina. Argentinean / Portuguese Argentina Portugal N Argentina. // L Portugal Centro de Competências das Ciências Exactas e da Engenharia. Universidade da Madeira. Campus Universitário da Penteada Funchal. Madeira. Portugal Telefone Fax ferme@uma.pt. Current Position Associate Professor with Aggregation Centre of Exact Sciences and Engineering (CEE). University of Madeira. Portugal Professor of Madeira Interactive Technologies Institute (M-ITI). Faculty at CMU Portugal Masters Program in HCI. /2

3 Education Academic Degrees 2011 PhD in Philosophy. Royal Institute of Technology (KTH), Sweden. Supervisor: John Cantwell Provas de Agregação in Informatics Engineering Branch Artificial Intelligence. University of Madeira (UMa) PhD in Computer Science (summa cum laude). University of Buenos Aires (UBA). Argentina. Supervisor Carlos E. Alchourrón (until his death in 1996) - Sven Ove Hansson. Awarded with the 2nd place in the II Ibero-American Thesis and Dissertation Contest. Iberamia-Sbia. São Paulo. Brazil Licenciado en Ciencias de la Computación. Computer Science Department (DC). UBA. Languages Understanding Speaking Writing Spanish Mother Tongue English Very Good Good Good Italian Very Good Very Good Good Portuguese Very Good Very Good Good Scholarships Awarded a research fellowship from the Swedish Institute, to fund one year of research activity in Sweden. This fellowship was used to support partially my stay in Sweden during the third year of my PhD in Computer Science Awarded a research fellowship from the International Bank for Reconstruction and Development (IBRD). This fellowship supported my PhD studies in Computer Science This fellowship supports my research activities in the DC, UBA. /3

4 Activities in Universities (in bold the most relevant) From 2012 Course Director. 1st Degree in Informatics Engineering. UMa Head of Scientific Council M-ITI Course Director. Master in Informatics Engineering. UMa Member of the Scientific Council CEE-UMa Member of the Pedagogic Council CEE-UMa Member of the Assembly CEE-UMa Head of Department. Mathematics and Engineering Department (DME) - UMa Member of Course Council 1 st Degree in Informatics Education - UMa Course Director. 1st Degree in Informatics Engineering. UMa Senator (representing DME-PhDs) - UMa Coordinator of the task force responsible for the adequacy to Bologna Process of the 1 st Degree in Informatics Education and 1 st Degree in Mathematics Education. UMa Member of Course Council. 1st Degree in Mathematics. UMa Member of Course Council. Master in Informatics Engineering. UMa Member of Course Council. 1st Degree in Informatics Engineering. UMa Course Director. 1 st Degree in Informatics Education. UMa Member of Scientific Council. DME. UMa and Member of Course Council. 1st Degree in Telecommunication and Network Engineering. UMa Member of the Departmental Council (CoDep) CD-UBA Member of the council responsible for revising the Computer Science curricula of UBA. /4

5 Teaching Experience Academic Positions From 2005 Associate Professor with Aggregation. CEE (from 2009) ( DME) UMa Associate Professor. DME - UMa Assistant Professor. DME - UMa Assistant Professor. DC. UBA Teaching Assistant (Jefe de Trabajos Practicos). DC. UBA Teachhing Assistant (Ayudante de Primera). DC. UBA Student teaching assistant (Ayudante de Segunda). CBC. UBA. Lecturing At UMa Pre-Bolonha Master Project Management and Decision-Making Master in Strategic Management and Tourism Development. Department of Economics UMa. Requirement Engineering and Software Project Management. Master in Informatics Engineering. DME-UMa. 2006/2007 2nd term 2004/2005 2nd term. 1 st Degree Logic and Reasoning 2nd term, 2007/2008, 2008/2009, 2009/2010, 2010/2011, 2011/2012. Artificial Intelligence 1 st term, 2008/2009, 2009/2010, 2010/2011, 2011/2012, 2012/ nd term 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008. Logic / Computational Logic 1 st term 2002/2003, 2003/2004, 2004/2005, 2005/2006, 2006/2007, 2007/2008 Computability and Complexity 1 st term 2002/2003, 2003/2004, 2004/2005, 2005/2006. Requirement Engineering 2nd term 2003/2004, 2004/2005, 2005/2006. Deontology 2002/2003 2nd term /5

6 At UBA 1 st Degree Software Engineering II (Software Project Management) Algorithms and Data Structures Artificial Intelligence 4 times as Assistant Professor 3 times as Assistant Professor 5 times as Teaching Assistant Graduate Belief Revision Non Monotonic Logic Conditional Logic Knowledge Bases Update 4 times as Assistant Professor 5 times as Teaching Assistant 2 times as Assistant Professor. 1 time as Assistant Professor 3 times as Teaching Assistant Supervision PhD 2011 Mauricio Duarte Luis Reis. Title: On Theory Multiple Contraction. PhD in Mathematics Branch Logic and Computer Science. CEE-UMa Ongoing (jointly oriented with Sven Ove Hansson) Rui Correia Title: TBD Royal Institute of Technology (KTH), Sweden. Ongoing (jointly oriented with Elsa Fernandes) Rui Duarte Fernandes Brás. PhD in Informatics Engineering Branch Artificial Intelligence. CEE - UMa. Topic: Representation and modelling of knowledge, activities and relations in communities of practices. Ongoing (jointly oriented with Elsa Fernandes) Elci Alcione dos Santos. PhD in Mathematics Education CEE - UMa. Topic: The use of Robots in collaborative learning in a web environment. /6

7 M.Sc. Pre-Bologna 2008 Luís Alberto da Silva Gaspar. "Os robots nas aulas de informática: Plataformas e problemas". Master in Informatics Engineering. DME UMa (jointly oriented with Elsa Fernandes) Rui Miguel Novais Oliveira. Title: A robótica na aprendizagem da matemática: Um estudo com alunos de 8º ano de escolaridade. Master in Mathematics Education. DME UMa (jointly oriented with Elsa Fernandes) Rui Duarte Fernandes Brás. Title: Gestão de Conhecimento e Comunidades de Prática: Aplicações no Contexto Escolar. Master in Informatics Engineering. DME UMa. M.Sc. Post-Bologna 2012 Paulo Jorge de Abreu Title: Gestão de Projectos: Motivação, Projectos e Análise. CCCEE UMa Raúl Duarte Nóbrega Andrade Title: Criação de uma Estação de Testes para um Micro- Helicóptero Autónomo. CCCEE UMa Cláudio Rodrigo Santos Gonçalves Title: Argumentative Systems in Robots. CCCEE UMa Marco Miguel de Olival Olim Title: Design e Gestão de Sistemas, Robótica, Redes e Médias Interactivos. CCCEE UMa António Paulo Dias Pestana Tittle: Dados, Informação, Conhecimento, Ensino de Programação, a Inteligência Empresarial e as suas Motivações. CCCEE UMa Octavia Figueira. Title: DROIDE M.L.P.: potencializando a plataforma Master in Informatics Engineering. DME UMa Hélder Pestana. Title: DROIDE M.L.P: nxt software development kit. Master in Informatics Engineering. DME UMa. 1 st Degree University of Madeira (projects) 2006/2007 Graciete Sofia Freitas Tavares - Carlos Herberto Aleixo Reis. /7

8 Title: UMa C&T. 1 st Degree in Informatics Engineering. DME UMa. 2005/2006 Luís Manuel Gomes Dias - Milton Alex Pestana Abreu. Title: Aplicação Web gestora de processo de formação da DTIM. 1st Degree in Informatics Engineering - DME UMa. 2005/2006 Cláudio César Gouveia Pedro Ítalo Rolim de Freitas Mala. Title: Análise e Gestão de Projecto do Sistema de Gestão Bibliotecária da Uma 1 st Degree in Informatics Engineering. DME UMa. 2004/2005 Susana Figueira. Title: Análise e Especificação de Requisitos para o sistema Mapa Interactivo do Funchal. 1 st Degree in Telecommunications and Networks - DME UMa. University of Buenos Aires (Thesis) 2002 Martín Krevneris. Title: Axiomática para Ensconcement. DC - UBA Liliana Cabanelas Ramos. Title: Implementación de Multiple Kernel Contraction. DC. UBA Pablo Sanz, Karina Saez. Title: Multiple Kernel Contraction. DC - UBA Juan Mikalef, Jorge Taboada. Title: Credibility-Limited Functions for Belief Bases. DC - UBA Lionel Rossi, Marcelo Viegas. Title: Combining Data Mining and Belief Revision. DC - UBA. /8

9 Research Activities Participation in Research Centres From 2012 Member of Centre for Artificial Intelligence (CENTRIA). New University of Lisbon Member of Madeira Interactive Technologies Institute (M-ITI) UMa Member of Centro de Ciências Matemáticas - UMa. Fundação da Ciência e Tecnología (FCT) research centre Member of LABMAG (Laboratory of Agent Modelling ) Centro de Investigação da Faculdade de Ciências. Lisbon University. FCT research centre. From 2001 Collaborator of LIAMF ( Laboratory of Logics, Artificial Intelligence and Formal Methods). Computer Science Department. University of São Paulo (USP/SP). Research Grants as Grant Holder [ ] Implementation of Belief Revision Algorithms [2010] Improvement belief change operators with limits of credibility Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Ricardo Rodríguez. Abstract: We propose to develop algorithms aimed to perform belief change in resource bounded agents. In order to do that, we must first try to answer the following research questions: 1. Which of the constructive models is more suitable for implementations? 2. How can the models proposed in the 1980 s be evaluated at the light of the AGM theory? Which properties can we rescue/reuse? 3. How can we move (back) from the knowledge level to the symbolic level? How can we define the metrics to evaluate the different algorithms? Sponsors: French-Portuguese project. CNRS France Ministério da Ciência e do Ensino Superior. Governo de Portugal. French Co-Chair: Sébastien Konieczny Abstract: The purpose of the project is defining a new model of belief revision called improvement operator with a limit of credibility. This operator will be work /9

10 [2008/2009] Knowledge Dynamics in Cognitive Agents DROIDE: Robots in Mathematics and Informatics Education. [2005/2008] Relation between Deontic Logics and Belief Revision [2003/2004] in the following way: Every time than an rational agent receives a new information (typically a formula) this formula will gain in plausibility in the epistemic state of the agent. And if the agent receives the same new information many times, such that reach the status of a credible sentence, then he will finally believe it. This operator will combine two previous models proposed in the literature: Credibility-Limited functions, proposed by (Hansson, Fermé, Cantwell and Falappa 2001), by (Fermé and Hansson 2001) and by (Fermé, Mikalef and Taboada 2003) and Improvement Operators, proposed by (Konieczny and Pino Perez 2009). Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Marcelo Falappa. Abstract: The project proposes a Logical axiomatisation for belief bases functions (like Levi contraction, Semi-Contraction), how to extend the results for belief bases of partial meet contraction and kernel contraction for supplementary postulates and how to elucidate the relation among different kinds of supplementary postulates for belief bases. Chairs: Eduardo Fermé - Elsa Fernandes. Sponsors: DME - UMa and Secretaria Regional de Educação da Madeira. Abstract: The project proposes to create problems in Mathematics Education/Informatics areas to be solved through robots; to implement problem solving using robotics in three kinds of classrooms: mathematics classes at K-9 and K-12 levels; Informatics in K-12 levels; Artificial Intelligence, Didactics of Mathematics and Didactics of Computer Science/Informatics subjects at high level; to analyze students activity. Sponsors: Argentinean-Portuguese project. Secretaría de Ciencia, Tecnología, e Innovación Productiva. Gobierno de Argentina. Ministério da Ciência e do Ensino Superior. Governo de Portugal. Argentinean Co-Chair: Ricardo Rodríguez. Abstract: The main topic of research of this project is the definition of logical formalisms to supporting the specification and reasoning of normative concepts, which are basic not only to representing laws, but also in the area of the specification of agents and organizations. /10

11 Revision by Comparison [ ] Non-Monotonic Logics for models of belief change [ ] Sponsor: Argentinean-German project. Fundación Antorchas - Deutscher Akademischer Austauschdienst. German Co-Chair: Hans Rott. Abstract: This project proposes a refined method by which changes of belief can be effected by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, this method would be qualitative one, in the sense that no numbers (which would be hard to interpret) are needed in order to specify the posterior plausibility of the new information. We will use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We will give a logical characterization of the new model and study its relation with other operations of belief revision and contraction. Sponsor: Argentinean-Brazilian project. Fundación Antorchas - Vitae. Brazilian Co-Chair: Renata Wassermann. Abstract: We propose to study the relation between belief revision models (in particular Revision by Comparison, Prototype Revision and Wassermann and Chopra Computational Model) and their corresponding non-monotonic logics. As Senior Researcher DROIDE II - Robots in Mathematics and Informatics Education. [ ] Normativity and Non Monotonicity. [ ]. 2ª part of Logical Consequence Notions of non Standard and Conditional Logics. [ ] Alfa Project: Tools for Teaching [ ] Sponsor: Fundação da Ciência e Tecnología (FCT) Chair: Elsa Fernandes Sponsors: Secretaria de Ciencia y Técnica. UBA. Argentina. Argentinean Chair: Gladys Palau. Sponsors: Alfa Project. European Community. Chair: Mara Manzano, Salamanca University, Spain. Argentinean Chair: Gladys Palau. As Junior Researcher /11

12 Change Theory and Conditional Theory [ ] Sponsors: Secretaria de Ciencia y Técnica. UBA. Argentina. Chairs: Carlos Alchourrón - Gladys Palau. Internships and short visits 11/2012 (5 days) Computer Science and Communication Lab, University of Luxembourg 2/2011 (15 days) Division of Philosophy, Royal Institute of Technology (KTH), Stockholm. Sweden 8/2011 (1 month) Computer Science Department, UBA. Argentina. 7/2010 (1 month) 9/2010 (15 days) Faculté des Sciences. Université d'artois, Lens France. Computer Science Department. Universidade Nacional del Sur. Bahía Blanca, Argentina. 07/2008 (1 month) 11/2009 (1 month) 09/2007 (10 days) Human-Computer Interaction Institute - Carnegie Mellon University, USA. 11/2006 (10 days) Computer Science Department. Mahasarakam University, Thailandia. 11/2004 (1 month) 11/2003 (1 month) 04/2002 (15 days) 08/2002 (15 days) 2/2002 (15 days) 11/2001 (1 month) 03/2000 (1 month) Computer Science Department, UBA. Argentina Instituto de Matemática e Estatística (IME) University of São Paulo. Brazil. Philosophy Department. University of Regensburg, Germany (1 year) Philosophy Department. Uppsala University, Sweden. 01/1997 (1 month) Philosophy Department. Uppsala University, Sweden. 11/1996 (15 days) Computer Science Department. Universidade Nacional del Sur. Bahía Blanca, Argentina. Committees and Reviewing Activity PhD Thesis, Academic and Research Positions and Scientific Projects (I exclude Master Thesis or 1 st Degree Thesis Committees) 2012 PhD Thesis. On the Formal Verication of Specications based on Typestates with Access Permissions. Universidade da Madeira Phd Thesis. Martin Slota. "Updates of Hybrid Knowledge Bases". Faculdade de Ciências e Tecnologia. Universidade Nova de Lisboa Phd Thesis. Luciano Tarmargo. Dinámica de Conocimiento en Sistemas Multi-Agentes: Plausibilidad, Revisión de Creencias y Retransmición de Información /12

13 Dept. of Computer Science and Engineering, Universidad Nacional del Sur. Argentina Referee for the Program STIC AmSud (cooperation projects between France and South America) 2007 Phd Thesis. Diego César Martínez: Sistemas Argumentativos Abstractos Extendidos Dept. of Computer Science and Engineering, Universidad Nacional del Sur. Argentina Referee candidature Reseach Career. CONICET (Comision Nacional de Investigaciones Cientificas y Técnicas). Argentina Evaluator of Research Project Proposals. Computer Science Area. Secretaria de Ciencia y Técnica. Gobierno de Argentina Phd Thesis. Marcela Capobianco. Argumentación rebatible en entornos dinâmicos Dept. of Computer Science and Engineering, Universidad Nacional del Sur. Argentina Member of the Evaluator Committee for Academic Position DC- UBA. Argentina Profesor Adjunto Interino área Ingeniería de Software: Agosto Jefe de Trabajos Prácticos área Ingeniería de Software: 4 times Jefe de Trabajos Prácticos área Métodos No Numéricos: 3 times Ayudante de Segunda área Métodos No Numéricos: 3 times Ayudante de Primera área Métodos No Numéricos: 2 times Academic Journals and Books 2012 Referee British Journal for the Philosophy of Science. Oxford University Press Referee Journal of Artificial Intelligence Research (JAIR), AAAI Press Referee Journal: Annals of Mathematics and Artificial Intelligence. Springer 2012 Referee Journal: Review of Symbolic Logic. Cambridge University Press Referee Journal: Studia Logica. Springer Referee: Journal of Philosophical Logic. Springer Referee Journal: Artificial Intelligence. Elsevier 2011 Referee: Journal of Philosophical Logic. Springer Referee: Journal of Philosophical Logic. Springer Referee: Journal: Synthese. Springer Referee of the book "The Many Sides of Logic". Editors: W. A. Carnielli, M. E. Coniglio, I. M. Loffredo D' Ottaviano. Series "Studies in Logic", College Publications, London. ISBN number: /13

14 Referee Journal: Diánoia. Revista de Filosofía. Instituto de Investigaciones Filosóficas - UNAM Referee Journal: Artificial Intelligence. Elsevier Referee of the Book Preference Change: Approaches from philosophy, economics and psychology Sven Ove Hansson and Till Grune-yanoff Editors. Theory and Decision Library. Springer Referee Journal: Theoria Referee Journal: Information and Computation. Elsevier 2007 Referee Journal: Studia Logica. Kluwer Academic Publisher Referee Journal: Studia Logica. Kluwer Academic Publisher Referee: Rasta02Book. Livro de artigos seleccionados do International Workshop on Regulated AgentBased Social Systems: Theories and Applications. Bologna, Italy Referee journal: Computación y Sistemas. Revista Iberoamericana de Computación. México. Congress and Scientific Events 2013 Program Committee Member: CLTM XX Latin American Contest of Master Thesis () as part of CLEI 2013, XXXIX Latin American Conference on Computation. Naiguatá, Venezuela Program Committee Member: IJCAI Twenty-Third International Joint Conference on Artificial Intelligence. Beijing, China Program Committee Member: NRAC Nonmonotonic Reasoning, Action and Change. Beijing, China Program Committee Member: XX Master Thesis Latin American Contest (CLTM-2013)- CLEI 2013 : XXXIX Latin American computing conference, Venezuela Referee: LFCS Symposium on Logical Foundations of Computer Science. San Diego, California Program Committee Member: ECAI 2012 Workshop on Belief Revision, Non-monotonic Reasoning, and Conflict resolution. Montpellier, France Chair (with Guillermo Simari) of 1 st Workshop in Belief Revision and Argumentation, Madeira, Portugal Area Chair- Knowledge Representation and Reasoning (with Guillermo Simari) of 13 th Ibero American Conference on Artificial Intelligence (Iberamia 2012), Cartagena de Indias, Colombia Program Committee Member: IJCAI Twenty-Second International Joint Conference on Artificial Intelligence. Barcelona, Spain Program Committee Member: Nonmonotonic Reasoning, Action, /14

15 and Change (NRAC-11). Barcelona, Spain Program Committee Member: Simpósio Doutoral em Inteligência Artificial (SDIA 2011). Lisbon, Portugal Program Committee Member: XXXVI CLEI 2010 (Latin American Conference on Informatics), Asunción, Paraguay Program Committee Member: Relational approaches to knowledge representation and learning Workshop at 32nd Annual Conference on Artificial Intelligence, Paderborn, Germany Program Committee Member: "Action and Belief Change: International Workshop on Non-Monotonic Reasoning (NMR-08 ), Sydney, Australia Referee Ninth International Conference on Deontic Logic in Computer Science (DEON'08), Luxembourg Referee The Twenty-Second AAAI Conference on Artificial Intelligence. Vancouver, British Columbia, Canada 2007 Program Committee Member: ASAI 2007 (Simposio Argentino de Inteligencia Artificial). Argentina 2006 Program Committee Member: IBERAMIA/SBIA: Ibero-American AI Conference- Brazilian AI Symposium) Ribeirão Preto (SP), Brazil Referee: Asse Sixth Argentine Symposium On Software Engineering. Rosario, Argentina Program Committee Member : ASAI 2005 (Simposio Argentino de Inteligencia Artificial). Argentina 2003 Referee: ECAI th European Conference on Artificial Intelligence. Valência, Spain Referee: IJCAI 03. Eighteenth International Joint Conference on Artificial Intelligence. Acapulco, México Program Committee Member: CACIC Argentinean Congress of Computer Science. Buenos Aires, Argentina Referee: II CMSRA. Computational models of scientific reasoning and applications. Las Vegas, USA 2002 Referee: CISCI Conferencia Iberoamericana en Sistemas, Cibernética e Informática. Orlando, USA Program Committee Member: ASAI Argentinean Symposium of Artificial Intelligence Argentina Chair (with Alejandro Cecatto): ASAI Argentinean Symposium of Artificial Intelligence Buenos Aires, Argentina Referee: CLEI Latin American Conference on Informatics. Venezuela Referee: International Workshop Computational Models Of Scientific Reasoning And Applications (Cmsra-2001) Las Vegas, Nevada, USA Program Committee Member: III Encuentro de Tesistas de Postgrado. Usuahia. Argentina Program Committee Member: CLEI Panel Latin American /15

16 Conference on Informatics. Mexico Co-Chair ATIA. Workshop on Theoretical aspects of Artificial Intelligence, La Plata, Argentina Program Committee Member: Workshop of Logic and Computation. Mexico Referee: ESSLI th European School in Logic, Language and Information. Student Session. Neederland Referee: CACIC 98. Argentinean Congress of Computer Science. Neuquén. Argentina Referee: Iberamia 98. IberoAmerican Congress of Artificial ntelligence. Lisbon, Portugal Program Committee Member: ECI 97. School of Computer Science. Buenos Aires, Argentina Program Committee Member: ATIA 97. Workshop on Theoretical aspects of Artificial Intelligence. La Plata. Argentina Referee: I Argentinean Congress of Computer Science. CACIC 95. Bahía Blanca. Argentina Referee: Brazilian Symposium of Computer Science. SBC 95. Porto Alegre. Brazil Program Committee Member: ECI 95. School of Computer Science. Buenos Aires, Argentina. Invited Talks and Tutorials 08/2013 Belief Revision: From 1985 to hs Tutorial. 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). Beijing, China. 11/2012 AGM-25 years. Computer Science and Communication Lab, University of Luxembourg 09/2012 AGM-25 years. Faculdade de Ciências e Tecnologia. Universidade Nova de Lisboa. 09/2012 O fascinio pelos Robots. Seminar: Os robots na educação matemática e informática Universidade da Madeira 05/2011 Cognitive Robotic. Invited talk for the course Cognitive Psychology II. UMa, Madeira. Portugal 05/2011 Será que posso construir um Robot Inteligente? Escola Básica dos 2º e 3º Ciclos do Estreito de Câmara de Lobos, Madeira. Portugal 09/2010 Robots in Mathematics and Informatics Education Faculté des Sciences. Université d'artois, Lens - France 05/2010 Raciocínio e Dinâmica de Conhecimento em Robots. Conferência comemorativa do 58º aniversário da Força Aérea Portuguesa, UMa, Madeira. Portugal. 07/ days Tutorial: Tópicos avanzados en revisión de creencias. Universidad Nacional del Sur, Bahía Blanca, Argentina. /16

17 07/ 2008 Si para hacer aceite de oliva preciso aceitunas, qué preciso para hacer aceite de bebé? Pragma Consultores. Buenos Aires, Argentina. 12/2006 Robots for teaching Mathematics and Informatics. Mahasarakham University, Thailand. 11/2006 Os Robots no Ensino. (with Elsa Fernandes). Escola de Segundo Ciclo Santana, Madeira, Portugal. 06/2006 Se a Lógica não serve para nada, porque é que sou professor de Lógica?. Escola Básica e Secundária Padre Manuel Álvares. Madeira. Portugal 02/2005 Ethics Codes in Informatics Engineering. (with Ana Isabel Cardoso). UMa, Portugal. 09/ 2004 From AGM to..., Sciences Faculty, University of Lisbon, Portugal. 08/2002 Revisão de crenças, uma perspectiva histórica.. IME. São Paulo University, Brazil. 07/ 2002 From AGM to..., University of Birmingham, UK. 11/2001 Belief Revision: An Introduction. Philosophy Department. University of Regensburg, Germany. 03/2001 Belief Revision in Computer Science Universidade Federal de Pernambuco, Brazil. 11/2000 Credibility Limited Functions for Theory Change. IME. São Paulo University, Brazil. 11/2000 Tutorial: Belief Revision. From AGM to Computational Models. (with Chamir Shopra and Renata Wassermann). International Joint Conference SBIA IBERAMIA Atibaia, Brazil. 03/2000 On the notion of Credibility-Limited Functions. Philosophy Department. University of Regensburg, Germany. 07/ 1999 Belief Revision in Computer Science. Escuela de Ciencias Informáticas, DC- UBA. Argentina 11/1998 Artificial Intelligence and Non Standard Logic. Argentinean Workshop of Philosophy. La Falda, Argentina. 04/1998 Tutorial: Irrevocable Belief Revision. Philosophy Department- Uppsala University, Sweden 11/1997 Semi-Contraction. Philosophy Department- Uppsala University, Sweden. 02/1997 Applied Theory Change to Update Knowledge Bases. Philosophy Department- Uppsala University, Sweden. 10/ 1995 Theory Change vs. Base Change Sociedad Argentina de Analisis Filosófico. (SADAF), Argentina. 02/1995 Tutorial: Belief Revision and NonMonotonic Logics. Departamento de Ciências da Computação. Universidade Federal do Ceará, Brazil. 05/1994 CWR: Contraction Without Recovery, Sociedad Argentina de Analisis Filosófico. (SADAF), Argentina. 05/ 1993 Mutual belief revision and its application to Knowledge /17

18 base update, DC-UBA. Argentina. 07/ 1992 Belief revision and knowledge base update, Faculdad de Ciências. Universidad Católica de Nuestra Señora de la Asunción, Paraguay. 04/1992 Tutorial: A Logic for Default Reasoning. Philosophy Department. UBA, Argentina. Participation in Scientific Meetings Speaker Foundations and Challenges of Change and Evolution in Ontologies. Dagstuhl, Germany Speaker KR th International Conference on Principles of Knowledge Representation and Reasoning. Rome, Italy Chair (with 1 st Workshop in Belief Revision and Argumentation, Madeira, G. Simari) Portugal Speaker Stockholm Workshop on Belief Revision and Logic. Stockholm, Sweden Speaker Information processing, rational belief change and social interaction. Dagstuhl, Germany Attendant IBERAMIA 2008, 11th Ibero-American Conference on AI, Lisbon, Portugal, Speaker Artificial Intelligence in Education Workshop. Cambridge UK Speaker Formal Models of Belief Change in Rational Agents. Dagstuhl, Germany Speaker V Conferência Internacional de Tecnologias de Informação e Comunicação na Educação, Challenges Braga, Portugal Speaker ICMI 17 Study Conference. Hanoi University of Technology. Vietnam Speaker Eleventh International Workshop on Non-Monotonic Reasoning. Lake District area, UK Speaker Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics. Dagstuhl, Germany Co-Chair Organizing Committee Seventh International Workshop on Deontic Logic in Computer Science. DEON 04. Madeira Island, Portugal Speaker Third Augustus De Morgan Conference. Department of Computer Science, King s College, London, UK Chair Workshop on Logic and Belief Revision. CD - UBA and Argentinean Society of Philosophical Analysis (SADAF), Argentina Speaker International Joint Conference. 7th Ibero-American Conference on Artificial Intelligence. 15th Brazilian Conference on Artificial Intelligence. Atibaia, Brazil Speaker AdhoColloquium: Belief Change and Pragmatist Philosophy. Philosophy Department. University of Regensburg, Germany Speaker International Workshop of Logic, Language, Information and /18

19 Computation, (WoLLIC 99). Itatiaia, Brazil Speaker International Workshop on Belief Revision, as part of KR98. Trento, Italy Speaker UGLLI Workshop on Belief Revision. Uppsala, Sweden Attendant Symposium on Stig Kanger Contribution to Logic and Philosophy. Uppsala, Sweden Speaker International Workshop of Logic, Language, Information and Computation, (WoLLIC 97). Fortaleza, Brazil Speaker III Workshop on Theoretical Aspects of Artificial Intelligence. San Luis, Argentina Speaker I Meeting in Nonstandard Logics. Vaquerías, Córdoba, Argentina Speaker II Workshop on Theoretical Aspects of Artificial Intelligence. Bahía Blanca, Argentina Speaker XXIV Argentinean Conference on Computer Science and Operational Research. Buenos Aires, Argentina Chair I Workshop on Theoretical Aspects of Artificial Intelligence. Buenos Aires, Argentina Attendant XI Brazilian Symposium on Artificial Intelligence. Fortaleza, Brazil Attendant XIX Latin-American Conference in Computer Science. Buenos Aires, Argentina Attendant XX Argentinean Conference on Computer Science and Operational Research. Buenos Aires, Argentina. Publications Edited Books/ Special Issue of Journals * Trends in Belief Revision and Argumentation Dynamics Eduardo Fermé, Dov Gabbay and Guillermo Simari (Eds). College Publications. Studies in Logic (Logic & Cognitive Systems). In preparation "Special Issue on 25 Years of AGM Theory - Guest Edited by Eduardo Fermé and Sven Ove Hansson. Journal of Philosophical Logic Volume 40, (2). a Editorial Introduction 25 Years of AGM Theory. Eduardo Fermé and Sven Ove Hansson. Guest Editor Introduction. Journal of Philosophical Logic 40, (2) : Peer-Reviewed International Journals * Epistemic Entrenchment-based Multiple Contractions. Eduardo Fermé and Maurıcio D. L. Reis. To appear Review of Symbolic Logic Possible world semantics for partial meet multiple contractions. Maurıcio D. L. Reis and Eduardo Fermé. Journal of Philosophical Logic 41, (1) : System of spheres-based multiple contractions. Eduardo Fermé and Maurıcio D. L. Reis. Journal of Philosophical Logic 41, (1) : /19

20 AGM 25 Years: Twenty-Five Years of Research in Belief Change Eduardo Fermé and Sven Ove Hansson. Journal of Philosophical Logic 40, (2) : An axiomatic characterization of ensconcement-based contraction. Eduardo Fermé - Martín Krevneris Maurício Reis. Journal of Logic and Computation. 18(5): DFT and Belief Revision. Eduardo Fermé, Ricardo Rodriguez. Análisis Filosófico. Vol XXVI (2) pp Revision by Comparison. Eduardo Fermé, Hans Rott. Artificial Intelligence. Elsevier Publisher. 157 pp Multiple Kernel Contraction. Eduardo Fermé, Karina Saez, Pablo Sanz. Studia Logica. Kluwer Academic Publisher. 73 (2) pp Credibility-Limited Functions for Belief Bases. Eduardo Fermé, Juan Mikalef, Jorge Taboada. Journal of Logic and Computation. 13 (1), pp Credibility-Limited Revision. Sven Ove Hansson, Eduardo Fermé, John Cantwell, Marcelo Falappa. Journal of Symbolic Logic 66 (4) pp: Irrevocable Belief Revision and Epistemic Entrenchment. Eduardo Fermé. Logic Journal of the IGPL. 8 (5) Oxford Universidade Press On the Implementation of the Belief Change Operators. Electronic Journal of Computer Science and Technology. ISTEC (Iberoamerican Science & Technology Education Consortium) Eduardo Fermé, Marcelo Falappa Selective Revision. Eduardo Fermé, Sven Ove Hansson. Studia Logica. Kluwer Academic Publisher. 63 (3): Semi-Contraction: Axioms and Construction. Eduardo Fermé, Ricardo Rodriguez. Notre Dame Journal of Formal Logic. Universidade of Notre Dame. 39 (3): A brief note about the Rott Contraction. Eduardo Fermé, Ricardo Rodriguez. Logic Journal of the IGPL. Oxford Universidade Press. 6 (6): On the Logic of Theory Change: Contraction Without Recovery. Eduardo Fermé. Journal of Logic, Language and Information. Kluwer Academic Publisher. 7 (2): Peer-Reviewed National or Regional Journals Proporcionalidade directa como função: Da perfeição à realidade a bordo de um robot (in Portuguese). Rui Oliveira - Elsa Fernandes - Eduardo Fermé. Quadrante. Lisbon: Associação de Professores de Matemática "Revisión de Creencias" (in Spanish). Eduardo Fermé, Revista Iberoamericana de Inteligencia Artificial 11 (34) pp Book Chapters Formal Epistemology and Logic Horácio Arló Costa, Eduardo Fermé. A Companion to Latin American Philosophy. In Susana Nuccetelli, Ofelia Schutte and Otavio Bueno (Editors). Balckwell Comoanio to Philosophy. Publisher: John Wiley /20