Academic ramblings

• What's that thing for?, presented at a joint conference between TU/e and KTH. Closely related to my paper on instrumental functions.
• Is Software Malfunction an Oxymoron?, presented at NA-CAP 2007 at Loyola University. This is a presentation of some joint work with Luciano Floridi.
• The Muddy Children, presented at Colorado State University. This is an exposition of the logic of public announcements developed by Johan van Benthem, et al. Handouts.
• Of Functions and Means, presented at Colorado State University. A summary of the work I did on functions and means-end relations.
• A Semantics for Means-End Relations, presented at the fifth European Congress for Analytic Philosophy. The topic is similar to our SEP presentation, but includes much material not covered there, including objects as means and a discussion of efficacy.
• A Semantics for Functional Efficacy, presented at SPT 2005. Based on joint work with Sjoerd Zwart.
• Means-end Relations and a Measure of Efficacy, presented at Progic 2005. Based on joint work with Albert Esterline and Bahram Kimiaghalam. (paper, transparencies).
• Means-End Relations and Artifactual Functions, presented at our Norms in Knowledge conference. (paper).
• A Semantics for Means-End Relations, slides for my talk at SEP 2005. In fact, the beamer didn't work so no one saw these slides. Consider this their world debut. This talk is closely related to my 2004 Eindhoven-Delft Research Day slides and also my earlier Diversions seminar slides. Note: xpdf doesn't display some of the slides correctly. Try Adobe Acrobat for better results. Sorry. The talk was based on joint work with Peter Kroes and Sjoerd Zwart. (paper).
• Admissible Digit Sets. This is a presentation of joint work with Milad Niqui. The presentation was given at the Exact Real Arithmetic Afternoon, Sept. 28, 2004 at Radboud University of Nijmegen. (paper).
• Artifactual Functions: A Plan for Analysis. These slides were presented at an informal meeting with colleagues at the Royal Institute of Technology in Stockholm.
• Norms in Knowledge: A Sketch. This is the slides for my job interview with the TU/E philosophy department. It consists of a brief overview of how I tentatively intended to formalize functional ascriptions. It's not altogether consistent with my current work, but not a bad overview nonetheless.
• Simulations in Coalgebra, as presented at CMCS 2003. Jointly authored with Bart Jacobs. (paper).
• At Eindhoven, I spoke about CCSL and security protocol verifications, which comes from joint work with Martijn (Junior) Warnier. This includes a theoretical section about the informal foundations of CCSL, including work from Tews, Jacobs and von Karger. The Coinductive Approach to Verifying Cryptographic protocols. See also Junior's home page for an abstract for a WADT talk he gave on the same topic. (paper).
• I gave a series of three talks at Technical University of Dresden in February, 2002. This series of talks summarizes the results in previous talks.
  • Some Co-Birkhoff Type Theorems
  • The Formal Dual of Birkhoff's Completeness Theorem
  • A Step Towards Deductive Completeness for Coequations
• "A complete deductive calculus for (implications of) coequations". The title is perhaps more ambitious than the outcome, as the calculus I present here is a logical calculus only in a very broad sense of the term. Nonetheless, this is a nice start for a completeness theorem, about which I will write more soon.
• "Horn Covarieties of Coalgebras", slides for an introduction to Horn covarieties of coalgebras and their corresponding generalized coequations. Presented at CMCS 2002. (paper).
• "Modal Operators for Coequations", presented at CMCS 2001. (paper).

Note: The slides I prepare for talks do not satisfy the academic standards for written works. In particular, I do not include written references to prior literature in these slides. Please refer to accompanying papers or write me for references.