Skip to content
Snippets Groups Projects
Commit 2001af38 authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

Merge branch 'master' of github.com:KWARC/kwarc.info

parents 12d97979 938b4270
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
events/Tetrapod-2018.md
+ 1
− 1
View file @ 2001af38
...@@ -34,7 +34,7 @@ Of particular interest are ...@@ -34,7 +34,7 @@ Of particular interest are
- Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de) - Florian Rabe, Jacobs University Bremen (f.rabe@jacobs-university.de)
#### Location #### Location
[Federated Logic Conference 2018, Cambridge](http://www.floc2018.org/), July 13. [Federated Logic Conference 2018, Oxford](http://www.floc2018.org/), July 13.
#### Format #### Format
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment