{"id":2007,"date":"2018-09-23T09:19:19","date_gmt":"2018-09-23T09:19:19","guid":{"rendered":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/?page_id=2007"},"modified":"2022-06-12T21:14:40","modified_gmt":"2022-06-12T21:14:40","slug":"talks-before-2010","status":"publish","type":"page","link":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/","title":{"rendered":"Talks (before 2010)"},"content":{"rendered":"\n<p>Main speaking commitments until 2010, ordered by year. Appearances since 2020 can be found <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-since-2020\">here<\/a>. Talks given between 2010 and 2019 are listed <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/\">here<\/a>.<br><\/p>\n\n\n\n<p><a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-since-2020\/#2022\">2022<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-since-2020\/#2021\">2021<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-since-2020\/#2020\">2020<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2019\">2019<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2018\">2018<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2017\">2017<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2016\">2016<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2015\">2015<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2014\">2014<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2013\">2013<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2012\">2012<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2011\">2011<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-2010-2019\/#2010\">2010<\/a> \u2022 <br><a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2009\">2009<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2008\">2008<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2007\">2007<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2006\">2006<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2005\">2005<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2004\">2004<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2003\">2003<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2002\">2002<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2001\">2001<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#2000\">2000<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1999\">1999<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1998\">1998<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1997\">1997<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1996\">1996<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1995\">1995<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1994\">1994<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1993\">1993<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1992\">1992<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1991\">1991<\/a> \u2022 <a href=\"https:\/\/staff.fnwi.uva.nl\/m.derijke\/talks-etc\/talks-before-2010\/#1990\">1990<\/a><\/p>\n\n\n\n<p>If you want to inquire about a possible invitation, please send an initial email to Petra Best, p&#46;&#x62;&#x65;st&#64;&#x75;&#x76;a&#46;&#x6e;&#x6c;, preferably at least three months before the event.<\/p>\n\n\n<h3>2009<\/h3>\n<ul>\n<li><b>Open Sources for Expertise Retrieval<\/b>, UvT, Tilburg, December 2009<\/li>\n<li><b>BRIDGE: Building Rich Links to Enable Television History Research<\/b>, Amsterdam, December 2009<\/li>\n<li><b>Op Zoek naar Experts en Andere Entitieiten<\/b>, SURF, Utrecht, December 2009<\/li>\n<li><b>Topical diversity on the web<\/b>, TREC, Gaithersburg, November 2009<\/li>\n<li><b>What do people write about today? Ranking news headlines based on clusters of overused terms<\/b>, TREC, Gaithersburg, November 2009<\/li>\n<li><b>Het web als waarzegger<\/b>, CrossMedia, Hilversum, October 2009<\/li>\n<li><b>CLEF 2010: Conference on Multilingual and Multimedia Information Access Evaluation<\/b>, CLEF, Corfu, September 2009<\/li>\n<li><b>Mining Log Files, Semantically<\/b>, CLEF, Corfu, September 2009<\/li>\n<li><b>Searching User Generated Content<\/b>, Nancy, June 2009<\/li>\n<li><b>Retrieving Experts and Other Entities<\/b>, Saarbruecken, June 2009<\/li>\n<li><b>Expert Profiling in the Wild<\/b>, Enschede, June 2009<\/li>\n<li><b>Information Extraction in a Multilingual Context<\/b>, Pisa, June 2009<\/li>\n<li><b>Content and Structure in Information Retrieval<\/b>, Umea, June 2009<\/li>\n<li><b>Data, Structure. Structure, Data.<\/b>, Delft, May 2009<\/li>\n<li><b>Searching and Mining User Generated Content<\/b>, BCN, Groningen, May 2009<\/li>\n<li><b>Nieuws over Expertise Retrieval<\/b>, UKB, Utrecht, May 2009<\/li>\n<li><b>Semantisch Amsterdam<\/b>, Amsterdam, May 2009<\/li>\n<li><b>Retrieving Entities<\/b>, SIKS, Zeist, April 2009<\/li>\n<li><b>Searching User Generate Content: What&#8217;s Next?<\/b>, ECIR keynote, Toulouse, April 2009<\/li>\n<li><b>Linking Entities and Events<\/b>, Catch meeting, Den Haag, February 2009<\/li>\n<li><b>Het Sociale Web<\/b>, Amsterdam, January 2009<\/li>\n<\/ul>\n<h3><a name=\"2008\"><\/a>2008<\/h3>\n<ul>\n<li><b>People search<\/b>, Nunspeet, November 2008<\/li>\n<li><b>DuOMAn: Dutch Language Online Media Analysis<\/b>, Roosendaal, September 2008<\/li>\n<li><b>WebCLEF&#8212;Goodbye!<\/b>, Aarhus, September 2008<\/li>\n<li><b>Named entity normalization in user generated content<\/b>, Singapore, July 2008<\/li>\n<li><b>Finding Key Bloggers, One Post at a Time<\/b>, Patras, July 2008<\/li>\n<li><b>What system for what scenarios?<\/b>, Madrid, June 2008<\/li>\n<li><b>Retrieving entities<\/b>, Zeist, June 2008<\/li>\n<li><b>Wikipedia-based tagging in user generated content<\/b>, Amsterdam, May 2008<\/li>\n<li><b>Search and discovery in user generated content<\/b>, Glasgow, April 2008<\/li>\n<li><b>Associating People and Documents<\/b>, Glasgow, April 2008<\/li>\n<li><b>Looking at Things Differently<\/b>, Maastricht, April 2008<\/li>\n<li><b>MuNCH: Multimedia aNalysis for Cultural Heritage<\/b>, Hilversum, April 2008<\/li>\n<li><b>Media en cultuur: wat wordt er binnenkort mogelijk?<\/b>, Amsterdam, March 2008<\/li>\n<li><b>Zoeken<\/b>, Amsterdam, March 2008<\/li>\n<li><b>Analyse van blog content<\/b>, Amsterdam, January 2008<\/li>\n<\/ul>\n<h3><a name=\"2007\"><\/a>2007<\/h3>\n<ul>\n<li><b>Vindbaarheid eerst!<\/b>, Den Haag, December 2007<\/li>\n<li><b>QA@INEX: A proposal<\/b>, Amsterdam, November 2007<\/li>\n<li><b>WebCLEF overview<\/b>, CLEF, Aarhus, September 2007<\/li>\n<li><b>Who&#8217;s the user, who&#8217;s the researcher?<\/b> SIGIR workshop on non-Engish web retrieval, Amsterdam, July 2007<\/li>\n<li><b>WiQA: Evaluating Multi-lingual Focused Access to Wikipedia<\/b>, EVIA 2007, Tokyo, May 2007<\/li>\n<li><b>Brainwave<\/b>, Holland Herald, April 2007<\/li>\n<li><b>Identifying Facets in User Generated Content<\/b>, Boulder, March 2007<\/li>\n<li><b>How to Overcome Tiredness: Estimating Topic-Mood Associations<\/b>, Boulder, March 2007<\/li>\n<li><b>Verkiezingskijker<\/b>, Amsterdam, March 2007<\/li>\n<li><b>Het volgen van user generated content<\/b>, Ministerie van OC&amp;W, Amsterdam, February 2007<\/li>\n<li><b>MoodViews<\/b>, WAR site visit, Amsterdam, January 2007<\/li>\n<\/ul>\n<h3><a name=\"2006\"><\/a>2006<\/h3>\n<ul>\n<li><b>Finding Things<\/b>, VUA, Amsterdam, December 2006<\/li>\n<li><b>Stemming op internet voorspellen<\/b>, TROS Radio Online; December 12, 2006<\/li>\n<li><b>Internet Voorkeur<\/b>, NRC; November 11, 2006<\/li>\n<li><b>Het humeur van het Internet<\/b>, BNR Nieuwsradio; November 9, 2006<\/li>\n<li><b>Kennisvalorisatie<\/b>, Senaat, Amsterdam, October 2006<\/li>\n<li><b>Levens Zoekbaar<\/b>, Oratie, Amsterdam, October 2006<\/li>\n<li><b>WebCLEF&#8230; the future<\/b>, CLEF, Alicante, September 2006<\/li>\n<li><b>WebCLEF 2006 Topic Development<\/b>, CLEF, Alicante, September 2006<\/li>\n<li><b>Overview of WebCLEF 2006<\/b>, CLEF, Alicante, September 2006<\/li>\n<li><b>Using Content and Structure at WiQA 2006<\/b>, CLEF, Alicante, September 2006<\/li>\n<li><b>Finding People and Moods<\/b>, IGK, Edinburgh, September 2006<\/li>\n<li><b>Searching for People in the Personal Workspace<\/b>, IIIA, Helsinki, July 2006<\/li>\n<li><b>Internet is boos (of moe of blij)<\/b>, <i>De Psycholoog<\/i> 41(6):342, June 2006<\/li>\n<li><b>Blogs, blogs, blogs<\/b>, ISLA, Amsterdam, June 2006<\/li>\n<li><b>Language Technology for Video Retrieval<\/b>, MuNCH Meeting, Amsterdam, June 2006<\/li>\n<li><b>Stemmingmeter voor internet<\/b>, NRC; May 10, 2006<\/li>\n<li><b>Ein Stimmungsbarometer fur das Web<\/b>, ORF; April 25, 2006<\/li>\n<li><b>Wann weint das Web?<\/b>, Der Spiegel; April 21, 2006<\/li>\n<li><b>Software tracks mood swings of blogosphere<\/b>, The New Scientist; April 20, 2006<\/li>\n<li><b>Software Reportedly Tracks Internet Mood Swings<\/b>, InformationWeek; April 19, 2006<\/li>\n<li><b>Het humeur van het Internet<\/b>, Teleac Radio; April 13, 2006<\/li>\n<li><b>A Study of Blog Search<\/b>, ECIR, London, April 2006<\/li>\n<li><b>Des Bloggers Konsumvorlieben<\/b>, heise online; April 6, 2006<\/li>\n<li><b>Universiteit Amsterdam peilt humeur bloggers<\/b>, tweakers.net; April 5, 2006<\/li>\n<li><b>Humeur van webloggers in kaart gebracht<\/b>, nu.nl; April 5, 2006<\/li>\n<li><b>Het humeur van het internet<\/b>, NWO Press Release; April 4, 2006<\/li>\n<li><b>Feeling Everybody Up<\/b>, MetroActive; March 29, 2006<\/li>\n<li><b>Facing Restrictions in Question Answering<\/b>, DIR, Delft, March 2006<\/li>\n<li><b>Volgende generatie zoekmachines<\/b>, Voorlichting, Amsterdam, January 2006<\/li>\n<\/ul>\n<h3><a name=\"2005\"><\/a>2005<\/h3>\n<ul>\n<li><b>Two Models for Finding Experts<\/b>, TREC, Gaithersburg, November 2005<\/li>\n<li><b>Retrieving Answers from Frequently Asked Questions Pages on the Web<\/b>, CIKM, Bremen, October 2005<\/li>\n<li><b>Question Answering: Now and Next<\/b>, Enschede, October 2005<\/li>\n<li><b>Boosting Web Retrieval through Query Operations<\/b>, BNAIC, Brussels, October 2005<\/li>\n<li><b>Buy 30, Get 547<\/b>, CLEF, Vienna, September 2005<\/li>\n<li><b>Reasoning and Learning in Information Access<\/b>, SIKS, May 2005<\/li>\n<li><b>Search engines that create their own structure &amp; Question Answering<\/b> SIKS, April 2005<\/li>\n<li><b>What&#8217;s Next in QA and IR?<\/b>, Groningen, March 2005<\/li>\n<li><b>Focused Retrieval<\/b>, Hildesheim, Germany, January 2005<\/li>\n<li><b>Question Answering: What&#8217;s Next?<\/b>, IWCS 2005, Tilburg, January 2005<\/li>\n<\/ul>\n<h3><a name=\"2004\"><\/a>2004<\/h3>\n<ul>\n<li><b>Building a Multi-Lingual Web Retrieval Collection<\/b>, CLIN 2004, December 2004<\/li>\n<li><b>Search<\/b>, SIKS School, December 2004<\/li>\n<li><b>Language Modelling and Semistructured Information Retrieval<\/b>, SIKS School on Information Retrieval, December 2004<\/li>\n<li><b>Search<\/b>, Informatics Institute, November 2004<\/li>\n<li><b>Natural Language Processing for the Semantic Web<\/b>, SIKS School on the Semantic Web, November 2004<\/li>\n<li><b>New Ideas<\/b>, CLEF 2004, September 2004<\/li>\n<li><b>Proposal for a Multi-Lingual Web Track<\/b>, CLEF 2004, September 2004<\/li>\n<li><b>A Recall-Oriented Approach to Question Answering<\/b>, CLEF 2004, September 2004<\/li>\n<li><b>Why?<\/b>, ILLC, University of Amsterdam, June 2004<\/li>\n<li><b>Information Access at LIT<\/b>, IMIX Symposium, KUN Nijmegen, May 2004<\/li>\n<li><b>Information Access at LIT<\/b>, ISLA Colloquium, Amsterdam, May 2004<\/li>\n<li><b>The Effectiveness of Combining Information Retrieval Strategies for European Languages<\/b>, ACM Symposium on Applied Computing, Cyprus, March 2004<\/li>\n<\/ul>\n<h3><a name=\"2003\"><\/a>2003<\/h3>\n<ul>\n<li><b>Natural Language Parsing with W-grammars<\/b>, Antwerp, December 2003<\/li>\n<li><b>Quartz-d: A Question Answering System for Dutch<\/b>, TREC 2003, Gaithersburg, November 2003<\/li>\n<li><b>Question Answering System at the University of Amsterdam<\/b>, TREC 2003, Gaithersburg, November 2003<\/li>\n<li><b>Dutch Question Answering<\/b>, SNN, Nijmegen, October 2003<\/li>\n<li><b>Vraag-Antwoord Systemen<\/b>, ICT-Kenniscongres, Den Haag, September 2003<\/li>\n<li><b>Designing a Multi-Stream System for Answering Dutch Questions<\/b>, CLEF 2003, Trondheim, August 2003 [<a href=\".\/Files\/clef2003_qa_poster_ls.pdf\">poster<\/a>]<\/li>\n<li><b>Intelligent Information Access<\/b>, Amsterdam, June 2003<\/li>\n<li><b>Learning and Reasoning for Question Answering<\/b>, Nunspeet, June 2003<\/li>\n<li><b>QA &#8212; What&#8217;s Next?<\/b>, Edinburgh, May 2003<\/li>\n<li><b>Intelligent Information Access<\/b>, Amsterdam, March 2003<\/li>\n<li><b>Towards Temporal Question Answering<\/b>, Bolzano, February 2003<\/li>\n<li><b>Beyond Document Retrieval<\/b>, Trento, February 2003 [<a href=\".\/Files\/nice-trento-february2003.pdf\">slides<\/a>]<\/li>\n<li><b>From Frege to Google<\/b>, Liverpool, February 2003<\/li>\n<li><b>Intelligent Information Access<\/b>, Amsterdam, February 2003<\/li>\n<li><b>Information retrieval and more<\/b>, Utrecht, January 2003<\/li>\n<\/ul>\n<h3><a name=\"2002\"><\/a>2002<\/h3>\n<ul>\n<li><b>Combining Evidence for Monolingual Retrieval in European Languages<\/b>, DIR, Leuven, December 2002<\/li>\n<li><b>Intelligent Information Acces<\/b>, Philips NatLab, Eindhoven, November 2002<\/li>\n<li><b>Kennis-Intensieve Vraag-Antwoordsystemen<\/b>, Amsterdam, Oktober 2002<\/li>\n<li><b>Knowledge-Intensive Question Answering<\/b>, BNAIC&#8217;02, Leuven, Oktober 2002<\/li>\n<li><b>Decomposing Modal Logic<\/b>, AiML, Toulouse, September 2002<\/li>\n<li><b>Combining Morphological and Ngram Evidence for Monolingual Retrieval<\/b>, CLEF, Rome, September 2002<\/li>\n<li><b>Lanugae and Inference Technology<\/b>, ICT-Kenniscongres, Den Haag, September 2002<\/li>\n<li><b>FoLLI: The State of Things<\/b>, ESSLLI, Trento, August 2002<\/li>\n<li><b>Towards a test set for inference in computational semantics<\/b>, Amsterdam, April 2002<\/li>\n<li><b>The University of Amsterdam at CLEF 2001<\/b>, Utrecht, March 2002<\/li>\n<li><b>Computing with Meaning<\/b>, Manchester, March 2002<\/li>\n<li><b>Computing with Meaning<\/b>, Amsterdam, February 2002<\/li>\n<li><b>Evaluate!<\/b>, Amsterdam, January 2002<\/li>\n<\/ul>\n<h3><a name=\"2001\"><\/a>2001<\/h3>\n<ul>\n<li><b>From Computational Logic to Language and Inference Technology<\/b>, Amsterdam, December 2001<\/li>\n<li><b>Language and Inference Technology<\/b>, Nancy, November 2001<\/li>\n<li><b>Structuring Scientific Information<\/b>, OzsL School Week, Nunspeet, October 2001<\/li>\n<li><b>Surely, NLP Can Help IR<\/b>, OzsL School Week, Nunspeet, October 2001<\/li>\n<li><b>8 Slides on WordNet<\/b>, Amsterdam, October 2001<\/li>\n<li><b>Information Retrieval<\/b>, ESSLLI, Helsinki, August 2001<\/li>\n<li><b>Towards a Test Set for Computational Semantics<\/b>, ICoS-3, Siena, June 2001<\/li>\n<li><b>Tree-Based Practical Algorithms for Modal Logic<\/b>, IRCS, University of Pennsylvania, Philadelphia, May 2001<\/li>\n<li><b>Light-Weight Inference in Computational Semantics<\/b>, IRCS, University of Pennsylvania, Philadelphia, May 2001<\/li>\n<li><b>Experiments in Expressive Power<\/b>, IRCS, University of Pennsylvania, Philadelphia, May 2001<\/li>\n<li><b>Computing with Modal Logics<\/b>, Udine, March 2001<\/li>\n<li><b>Computing with Meaning<\/b>, Den Haag, February 2001<\/li>\n<\/ul>\n<h3><a name=\"2000\"><\/a>2000<\/h3>\n<ul>\n<li><b>Computing with Meaning<\/b>, Utrecht, November 2000<\/li>\n<li><b>Three Adverts and a Bit<\/b>, OZSL School Week, Nunspeet, October 2000<\/li>\n<li><b>Balancing Inference and Representation<\/b>, LFCS Seminar, University of Edinburgh, October 2000<\/li>\n<li><b>Description and\/or Hybrid Logic<\/b>, AiML-2000, Leipzig, October 2000<\/li>\n<li><b>Tree-Based Heuristics in Modal Theorem Proving<\/b>, ECAI-2000, Berlin, August 2000<\/li>\n<li><b>Modal Experiments<\/b>, Automated Reasoning Workshop 2000, London, July 2000<\/li>\n<li><b>Logic and Language Links<\/b>, L3 Project Meeting, Amsterdam, June 2000<\/li>\n<li><b>Representatie vs. Algoritme<\/b>, Computational Logic Seminar, Amsterdam, April 2000<\/li>\n<li><b>Logic in Action<\/b>, WEIS Lustrum, March 7, Amsterdam<\/li>\n<li><b>Efficient Reasoning Methods for Shallow Representations<\/b>, Stuttgart, February<\/li>\n<li><b>Computing with Meaning<\/b>, The Hague, February<\/li>\n<li><b>Content<\/b>, Computational Logic Seminar, January, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1999\"><\/a>1999<\/h3>\n<ul>\n<li><b>Computing with Meaning<\/b>, Utrecht, December<\/li>\n<li><b>The Logic of Feature Interaction<\/b>, Computational Logic Seminar, Amsterdam, December<\/li>\n<li><b>Computing with Modal Logic<\/b>, SFB 340 Workshop, Bad Teinach, October<\/li>\n<li><b>Temporal Logic<\/b>, August 9, ESSLLI&#8217;99, Utrecht<\/li>\n<li><b>Feature Interaction as a Satisfiability Problem<\/b>, DL&#8217;99, Linkoeping, July<\/li>\n<li><b>Satisfaction Through Combining<\/b>, May 31, ILLC, Amsterdam<\/li>\n<li><b>Termination in Term Rewriting<\/b>, Computational Logic Seminar, May, Amsterdam<\/li>\n<li><b>Combining Reasoning Systems<\/b>, April 9, AISB, Edinburgh<\/li>\n<li><b>Rekenen met Logica<\/b>, April 1, OzsL, Utrecht<\/li>\n<li><b>Prefixed Resolution<\/b>, February 26, Computational Logic Seminar, ILLC, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1998\"><\/a>1998<\/h3>\n<ul>\n<li><b>Buying Time<\/b>, December 16, Manchester<\/li>\n<li><b>Inference and Natural Language Semantics<\/b>, December 14, LACL-98, Grenoble<\/li>\n<li><b>Description Logics<\/b>, November 27, Computational Logic Seminar, ILLC, Amsterdam<\/li>\n<li><b>Description Logics<\/b>, November 13, Computational Logic Seminar, ILLC, Amsterdam<\/li>\n<li><b>Description Logics<\/b>, October 23, Computational Logic Seminar, ILLC, Amsterdam<\/li>\n<li><b>From Modal Logics to Standard Logics<\/b>, August 24, ESSLLI&#8217;98, Saarbr\u00fccken<\/li>\n<li><b>Managing Fragments<\/b>, July 29, WoLLIC&#8217;98, Sao Paulo<\/li>\n<li><b>From Modal Logics to Standard Logics<\/b>, July 28, WoLLIC&#8217;98, Sao Paulo<\/li>\n<li><b>Process Operations in Extended Dynamic Logic<\/b>, June 23, LICS&#8217;98, Indianapolis<\/li>\n<li><b>Description Logics and Modal Logics<\/b>, June 7, DL&#8217;98, Trento<\/li>\n<li><b>Constraining Semistructured Data<\/b>, May 15, Amsterdam<\/li>\n<li><b>Classifying Small Description Languages<\/b>, May 8, Lisbon<\/li>\n<li><b>Semistructured Data<\/b>, January 24, UGLLI&#8217;98, Uppsala<\/li>\n<\/ul>\n<h3><a name=\"1997\"><\/a>1997<\/h3>\n<ul>\n<li><b>Semistructured Data<\/b>, November, Warwick<\/li>\n<li><b>Classifying Description Logics<\/b>, September, DL&#8217;97, Paris<\/li>\n<li><b>Expressiveness of First-Order Description Logics<\/b>, June, Warwick<\/li>\n<li><b>Modal Logic<\/b>, April, SIKS PhD School, Utrecht<\/li>\n<\/ul>\n<h3><a name=\"1996\"><\/a>1996<\/h3>\n<ul>\n<li><b>Finite Structures<\/b>, December, JAIST, Kanazawa<\/li>\n<li><b>Restricted Description Languages<\/b>, December, Chiba University, Japan<\/li>\n<li><b>Modal Model Theory<\/b>, December, Chiba University, Japan<\/li>\n<li><b>Bisimulations for Temporal Logic<\/b>, November, Manchester<\/li>\n<li><b>Simulating Without Negation<\/b>, November, Birmingham<\/li>\n<li><b>Formal Agent Theories<\/b>, October, FoMAS&#8217;96, Warwick<\/li>\n<li><b>Bisimulations for Temporal Logic<\/b>, October, Queen Mary and Westfield College, London<\/li>\n<li><b>Directed Simulations<\/b>, September, CSL&#8217;96, Utrecht<\/li>\n<li><b>Observational Equivalence and Logical Equivalence<\/b>, August, ESSLLI&#8217;96, Prague<\/li>\n<li><b>Reasoning about Changing Information<\/b>, July, University of Cape Town<\/li>\n<li><b>Bisimulation and Logic<\/b>, June, UNISA, Pretoria<\/li>\n<li><b>Expressive Power in Knowledge Representation<\/b>, June, UNISA, Pretoria<\/li>\n<li><b>Logics and Processes<\/b>, June, Annual Meeting of the South-African Computer Lecturers Association, Pretoria<\/li>\n<li><b>Expressivity and Modal Logic<\/b>, May, Max-Planck Institut fuer Informatik, Saarbruecken<\/li>\n<li><b>Logic, Transition Systems and Processes<\/b>, May, Max-Planck Institut fuer Informatik, Saarbruecken<\/li>\n<li><b>How to Put Two Logics Together<\/b>, March, Warwick<\/li>\n<li><b>Modal Tree Logics<\/b>, January, CWI, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1995\"><\/a>1995<\/h3>\n<ul>\n<li><b>Completeness Results for Two-Sorted Metric Temporal Logics<\/b>, July, AMAST&#8217;95, Montreal<\/li>\n<li><b>Trees, Grammar and Dynamic Logic<\/b>, May, Leipzig<\/li>\n<li><b>Process Equivalence and Logical Equivalence<\/b>, March, Cape Town<\/li>\n<li><b>Process Equivalence and Logical Equivalence<\/b>, February, Warwick<\/li>\n<li><b>Modal Model Theory<\/b>, February, CIS, Universitaet Muenchen<\/li>\n<li><b>Dynamic Logic as a Description Language<\/b>, February, CIS, Universitaet Muenchen<\/li>\n<li><b>Tree Logics for Computational Linguistics<\/b>, January, CWI, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1994\"><\/a>1994<\/h3>\n<ul>\n<li><b>A Lindstroem Theorem for Modal Logic<\/b>, December, NSL &#8217;94, Kanazawa, Japan<\/li>\n<li><b>Now This is Modal Logic<\/b>, November, Amsterdam<\/li>\n<li><b>Bisimulations and Fragments of First-order Logic<\/b>, August, ESSLLI&#8217;94, Copenhagen<\/li>\n<li><b>The Logic of Peirce Algebras<\/b>, August, ESSLLI&#8217;94, Copenhagen<\/li>\n<li><b>Completeness via Flatness<\/b>, July, ICTL&#8217;94, Bonn<\/li>\n<li><b>Back and Forth between Time and Events<\/b>, July, ICTL&#8217;94, Bonn<\/li>\n<li><b>Zooming In, Zooming Out<\/b>, June, STAS4, Moraga CA, USA<\/li>\n<li><b>Logics of Communicating Structures<\/b>, May, LLC-3, CSLI, Stanford, USA<\/li>\n<li><b>A Lindstroem Theorem for Modal Logic<\/b>, April, Workshop Three Days of Bisimulation, Amsterdam<\/li>\n<li><b>Model Theory for Modal Logic<\/b>, March, FACCS-Lab Seminar, University of Cape Town<\/li>\n<li><b>The Logic of Peirce Algebras<\/b>, March, Mathematics Colloquium, University of Cape Town<\/li>\n<li><b>Dynamic Logic and Theory Change<\/b>, March, Joint Maths\/AI Colloquium, University of Cape Town<\/li>\n<li><b>Zooming In, Zooming Out<\/b>, January, Dagstuhl Seminar on Relational Methods in Computer Science, Saarbruecken<\/li>\n<\/ul>\n<h3><a name=\"1993\"><\/a>1993<\/h3>\n<ul>\n<li><b>Sequent Calculi for Logics that Count<\/b>, November, Workshop on Proof Theory of Modal Logic, Hamburg<\/li>\n<li><b>The Logic of Peirce Algebras<\/b>, October, Colloquium on Partial and Dynamic Semantics, Utrecht<\/li>\n<li><b>Dynamic Logic<\/b>, August, ESSLLI&#8217;93, Lisbon<\/li>\n<li><b>Counting Objects<\/b>, May, ICCS&#8217;93, San Sebastian, Spain<\/li>\n<li><b>Dynamic Modal Logic II<\/b>, February, Amsterdam<\/li>\n<li><b>Dynamic Modal Logic I<\/b>, February, Amsterdam<\/li>\n<li><b>Counting Objects<\/b>, February, Imperial College, London<\/li>\n<li><b>Counting Objects<\/b>, January, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1992\"><\/a>1992<\/h3>\n<ul>\n<li><b>What is Modal Logic?<\/b>, December, Logic at Work, Applied Logic Conference, Amsterdam<\/li>\n<li><b>A System of Dynamic Modal Logic<\/b>, November, Colloquium on Partial and Dynamic Semantics<\/li>\n<li><b>A Framework for Extended Modal Logic<\/b>, October, Seminar on Non-Classical Logics, Sofia<\/li>\n<li><b>A System of Dynamic Modal Logic<\/b>, August, ASL European Summer Meeting, Veszprem, Hungary<\/li>\n<li><b>Changing Information: the Amsterdam Way<\/b>, May, CSLI Seminar, Stanford CA, USA<\/li>\n<li><b>At Some Other Place<\/b>, May, Intensional Logic Colloquium, Stanford CA, USA<\/li>\n<li><b>A Modal Logic for Updating and Contracting<\/b>, March, Colloquium on Non-Monotonic Reasoning, Delft<\/li>\n<li><b>Extending Modal Logic<\/b>, February, Amsterdam<\/li>\n<\/ul>\n<h3><a name=\"1991\"><\/a>1991<\/h3>\n<ul>\n<li><b>A Modal Logic for Updating and Revising<\/b>, December, Workshop on Logic and the Flow of Information, Amsterdam<\/li>\n<li><b>Generalized Quantifiers and Modal Logic<\/b>, May, Colloquium on Logic and Theoretical Computer Science, Eindhoven<\/li>\n<\/ul>\n<h3><a name=\"1990\"><\/a>1990<\/h3>\n<ul>\n<li value=\"4\"><b>Extended Modal Logic II<\/b>, October, Amsterdam<\/li>\n<li value=\"3\"><b>Extended Modal Logic I<\/b>, October, Amsterdam<\/li>\n<li value=\"2\"><b>Unary Interpretability Logic<\/b>, June, Symposium Logic and Computer Science around the 42nd parallel, Marseille<\/li>\n<li value=\"1\"><b>Why Not at a Different Time?<\/b>, April, Amsterdam<\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"<p>Main speaking commitments until 2010, ordered by year. Appearances since 2020 can be found here. Talks given between 2010 and 2019 are listed here. 2022 \u2022 2021 \u2022 2020 \u2022 2019 \u2022 2018 \u2022 2017 \u2022 2016 \u2022 2015 \u2022 2014 \u2022 2013 \u2022 2012 \u2022 2011 \u2022 2010 \u2022 2009 \u2022 2008 \u2022 2007&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":23,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/2007"}],"collection":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/comments?post=2007"}],"version-history":[{"count":9,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/2007\/revisions"}],"predecessor-version":[{"id":3228,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/2007\/revisions\/3228"}],"up":[{"embeddable":true,"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/pages\/23"}],"wp:attachment":[{"href":"https:\/\/staff.fnwi.uva.nl\/m.derijke\/wp-json\/wp\/v2\/media?parent=2007"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}