Skip to content

Commit fc5871f

Browse files
authored
Update forte.md
1 parent 9c241a7 commit fc5871f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

2025/forte.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@ Selected papers will be invited to a special issue of [**Logical Methods in Comp
8686
* Simon Gay (University of Glasgow, UK)
8787
* Ping Hou (University of Oxford, UK)
8888
* Tobias Kappé (Leiden University, NL)
89-
* Vasileios Koutavas] (Trinity College Dublin, IE)
89+
* Vasileios Koutavas (Trinity College Dublin, IE)
9090
* Jean Krivine (IRIF Paris, FR)
9191
* Cosimo Laneve (University of Bologna, IT)
9292
* Ana Almeida Matos (University of Lisbona, PT)
@@ -106,7 +106,7 @@ Selected papers will be invited to a special issue of [**Logical Methods in Comp
106106
* Shoji Yuen (Nagoya University, JP)
107107

108108
## Artefact Evaluation Committee chair
109-
* Omar Incerto (IMT Lucca, IT)
109+
* Emilio Incerto (IMT Lucca, IT)
110110

111111
## Artefact Evaluation Committee
112112
TBA

0 commit comments

Comments
 (0)