LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom

Source URL: people.mpi-inf.mpg.de

• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Proof assistants
• Formal methods
• Type theory
• Isabelle
• First-order logic
• Logic for Computable Functions
• Unification
• HOL

Seite 2: Aus den Projekten Stiftungsvielfalt erleben Eine LandWerkStadt entsteht! Seite 3: Interview Verstärkung im Stiftungsvorstand: Isabelle von Stechow, Roland Schulz Seite 4: Interna Berlin braucht Sie! Alle Jahre

Source URL: buergerstiftung-berlin.de

Development Team Coordination Fidèle Medzo, Basic Education Coordinator Direction de la formation générale des adultes (DFGA) Content Development Isabelle Nizet, consultante en éducation

Source URL: www.carrefourfga.com

• Education
• Educational psychology
• Philosophy of education
• Pedagogy
• Adult education
• Curriculum
• Educational technology
• Education reform
• Andragogy
• Problem-based learning

FRANCE TERRE D’ASILE © Crédit photo : Hélène Caux / UNHCR - OIM - Isabelle Eshraghi - Unesco 24, rue Marc SeguinPARIS Tél.:

Source URL: www.france-terre-asile.org

QUELQUES MOMENTS DE VIE PRIVILÉGIÉS AVEC HENRI ET NICOLE CARTAN par Isabelle Broué J’ai eu la chance, l’immense chance — le privilège — de croiser

Source URL: www.math.polytechnique.fr

The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Logic
• Cognitive science
• Theoretical computer science
• Reasoning
• Artificial intelligence
• Research councils
• Automated reasoning
• Alan Bundy
• Reasoning system
• Isabelle
• Mathematical proof

Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2

Source URL: people.mpi-inf.mpg.de

• Mathematical logic
• Ordinal numbers
• Mathematics
• Abstraction
• Cardinal numbers
• Set theory
• Wellfoundedness
• Infinity
• Ordinal arithmetic
• Transfinite induction
• Constructible universe
• Aleph number

AIPPIQUESTION 247: Secrets d’affaires Contributeurs : Francis Hagel (président) ; Bertrand Warusfel (rapporteur) Sous-groupe (i) : Isabelle Bertaux ; Jean-Claude Journée (coordinateur) ; Thérèse Keelagha

Source URL: www.aippi.fr

enfermements Le cloître et la prison (vie-xviiie siècle) Sous la direction de Julie Claustre, Isabelle Heullant-Donat et Élisabeth Lusset Avant-propos de Jean-François Leroux

Source URL: www.histoiredudroit.fr

BOURSES DÉPARTEMENTALESDÉPARTEMENT DE PSYCHOLOGIE DATE LIMITE : LUNDI 7 DÉCEMBRE 16H ENVOYER LE FORMULAIRE DE CANDIDATURE EN VERSION ÉLECTRONIQUE À MADAME ISABELLE GUIILLEMAIN (ISABELLE.GUIILLEMAIN@UMONTR

Source URL: psy.umontreal.ca