Skip to main content
Carnegie Mellon University

NASSLLI 2018 @ CMU - June 23-29

North American Summer School on Logic, Language, and Information

NASSLLI 2018 logo
North American Summer School on Logic, Language, and Information  ›  NASSLLI 2018 @ CMU - June 23-29  ›  Instructors

Logic & Epistemology

Professor Baltag is an associate professor at the ILLC in Amsterdam. His research interests include (but are not limited to) modal logic, epistemic logic, multi-agents systems, quantum logic, coalgebras, rationality, and philosophy of science.

Course: Logics for formal epistemology

Professor Bjorndahl is an assistant professor of philosophy at CMU. He is primarily interested in modeling decision-making under uncertainty and how it changes in the presence of new information, using tools from decision theory, game theory, and epistemic logic. Recent work has focused on topological methods in knowledge representation, and language-based games.

Course: Topology, Logic, and Epistemology

Professor Goranko is a professor of logic and theoretical philosophy at Stockholm University. His research focuses on the theory and applications of logic to artificial intelligence, philosophy, agency, multi-agent systems, computer science, and game theory.

Course: Logics for epistemic and strategic reasoning in multi-agent systems

Professor Icard is an associate professor of philosophy at Stanford University. His interests include (but are not limited to) causality, epistemic logic, philosophy of science, and philosophy of probability. He co-organizes the Berkeley-Stanford Circle in Logic and Philosophy.

Course: Logic and probability

Krzysztof Mierzewski is a Ph.D. student in philosophy at Stanford University. His interests include logic, symbolic systems, formal philosophy, philosophy of science, and philosophy of mathematics.

Course: Logic and probability

Professor Smets is a professor of logic and epistemology at the ILLC in Amsterdam. She is also the director of the ILLC. Her research centers on logic and the use of its concepts and methods to model the laws and dynamics of different notions of information, knowledge and belief, with focus in particular on multi-agent systems that involve on the one hand quantum information flow and on the other hand the knowledge transfer (by classical communication) between agents.

Course: Logics for formal epistemology

Professor Verbrugge is a professor of logic and cognition at the University of Groningen. She leads the Multi-agents Systems Group of the Institute of Artificial Intelligence and Cognitive Engineering, and is associate editor of the Journal of Logic, Language, and Information. Her interests lie in multi-agent systems, higher-order social cognition, and the applications of logic in artificial intelligence.

Course: From Epistemic Logic to Social Cognition

Professor Wang is an associate professor of logic at Peking University. His research interests include different kinds of knowledge, their representations, and their logics, epistemic logic, dynamic logic, multi-agent systems, and formal semantics.

Course: Beyond "knowing that": a new generation of epistemic logics

Logic & Computation

Professor Blackburn is a professor of philosophy at Roskilde University. His research focuses on logic and its applications in cognitive science, computer science, and philosophy. He is currently working on indexicality, two-dimensionality, and higher-order reasoning.

Course: Hybrid Logic

Dr. Das is a Marie Skłodowska-Curie research fellow at the University of Copenhagen. His research focusses on proof theory, the area of mathematical logic concerned with formal proofs. In particular, he is interested in the interactions between logic and computational complexity.

Course: Proof interpretations: a modern perspective

Professor Gormley is an assistant teaching professor of machine learning at CMU. His research interests include (but are not limited to) grammar induction, dependency parsing, semantic parsing, knowledge base population, coreference resolution, approximate inference, unsupervised learning, and decomposition techniques.

Course: Machine learning

I am a mathematician interested in foundational aspects of probability theory and statistics, currently working as a research engineer at a German robot software company. My research has touched on a number of areas related to the concept of uncertainty and rational thought, including historical and epistemological issues. At the moment, I am finishing a paper about optimality criteria in the presence of unquantifiable uncertainty and their implications for game theory.

https://github.com/mathias-madsen

Course: Information theory

Professor Moss is a professor of mathematics at Indiana University at Bloomington. He is the director of graduate studies for the Cognitive Science Program and the director for the program in Pure and Applied Logic. His interests lie in applied logic: the study of mathematical and conceptual tools for use in computer science, linguistics, artificial intelligence, and other areas.

Course: Logic for natural language, logic in natural language

Dr. Powell is a postdoctoral researcher in mathematics at the Technical University of Darmstadt. His research is in mathematical logic and proof theory, with a focus on functional interpretations, the extraction of computational content from proof, and higher type computability theory.

Course: Proof interpretations: a modern perspective

Professor Restall is a professor of philosophy at the University of Melbourne. His background is in non-classical logic (especially substructural logics and paraconsistency), and he is currently working on proof theory and its connections to issues in semantics. More about his work can be found at http://consequently.org.

Course: Proof theory: logical and philosophical aspects

Dr. Standefer is a postdoctoral researcher on the ARC project Meaning in Action at the University of Melbourne. He works on philosophical logic (truth, proof theory, and modal logic), philosophy of language, philosophy of logic, philosophy of science, and the history of early analytic philosophy.

Course: Proof theory: logical and philosophical aspects

Computational Linguistics

Dr. Balogh is a post-doc at the University of Duesseldorf. She works on the role of information structure in sentence formation and construal.

Course: Language modeling with tree-adjoining grammars

Professor Birnbaum is a co-chair of the Department of Slavic Languages and Literature at the University of Pittsburgh. His research interests lie in digital humanities (especially computational philology), Medieval Slavic manuscripts, and Slavic historical linguistics. He also teaches computational methods in the humanities at the undergraduate and graduate levels.

Course: Corpus Linguistics with Python and NLTK

Professor Degen is an associate professor of linguistics at Stanford. She directs the InterActive Language Processing Lab. Her research focuses on experimental and computational semantics and pragmatics, psycholinguistics, and cognitive science.

Course: Computational pragmatics

Dr. Han is a lecturer in linguistics at the University of Pittsburgh. She is interested in computational linguistics, corpus linguistics, natural language processing, methods for educational assessment and instruction, and computer-assisted language learning.

Course: Corpus linguistics with python and NLTK

Dr. Mortensen is a research scientist at the Language Technologies Institute at CMU. He works on the LORELEI project. He is interested in application of linguistics to natural language processing, phonology, morphology, linguistic typology, and historical linguistics.

Course: Low resource techniques in NLP

Professor Oflazer received his PhD in Computer Science from Carnegie Mellon University in Pittsburgh, PA, USA, and his MS in CS and BS in EE degrees from Middle East Technical University in Ankara Turkey. He is currently a faculty member at Carnegie Mellon University – Qatar, where he is also the Associate Dean for Research and Faculty Head of the Computer Science Program. He has held visiting positions at Computing Research Laboratory at New Mexico State University, and at the Language Technologies Institute, Carnegie Mellon University, Pittsburgh, PA. Prior to joining CMU-Qatar, he was on the faculty of Sabanci University in Istanbul Turkey and of Bilkent University in Ankara, Turkey. He has worked extensively on developing NLP techniques and resources for Turkish and his current research interests are in statistical machine translation into morphologically complex languages, using NLP for language learning and machine learning for computational morphology.

Course: Computational morphology

Dr. Petitjean is a postdoctoral researcher at Heinrich Heine University in Duesseldorf. He is mainly interested in natural language processing and constraint solving. He is currently working on XMG-2, a modular and extensible tool for the development of linguistic resources.

Course: Language modeling with tree-adjoining grammars

Professor Tsvetkov is an assistant professor at the Language Technologies Institute at CMU. Her research interests lie at or near the intersection of natural language processing, machine learning, and linguistics. Her research currently focuses on multilingualism and low-resource NLP, interpretability of deep learning, controllable text generation, and NLP for social good.

Course: Low resource techniques in NLP

Professor Wiener is an assistant professor of modern languages at CMU. His research focuses on areas that are central to understanding the nature of the cognitive processes and representations that enable listeners to understand language and recognize spoken words. In particular, he is interested in lexical representation, lexical access, and first and second language acquisition.

Course: Introduction to linguistic data analysis using R

Semantics & Pragmatics

Professor Anand is an associate professor of linguistics at UCSC. His research focuses on how context intrudes into or guides the interpretive process and how perspective is grammatically represented. He is interested in the de re/de se/de dicto contrasts, the nature of subjectivity in evaluative and epistemic predication, and the structure of indexical shift.

Courses:
-An opinionated guide to predicates of personal taste
-Semantics and pragmatics of temporal sequencing

Professor Champollion is an associate professor of linguistics at NYU. His research focuses on the formal semantics of natural language. He is the author of the book Parts of a Whole: Distributivity as a Bridge between Aspect and Measurement (2017).

Course: Integrating compositional semantics and event semantics

Maria Esipova is a Ph.D. student in linguistics at NYU. Her interests lie in semantics and its interface with pragmatics, syntax, and prosody.

Course: Integrating compositional semantics and event semantics

Professor Geurts is a professor of philosophy at Radboud University Nijmegen. His research began by viewing communication from a linguistic/psychological angle, and in recent years has started to look at the social aspects of communication. The main themes he's worked on in the past are quantification, presupposition, and conversational implicatures. More recently, he's worked on speech acts and common ground..

Course: Introduction to Pragmatics

Professor Khoo is an assistant professor of philosophy at MIT. He is interested in the philosophy of language at the intersection of linguistics and philosophy; other interests include metaphysics, metaethics, and philosophical logic.

Course: Probabilities of conditionals in modal semantics

Dr. Korotkova is a fellow of the Alexander von Humboldt foundation, and is currently affiliated with the linguistics department of the University of Konstanz, and the University of Tübingen. Dr. Korotkova is interested in how and why languages differ, what is universal in natural language, the division of labor between semantics and pragmatics, and on the synthesis between linguistics and philosophy.

Course: An opinionated guide to predicates of personal taste

Professor Santorio is an associate professor of philosophy at UCSD. He works on conditionals, modality, causal reasoning, expressivism, intentionality, variables, and future-oriented talk.

Course: Probabilities of conditionals in modal semantics

Professor Szabo is a professor of philosophy at Yale University. His interests lie in philosophy of language and metaphysics. His current areas of research are the semantics of modality, tense and aspect, the relationship between lexical and ontological categories, and the nature of context.

Course: Formal semantics and pragmatics, and their origins in philosophy

Professor Thomason is a professor of philosophy at the University of Michigan. His research interests include philosophical logic, philosophy of language, inheritance and nonmonotonic reasoning, knowledge representation and commonsense reasoning, natural language semantics, linguistic and philosophical theories of discourse, computational models of discourse, and computer-assisted field linguistics.

Course: Formal semantics and pragmatics, and their origins in philosophy

Professor Toosarvandani is an associate professor of linguistics at UCSC. His research explores how speakers convey meaning in discourse by recruiting grammatical properties of their language and general pragmatic principles, comparing languages like Northern Paiute, Persian, or Zapotec to languages we know more about.

Course: Semantics and pragmatics of temporal sequencing

Explorations

Profesor Awodey is a professor of philosophy and mathematics at CMU. His research areas include category theory, logic, philosophy of mathematics, and early analytic philosophy. His current work is on Homotopy Type Theory and Univalent Foundation. He is the author of the book Category Theory (2006).

Course: New type-theoretic tools in natural language semantics

Konstantin Genin is a Ph.D. candidate in philosophy at CMU. His research focuses on topological approaches to the epistemology of science.

Course: Topological epistemology of science

Sorcha Gilroy is a Ph.D. student in data science at the University of Edinburgh. She works in formal language theory within natural language processing.

Course: Graph formalisms for meaning representations

Professor Grudzinska is a professor of philosophy at the University of Warsaw. She is interested in formal semantics and philosophy of language. Her current research focuses on the use of dependent type theoretical frameworks to study natural language semantics.

Course: New type-theoretic tools in natural language semantics

Professor Kelly is a professor of philosophy and the director of the Center for Formal Epistemology at CMU. His interests include belief revision, learning theory, epistemic logic, and qualitative belief. His recent work has dealt with the bias towards empirical simplicity in scientific theories.

Course: Topological epistemology of science

Professor Levin is a Research Professor at the Language Technologies Institute at Carnegie Mellon University. She works on language technologies for low-resource languages and the use of syntax and morphhological analysis in NLP systems. She also works on construction-based corpus annotation, and is an organizer of the North American Computational Linguistics Olympiad.

Course: Conlang playground: from linguistic research to creative fiction

Dr. Lopez is a reader at the Institute for Language, Cognition and Computation at the University of Edinburgh. He develops computational models of natural language learning, understanding and generation in people and machines, and his research focuses on basic scientific, mathematical, and engineering problems related to these models.

Course: Graph formalisms for meaning representations

Professor Zawadowski is an associate professor of mathematics at the University of Warsaw. His research interests are in logic and category theory.

Course: New type-theoretic tools in natural language semantics

Colin Zwanziger is a Ph.D. student in philosophy at CMU. His research interests lie in category theory, philosophy of language, and type-theoretic and categorical linguistics.

Course: New type-theoretic tools in natural language semantics

Presenting Sponsor:

Citi Ventures