About

Winter 2010 Course Information

Course Number: LING 795.10
Call Number: 14260
Instructor: Carl Pollard
Meeting Time: Wednesdays, 11:30am - 1:00pm
Meeting Room: Lazenby Hall 0028

Manifesto

This is a weekly forum open to anyone with an interest in logic, language, information and computation (llic). The Linguistics Department is the official home of this forum, though given the subject matter, we encourage participation from interested parties in other departments -- especially mathematics, computer science and philosophy. We plan a varied schedule of work in progress presentations, general discussion and instructional tutorials. We do not shy away from the technical aspects, so be prepared to learn some math and theoretical computer science.

The main focus of llic is the intersection of linguistics, logic, and computation and information theory. Specifically, llic subject matter is drawn from

• Linguistics - Syntax, Semantics, Formal Pragmatics;
• Logic - Model Theory, Proof Theory;
• Algebra - Lattice Theory, Algebraic Semantics;
• Theoretical Computer Science - Formal Language Theory, Operational and Denotational Semantics;
• Information Theory - Dynamical Systems, Measure Theory, Machine Learning.

We welcome presentations on any of the material listed above. We try to coordinate our presentations with other linguistics and computer science reading groups:

• Clippers
• Slate Lab
• Synners
• Pragmatics Group

To get a sense of what kinds of presentations are given in which group, Clippers and Slate Lab focus primarily on machine learning, probabilistic language processing, and automatic speech recognition, Synners and Pragmatics Group primarily on syntax, semantics, and pragmatics phenomena and intuitive analysis. Commies focuses mainly on the algebra, logic, and theoretical computer science aspects used in cultivating and formalizing theory and developing practical applications.

Discussion Schedule

To suggest a paper or topic for discussion, email Andy Plummer at plummer@ling.osu.edu.
To receive information on upcoming events and presentations, join the commies mailing list.

Past schedules

Winter 2010 Discussion Schedule

Date	Topic	Felicitator
6 Jan	Organizational meeting	Comrades
13 Jan	Directed-Complete Partial Orders and Scott Topologies Summary: Cpos, PCF, and Control (Sec. 1.1 and 3.1)	Andy Plummer
20 Jan	Denotational Semantics of PCF Summary: John Longley's notes on PCF Amadio & Curien Lambda calculus, PCF Scott Topologies (Cont.) Summary: Cpos, PCF, and Control (Sec. 3.2 and 3.3)	Pat Reidy Andy Plummer
27 Jan	Denotational Semantics of PCF (Cont.) Summary: John Longley's notes on PCF Amadio & Curien Lambda calculus, PCF	Pat Reidy
3 Feb	Call-by-name material	Pat Reidy
10 Feb	Call-by-value and Fischer CPS Summary: Cpos, PCF, and Control (Sec. 5.1)	Andy Plummer
17 Feb	Simulating Control with Monads: A Paean to Ceiling Cat	Andy Plummer
24 Feb	Continuations and CPS Transformations	Andy Plummer
3 Mar	Dynamic semantics (CPS version)	Carl Pollard Scott Martin
10 Mar	????	????

Links

Category Theory

Asperti and Longo: Categories, Types and Structures
Barr and Wells: Category Theory Lecture Notes
Blute and Scott: Category Theory for Linear Logicians
Crouch and van Genabith: Linear Logic for Linguists
Pierce: Basic Category Theory for Computer Scientists
Scott: Some Aspects of Categories in Computer Science

Mathematics and Philosophy

MathSci
MathWorld
PlanetMath
Stanford Encyclopedia of Philosophy

Linguistics

Convergent Grammar
Higher Order Grammar
LING 681: Algebraic Linguistics
LING 680: Formal Foundations

Top | About | Discussion Schedule | Past Schedules | Links