The list of publications and talks on my website has been pretty much out of date. Now it is updated, for you to enjoy. đ

# Tag Archives: publication

# New paper about a generalization of FRP and causality in categorical models

Yesterday I finished my new paper *Temporal Logic with âUntilâ, Functional Reactive Programming with Processes, and Concrete Process Categories*, which will appear in the proceedings of PLPV â13 and is also available online. I have already given two talks on topics of this paper, one at the Joint EstonianâLatvian Theory Days at MedzÄbaki and another one at the Theory Seminar of the Institute of Cybernetics. Continue reading

# Paper on categorical models of temporal logic and FRP published

My MFPS â12 paper *Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming* has just been officially published by Elsevier. Continue reading

# Slides of my MFPS talk now online

MFPS took place a month ago, and today I finally managed to publish the slides of my talk ;-). The topic of these slides is similar to the topic of the seminar talk I gave at 10 May, but the overlap is not too large. So you might be interested in having a look.

# Talk about categorical models of temporal logic and FRP

I recently gave a talk about the main points of my MFPSÂ â12 paper. The title of the talk wasÂ *Categorical Models for Two Intuitionistic Modal Logics*. Continue reading

# New paper about categorical models of temporal logic and FRP

Temporal logic and functional reactive programming are related via a CurryâHoward correspondence, as has recently be shown by Alan Jeffrey and by myself. Given this intriguing connection, it seems to be worthwhile to look for a common categorical semantics of temporal logic and FRP. This undertaking is a current research topic of mine. I will present some results on this at this yearâs MFPS conference under the title *Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming*. A preprint of the corresponding paper is now available online. Continue reading