FOL75 Links
To my relief, there have been a few more advanced talks later at the FOL75 conference of which I understood very little. Here I just want to link to a new Gentzen-like deductive system that was presented at the conference by Kai Brünnler and the research on relativity theory several people currently work on in Budapest.