diff --git a/LICENSE b/LICENSE
index 81cd6a9..8403439 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,15 @@
 BSD 2-Clause License
 
-Copyright (c) 2023, Logic and Semantics @ Aarhus University
+This applies to all files in this archive except folder
+"system-semantics".
+
+Copyright (c) 2023,
+   Zongyuan Liu
+   Angus Hammond
+   Jean Pichon-Pharabod
+   Thibaut Pérami
+
+All rights reserved.
 
 Redistribution and use in source and binary forms, with or without
 modification, are permitted provided that the following conditions are met: