Prof. dr. Michael Moortgat

Prof. dr. Michael Moortgat

Emeritus Professor
Language, logic and information
m.j.moortgat@uu.nl

Activities

2017

Nederlandse Organisatie voor Wetenschappelijke Onderzoek (NWO)(External organisation)Michael Moortgat (Chair)
2017
Logic and Algorithms in Computational LinguisticsMichael Moortgat (Organiser)
2017

2016

Statistical and Logical Models of Meaning (SaLMoM)Michael Moortgat (Organiser)
9 Jul 201616 Jul 2016
, Statistical and Logical Models of Meaning (SaLMoM)
Quantum Physics and Logic (QPL2016)Michael Moortgat (Member of programme committee)
6 Jun 201610 Jun 2016
, Quantum Physics and Logic (QPL2016)
Unified correspondenceMichael Moortgat (Organiser)
2016
Statistical and logical models of meaningMichael Moortgat (Organiser)
2016
Nederlandse Organisatie voor Wetenschappelijke Onderzoek (NWO)(External organisation)Michael Moortgat (Chair)
2016

2015

Empirical Advances in Categorial GrammarMichael Moortgat (Member of programme committee)
10 Aug 2015
Calibrating grammatical compositionMichael Moortgat (Invited speaker)
4 Aug 2015
, 15th Congress of Logic, Methodology and Philosophy of Science
15th Congress of Logic, Methodology and Philosophy of ScienceMichael Moortgat (Organiser)
4 Aug 2015
Modelling grammatical compositionMichael Moortgat (Invited speaker)
25 Jun 2015
, Model-based Reasoning in Science and Technology
Syntactic control for compositional vector space models (with Gijs Wijnholds)Michael Moortgat (Invited speaker)
21 Jun 2015
, Topology, Algebra, and Categories in Logic

2014

On combining grammar logicsMichael Moortgat (Invited speaker)
22 Sept 2014
, Syntax and Semantics meeting
Continuations and derivational ambiguityMichael Moortgat (Invited speaker)
18 Jun 2014
, Logical Aspects of Computational Linguistics (IRIT, Toulouse)
8th International Conference on Logical Aspects of Computational LinguisticsMichael Moortgat (Invited speaker)
18 Jun 2014
8th International Conference on Logical Aspects of Computational LinguisticsMichael Moortgat (Member of programme committee)
18 Jun 201420 Jun 2014
Computational Linguistics in the NetherlandsMichael Moortgat (Member of programme committee)
17 Jan 2014

2013

Multidimensional Dyck languagesMichael Moortgat (Invited speaker)
21 Sept 2013
, From categories to logic, linguistics and physics: a tribute for the 90th birthday of Joachim Lambek (Centre de Recherches Mathématiques, Montreal (Canada))
Proofs as PicturesMichael Moortgat (Invited speaker)
22 May 2013
, UCLA Semantics Tea (Los Angeles, UCLA Department of Linguistics)
Language and Information (External organisation)Michael Moortgat (Member)
2013

2012

Proof Nets and their Composition GraphsMichael Moortgat (Invited speaker)
21 Dec 2012
, Fourth Barcelona Workshop on Types, Logic and Grammar
7th International Conference on Logical Aspects of Computational LinguisticsMichael Moortgat (Member of programme committee)
2 Jul 2012
Logic and logicsMichael Moortgat (Invited speaker)
14 Jun 2012
, Symposium Logic and Reality (Utrecht)
Logic Journal of the IGPL (Journal)Michael Moortgat (Editor)
2012
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2012
Journal of Algorithms in Cognition, Informatics and Logic (Journal)Michael Moortgat (Editor)
2012
7th International Conference on Logical Aspects of Computational Linguistics (Event)Michael Moortgat (Member)
2012
, 7th International Conference on Logical Aspects of Computational Linguistics

2011

Compositional mappingsMichael Moortgat (Invited speaker)
8 Dec 2011
, Workshop 'ACG@10. Ten years of Abstract Categorial Grammars'
12th Meeting on Mathematics of Language (MOL)Michael Moortgat (Member of programme committee)
6 Sept 2011
, 12th Meeting on Mathematics of Language (MOL)
Compositional interpretationsMichael Moortgat (Invited speaker)
8 Jul 2011
, Conference 'Joachim Lambek. Mathematics, Logic and Language'.
6th International Conference on Logical Aspects of Computational LinguisticsMichael Moortgat (Member of programme committee)
29 Jun 2011
Grammars, terms and typesMichael Moortgat (Invited speaker)
17 Jun 2011
, 20 Ans de Recherche en Informatique. (Laboratoire Bordelais de Recherche en Informatique, Bordeaux)
18th Workshop on Logic, Language, Information and ComputationMichael Moortgat (Member of programme committee)
18 May 2011
Syntax and Semantics in Generalized Lambek CalculusMichael Moortgat (Invited speaker)
24 Jan 2011
, Logic and Interactive Rationality. Special session on substructural logics, information and interaction. (Amsterdam)
WoLLIC, 18th Workshop on Logic, Language, Information and Computation (Event)Michael Moortgat (Member)
2011
, WoLLIC, 18th Workshop on Logic, Language, Information and Computation
MOL 12, 12th Meeting on Mathematics of Language (Event)Michael Moortgat (Member)
2011
, MOL 12, 12th Meeting on Mathematics of Language
Logic Journal of the IGPL (Journal)Michael Moortgat (Editor)
2011
LACL 2011, 6th International Conference on Logical Aspects of Computational Linguistics (Event)Michael Moortgat (Member)
2011
, LACL 2011, 6th International Conference on Logical Aspects of Computational Linguistics
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2011

2010

Continuation semantics for generalized Lambek calculi.Michael Moortgat (Invited speaker)
13 Nov 2010
, Workshop Logic, Categories, Semantics.
Beyond the context-free boundary: generalizing Lambek calculus.Michael Moortgat (Invited speaker)
29 Oct 2010
, Flowin'cat 2010 Workshop The Categorical Flow of Information in
Galois connections and scopeMichael Moortgat (Invited speaker)
28 Jul 2010
, Third Barcelona Workshop on Types,
Tertium non datur in the Lambek-Grishin calculusMichael Moortgat (Invited speaker)
22 Apr 2010
, Third World Congress on Universal Logic
UCLA Visiting Chair (Mondriaan Chair).Michael Moortgat (Invited speaker)
2010
, Undergraduate course: grammars, terms, and types. Graduate course:Symmetric categorial grammar. Public lecture: Meaningful patterns.
Logic and Language (Journal)Michael Moortgat (Editor)
2010
Linguistic Analysis (Journal)Michael Moortgat (Editor)
2010
Language and Information (External organisation)Michael Moortgat (Member)
2010
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2010
Journal of Algorithms in Cognition, Informatics and Logic (Journal)Michael Moortgat (Editor)
2010
Cognitieve Kunstmatige Intelligentie (External organisation)Michael Moortgat (Member)
2010

2009

11th Meeting on Mathematics of Language (MOL)Michael Moortgat (Member of programme committee)
20 Aug 2009
, 11th Meeting on Mathematics of Language (MOL)
Parsing-as-deduction for symmetric categorial grammarMichael Moortgat (Invited speaker)
27 Apr 2009
, ICIS (Nijmegen)
Voorzitter Wetenschappelijke Vereniging (Event)Michael Moortgat (Member)
2009 → …
, Voorzitter Wetenschappelijke Vereniging
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2009

2008

Proofs-as-programs for symmetric categorial grammarMichael Moortgat (Invited speaker)
28 Oct 2008
, Brouwer seminar
Symmetric categorial grammarMichael Moortgat (Invited speaker)
4 Sept 2008
, British Logic colloquium (Nottingham, UK)
The Syntactic Calculus with Grishin's distributivitiesMichael Moortgat (Invited speaker)
10 Jul 2008
, The Syntactic Calculus after 50 years (Chieti, Italy)
CPS interpretation for the Lambek-Grishin calculusMichael Moortgat (Invited speaker)
5 May 2008
, Logical Models of Reasoning and Computation (Moscow, Russia)
Wetenschappelijke Vereniging (Event)Michael Moortgat (Member)
2008
, Wetenschappelijke Vereniging
Voorzitter Association of Logic, Language and Information (Event)Michael Moortgat (Member)
2008
, Voorzitter Association of Logic, Language and Information
Studies in Logic and Practical Reasoning (Journal)Michael Moortgat (Editor)
2008
Lid editorial board, Journal of Applied Logic (Event)Michael Moortgat (Member)
2008
, Lid editorial board, Journal of Applied Logic
Lid editorial board, Journal of Algorithms in Cognition, Informatics and Logic (Event)Michael Moortgat (Member)
2008
, Lid editorial board, Journal of Algorithms in Cognition, Informatics and Logic
Lid advisory board, boekserie Studies in Logic and Practical Reasoning (Event)Michael Moortgat (Member)
2008
, Lid advisory board, boekserie Studies in Logic and Practical Reasoning
Lecture notes in logic, language and information (Journal)Michael Moortgat (Editor)
2008
Language and Information (External organisation)Michael Moortgat (Member)
2008

2007

Structure-preservation in the Lambek-Grishin calculusMichael Moortgat (Invited speaker)
28 Nov 2007
, General Mathematics Colloquium (Universiteit Nijmegen)
Symmetry and structure preservationMichael Moortgat (Invited speaker)
3 Nov 2007
, Colloque en l'honneur d'Alain Lecomte (Pauillac, France)
Lexical and derivational semantics for Lambek-Grishin calculusMichael Moortgat (Invited speaker)
19 Sept 2007
, 4th Workshop Lambda Calculus and Formal Grammar
Symmetric Categorial GrammarMichael Moortgat (Invited speaker)
13 Aug 2007
, Cursus voor promovendi (Trinity College, Dublin Ierland)
Type similarity in the Lambek-Grishin calculusMichael Moortgat (Invited speaker)
4 Aug 2007
, 12th Conference on Formal Grammar
Symmetries in natural language syntax and semanticsMichael Moortgat (Invited speaker)
3 Jul 2007
, 14th Workshop on Logic, Language, Information and Computation
Sur le calcul de Lambek et les continuationsMichael Moortgat (Invited speaker)
13 Jun 2007
, Rencontre Pragmatique, Ludique et Continuations, ANR-Prélude (Carry-le-Rouet, France)
Symmetric Categorial GrammarMichael Moortgat (Invited speaker)
1 Jun 2007
, Serie Gastlezingen (UCLA, Los Angeles USA)
Symmetrie in de semantiek van natuurlijke taalMichael Moortgat (Invited speaker)
24 Apr 2007
, Thalia Symposium (Nijmegen)
Continuation semantics for Lambek-Grishin calculusMichael Moortgat (Invited speaker)
17 Apr 2007
, Seminar Formal Semantics and Current Issues in Semantics
wetenschappelijke commissie (Event)Michael Moortgat (Member)
2007
, wetenschappelijke commissie
Samenwerkingsverband UniversiteitenMichael Moortgat (Visiting lecturer)
2007
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2007

2006

Grishin interactions for the symmetric Lambek calculusMichael Moortgat (Invited speaker)
2 Dec 2006
, TYPES Deep Inference Workshop
The logic of variation: grammatical constants and language diversity (Part II)Michael Moortgat (Invited speaker)
23 Sept 2006
, Dept of Linguistics, Moscow State University (Moskou, Rusland)
Extended Lambek CalculusMichael Moortgat (Invited speaker)
20 Sept 2006
, Steklov Mathematical Logic Seminar
The logic of variation: grammatical constants and language diversity (Part I)Michael Moortgat (Invited speaker)
16 Sept 2006
, Dept of Linguistics, Moscow State University (Moskou, Rusland)
Meaningful Patterns: Grammatical Invariants and Language DiversityMichael Moortgat (Invited speaker)
7 Jun 2006
, Frames, A Colloquium in Linguistics, Philosophy and Economics (Bologna, Italië)
Structural reasoning and type similarityMichael Moortgat (Invited speaker)
17 Mar 2006
, Logic and Linguistics Workshop
Lambek Calculus with Grishin InteractionsMichael Moortgat (Invited speaker)
13 Feb 2006
, Geometry of Calculation 2006 (Marseille-Luminy, Frankrijk)
Structural expressivity without structural rulesMichael Moortgat (Invited speaker)
12 Jan 2006
, Workshop Logic of Variation
wetenschappelijke commissie (Event)Michael Moortgat (Member)
2006
, wetenschappelijke commissie
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2006
Lecture notes in logic, language and information (Journal)Michael Moortgat (Editor)
2006
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2006
Guest professorMichael Moortgat (Invited speaker)
2006
, samenwerkingsverband universiteiten
Guest professorMichael Moortgat (Invited speaker)
2006
, International PhD School in Formal Languages and Applications
Extended Lambek CalculusMichael Moortgat (Invited speaker)
2006
, Serie gastlezingen
Categorial GrammarMichael Moortgat (Invited speaker)
2006
, International PhD School in Formal Languages and Applications
Advisory board (Event)Michael Moortgat (Member)
2006
, Advisory board

2005

programme committee 15th Amsterdam ColloquiumMichael Moortgat (Organiser)
19 Dec 2005
Grishin interactions in syntax and semanticsMichael Moortgat (Invited speaker)
18 Nov 2005
, UPC Workshop Types, Logic and Grammar
Grammatical invariantsMichael Moortgat (Invited speaker)
17 Aug 2005
, ESSLLI'05 workshop Foundations of Natural Language Grammar
workshopMichael Moortgat (Organiser)
7 Aug 2005
Grammatical invariantsMichael Moortgat (Invited speaker)
8 Jul 2005
, Proof Theory at the Syntax/Semantics Interface (Cambridge, MA, USA)
congresMichael Moortgat (Organiser)
28 Apr 2005
Grammatical invariants: enriching the Lambek vocabularyMichael Moortgat (Invited speaker)
25 Feb 2005
, Modal Logic, Model Theory and (Co)Algebras (Amsterdam)
wetenschappelijke commissie (Event)Michael Moortgat (Member)
2005
, wetenschappelijke commissie
Studies in Logic and Practical Reasoning (Journal)Michael Moortgat (Editor)
2005
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2005
managementboard wetenschappelijke vereniging (Event)Michael Moortgat (Member)
2005
, managementboard wetenschappelijke vereniging
Lecture notes in logic, language and information (Journal)Michael Moortgat (Editor)
2005
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2005
Grammars (Journal)Michael Moortgat (Editor)
2005
Categorial GrammarMichael Moortgat (Invited speaker)
2005
, International PhD School in Formal Languages and Applications

2004

Arrow reversal in grammarMichael Moortgat (Invited speaker)
29 Sept 2004
, IAS Lecture (Istituto di Studi Avanzati, Bologna)
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2004
Lecture notes in logic, language and information (Journal)Michael Moortgat (Editor)
2004
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2004
Grammars (Journal)Michael Moortgat (Editor)
2004

2003

The Logic of Grammar: Mathematical Invariants and Structural Diversity In Natural LanguageMichael Moortgat (Invited speaker)
1 Oct 2003
, IAS Lecture Series (Bologna, Institute of Advanced Study, University)
Pregroup approximations of type-logical grammarsMichael Moortgat (Invited speaker)
18 Jun 2003
, Fields Institute Summer School: Logic and Foundations of Computation (University of Ottawa)
Natural Language Processing: The Logical ApproachMichael Moortgat (Invited speaker)
10 Apr 2003
, Computer Science Seminar
Pregroups and Type-Logical Grammar: Searching for ConvergenceMichael Moortgat (Invited speaker)
20 Feb 2003
, Signes Seminar
Visiting researcherMichael Moortgat (Invited speaker)
2003 → …
, Senior visiting fellowship
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2003
Questions and answers: theoretical and applied perspectives (Event)Michael Moortgat (Member)
2003 → …
, Questions and answers: theoretical and applied perspectives
Journal of Language and Computation (Journal)Michael Moortgat (Editor)
2003
Journal of Applied Logic (Journal)Michael Moortgat (Editor)
2003
Categorial Type Logic and Italian CorporaMichael Moortgat (Invited speaker)
2003
, Serie gastlezingen
Categorial GrammarMichael Moortgat (Invited speaker)
2003 → …
, cursus voor promovendi

2002

Research on Language and Computation (Journal)Michael Moortgat (Editor)
2002

2001

On certain syntactic properties of spoken DutchMichael Moortgat (Invited speaker)
30 Nov 2001
, CLIN 2001 (Enschede)
TeX in TeachingMichael Moortgat (Invited speaker)
23 Sept 2001
, 12th European TeX Conference (EuroTeX 2001)
Multi-modal categorial grammarMichael Moortgat (Invited speaker)
16 Aug 2001
, Mathematics of Language (ESSLLI 2001, Helsinki)
Galois connections in categorial type logicMichael Moortgat (Invited speaker)
10 Aug 2001
, Mathematics of Language/Formal Grammar (FGMOL) (ESSLLI Helsinki)
Your VR, or mine? Non-determinism in the solution of structural equationsMichael Moortgat (Invited speaker)
4 Jul 2001
, V-to-V Raising (UiL-OTS Utrecht)
Learning Multi-Modal Categorial Grammars from Dependency TreesMichael Moortgat (Invited speaker)
30 Jun 2001
, Acquisition de Grammaires Catégorielles (GRACQ) (Nantes)
Structural equations in language learningMichael Moortgat (Invited speaker)
29 Jun 2001
, Logical Aspects of Computational Linguistics 2001 (Le Croisic)
Structural equations in language learningMichael Moortgat (Invited speaker)
2 May 2001
, 5th Roma Workshop
De wiskunde van de taalMichael Moortgat (Invited speaker)
5 Feb 2001
, Beta-Collegedag (Universiteit Utrecht)
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2001

2000

The computational system: constants and variationMichael Moortgat (Invited speaker)
30 Nov 2000
, First Workshop on Logic, Language and Information
Syntactic annotation for the Corpus Spoken Dutch Corpus (CGN)Michael Moortgat (Invited speaker)
3 Nov 2000
, CLIN 2000 (Tilburg)
Export formats for the CGN syntactic annotationMichael Moortgat (Invited speaker)
3 Nov 2000
, CLIN 2000 (Tilburg)
cursus voor promovendiMichael Moortgat (Participant)
26 Jun 200030 Jun 2000
Taal tussen wiskunde en logicaMichael Moortgat (Invited speaker)
27 May 2000
, Ouderdag Cognitieve Kunstmatige Intelligentie (Utrecht)
Meaningful patterns in structural variationMichael Moortgat (Invited speaker)
12 May 2000
, Joachim Lambek a Bologna (Bologna)
Diamonds are forever: controlling compositionMichael Moortgat (Invited speaker)
9 May 2000
, Joachim Lambek a Bologna (Bologna, Italie)
workshop Beta ThemadagMichael Moortgat (Participant)
14 Apr 2000
Wetenschappelijke Adviesraad (Event)Michael Moortgat (Member)
2000
, Wetenschappelijke Adviesraad
Universiteit (Event)Michael Moortgat (Member)
2000
, Universiteit
Stuurgroep Corpus Gesproken Nederlands (External organisation)Michael Moortgat (Member)
2000
stichting (Event)Michael Moortgat (Member)
2000
, stichting
Research on Language and Computation (Journal)Michael Moortgat (Editor)
2000
Onderzoeksschool Logica (External organisation)Michael Moortgat (Member)
2000
NWO (medefinanciers)(Event)Michael Moortgat (Member)
2000
, NWO (medefinanciers)
Ministerie OC&W (medefinanciers); i.s.m. Faculteit Letteren (Event)Michael Moortgat (Member)
2000
, Ministerie OC&W (medefinanciers); i.s.m. Faculteit Letteren
External unknown (External organisation)Michael Moortgat (Member)
2000

1999

Grammatical reasoning: logical constants and structural variationMichael Moortgat (Invited speaker)
25 Aug 1999
, 11th International Congress of Logic, Methodology and Philosophy of Science
XI European Summer School in Logic, Language and Information (ESSLI'99)Michael Moortgat (Participant)
9 Aug 199920 Aug 1999
Grammatical resources: logic, structure and controlMichael Moortgat (Invited speaker)
9 Aug 1999
, 11th European Summer School in Logic, Language and Information (Utrecht)
Multimodal type-logical grammarsMichael Moortgat (Invited speaker)
15 Feb 1999
, Triennal SILFS Conference 'Logic, Mathematics and Linguistics'
Research on Language and Computation (Journal)Michael Moortgat (Editor)
1999
ProofNet. Proof-theoretic methods in natural language analysis and processing (Utrecht)(Event)Michael Moortgat (Member)
1999
, ProofNet. Proof-theoretic methods in natural language analysis and processing (Utrecht)
ESSLLI today, and tomorrow (Amsterdam)(Event)Michael Moortgat (Member)
1999
, ESSLLI today, and tomorrow (Amsterdam)

1998

Gasthoogleraar, Dipartimento di filosofia, Universita Roma III. November 1998Michael Moortgat (Participant)
1 Nov 1998
Unbounded dependencies: logic and structureMichael Moortgat (Invited speaker)
14 Aug 1998
, Invited lecture, Joint Conference on Formal Grammar, Head-Driven Phrase Structure Grammar, and Categorial Grammar
Welke taal spreekt jouw computer?Michael Moortgat (Invited speaker)
24 Apr 1998
, Lezing + workshop 'Beta-themadag UU'
The proof-theoretic basis of extraction asymmetriesMichael Moortgat (Invited speaker)
14 Mar 1998
, Department of Linguistics (UCLA)
De wiskunde van de taalMichael Moortgat (Invited speaker)
12 Feb 1998
, Lezing voor de alumni cyclus 'De wetenschap van de wetenschap'
Betekenisvolle patronenMichael Moortgat (Invited speaker)
31 Jan 1998
, Lezing op uitnodiging, sectie Wiskunde en Taal, Nationale Wiskunde Dagen (Noordwijkerhout)
Research on Language and Computation (Journal)Michael Moortgat (Editor)
1998
Projectleider K&S (Event)Michael Moortgat (Member)
1998
, Projectleider K&S
Lid stuurgroep Corpus Gesproken Nederlands (Event)Michael Moortgat (Member)
1998
, Lid stuurgroep Corpus Gesproken Nederlands
Lid Raad van Advies IPO Eindhoven (Event)Michael Moortgat (Member)
1998
, Lid Raad van Advies IPO Eindhoven
Lid opleidingsbestuur Cognitieve Kunstmatige Intelligentie (Event)Michael Moortgat (Member)
1998
, Lid opleidingsbestuur Cognitieve Kunstmatige Intelligentie
Lid bestuur Onderzoeksschool Logica (Event)Michael Moortgat (Member)
1998
, Lid bestuur Onderzoeksschool Logica
LACL'98 (14-16 dec.), (Proceedings to appear in Springer Lecture Notes in Computer Science.)(Event)Michael Moortgat (Member)
1998
, LACL'98 (14-16 dec.), (Proceedings to appear in Springer Lecture Notes in Computer Science.)
Consulterend professor (Adjunct faculty)Department of Linguistics, UCLA (Event)Michael Moortgat (Member)
1998
, Consulterend professor (Adjunct faculty) Department of Linguistics, UCLA

1997

Research on Language and Computation (Journal)Michael Moortgat (Editor)
1997