diff --git a/quint/src/ErrorMessage.ts b/quint/src/ErrorMessage.ts
index ce488f62c..959fe74ea 100644
--- a/quint/src/ErrorMessage.ts
+++ b/quint/src/ErrorMessage.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/FreshVarGenerator.ts b/quint/src/FreshVarGenerator.ts
index 2d5a0b475..55db3d18b 100644
--- a/quint/src/FreshVarGenerator.ts
+++ b/quint/src/FreshVarGenerator.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/builtin.ts b/quint/src/builtin.ts
index db0daac53..7b8c0354e 100644
--- a/quint/src/builtin.ts
+++ b/quint/src/builtin.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/docs.ts b/quint/src/docs.ts
index 739038843..7c2365c75 100644
--- a/quint/src/docs.ts
+++ b/quint/src/docs.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/EffectVisitor.ts b/quint/src/effects/EffectVisitor.ts
index b72219ccd..62b1b6c51 100644
--- a/quint/src/effects/EffectVisitor.ts
+++ b/quint/src/effects/EffectVisitor.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/MultipleUpdatesChecker.ts b/quint/src/effects/MultipleUpdatesChecker.ts
index db492bd0d..f6da68e96 100644
--- a/quint/src/effects/MultipleUpdatesChecker.ts
+++ b/quint/src/effects/MultipleUpdatesChecker.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/ToEffectVisitor.ts b/quint/src/effects/ToEffectVisitor.ts
index 15a2b9a56..d8c8f33c0 100644
--- a/quint/src/effects/ToEffectVisitor.ts
+++ b/quint/src/effects/ToEffectVisitor.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/base.ts b/quint/src/effects/base.ts
index 9b97012c4..1b466a7c0 100644
--- a/quint/src/effects/base.ts
+++ b/quint/src/effects/base.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/builtinSignatures.ts b/quint/src/effects/builtinSignatures.ts
index 9fa316723..3111e3ab8 100644
--- a/quint/src/effects/builtinSignatures.ts
+++ b/quint/src/effects/builtinSignatures.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/inferrer.ts b/quint/src/effects/inferrer.ts
index 56f191c85..127620a49 100644
--- a/quint/src/effects/inferrer.ts
+++ b/quint/src/effects/inferrer.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/modeChecker.ts b/quint/src/effects/modeChecker.ts
index ab7331977..8a657cc2b 100644
--- a/quint/src/effects/modeChecker.ts
+++ b/quint/src/effects/modeChecker.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/parser.ts b/quint/src/effects/parser.ts
index 719cb89fe..894a6b101 100644
--- a/quint/src/effects/parser.ts
+++ b/quint/src/effects/parser.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/printing.ts b/quint/src/effects/printing.ts
index 5047961be..d7dc84d15 100644
--- a/quint/src/effects/printing.ts
+++ b/quint/src/effects/printing.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/simplification.ts b/quint/src/effects/simplification.ts
index 4f9242d0f..ec4b65501 100644
--- a/quint/src/effects/simplification.ts
+++ b/quint/src/effects/simplification.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/effects/substitutions.ts b/quint/src/effects/substitutions.ts
index ff19d1cac..8ed67ed62 100644
--- a/quint/src/effects/substitutions.ts
+++ b/quint/src/effects/substitutions.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/errorReporter.ts b/quint/src/errorReporter.ts
index 30b754181..e9a00b4f8 100644
--- a/quint/src/errorReporter.ts
+++ b/quint/src/errorReporter.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/errorTree.ts b/quint/src/errorTree.ts
index a0358fc00..3b0df3525 100644
--- a/quint/src/errorTree.ts
+++ b/quint/src/errorTree.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/flattening/flattener.ts b/quint/src/flattening/flattener.ts
index 187e7b120..af5a32da4 100644
--- a/quint/src/flattening/flattener.ts
+++ b/quint/src/flattening/flattener.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/flattening/fullFlattener.ts b/quint/src/flattening/fullFlattener.ts
index 066bd8c40..01cca5597 100644
--- a/quint/src/flattening/fullFlattener.ts
+++ b/quint/src/flattening/fullFlattener.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/flattening/instanceFlattener.ts b/quint/src/flattening/instanceFlattener.ts
index 49fd8671a..90ae06535 100644
--- a/quint/src/flattening/instanceFlattener.ts
+++ b/quint/src/flattening/instanceFlattener.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/graphics.ts b/quint/src/graphics.ts
index 74f5e9bf7..99e541041 100644
--- a/quint/src/graphics.ts
+++ b/quint/src/graphics.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import chalk from 'chalk'
diff --git a/quint/src/idGenerator.ts b/quint/src/idGenerator.ts
index 484278743..0c2b49af5 100644
--- a/quint/src/idGenerator.ts
+++ b/quint/src/idGenerator.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2021. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 /**
diff --git a/quint/src/ir/IRFinder.ts b/quint/src/ir/IRFinder.ts
index 932f7abfe..3766334eb 100644
--- a/quint/src/ir/IRFinder.ts
+++ b/quint/src/ir/IRFinder.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/IRTransformer.ts b/quint/src/ir/IRTransformer.ts
index 722cb98e8..fbd972af4 100644
--- a/quint/src/ir/IRTransformer.ts
+++ b/quint/src/ir/IRTransformer.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/IRVisitor.ts b/quint/src/ir/IRVisitor.ts
index ab1ef8988..ac3f50a96 100644
--- a/quint/src/ir/IRVisitor.ts
+++ b/quint/src/ir/IRVisitor.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/IRprinting.ts b/quint/src/ir/IRprinting.ts
index c79810555..3986e75cb 100644
--- a/quint/src/ir/IRprinting.ts
+++ b/quint/src/ir/IRprinting.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/idRefresher.ts b/quint/src/ir/idRefresher.ts
index d0e1a637f..a6e5aa9d2 100644
--- a/quint/src/ir/idRefresher.ts
+++ b/quint/src/ir/idRefresher.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/namespacer.ts b/quint/src/ir/namespacer.ts
index 48027d572..8e8350101 100644
--- a/quint/src/ir/namespacer.ts
+++ b/quint/src/ir/namespacer.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/ir/quintIr.ts b/quint/src/ir/quintIr.ts
index 663816d3a..e5c92e20d 100644
--- a/quint/src/ir/quintIr.ts
+++ b/quint/src/ir/quintIr.ts
@@ -5,9 +5,9 @@
  *
  * Igor Konnov, Gabriela Moreira, Shon Feder, 2021-2023
  *
- * Copyright (c) Informal Systems 2021-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { QuintType } from './quintTypes'
diff --git a/quint/src/ir/quintTypes.ts b/quint/src/ir/quintTypes.ts
index 2a08553e4..8b9ac270f 100644
--- a/quint/src/ir/quintTypes.ts
+++ b/quint/src/ir/quintTypes.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2021-2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021-2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 import { IRVisitor, walkType } from './IRVisitor'
diff --git a/quint/src/itf.ts b/quint/src/itf.ts
index b654cf7da..7cd3199a5 100644
--- a/quint/src/itf.ts
+++ b/quint/src/itf.ts
@@ -4,9 +4,9 @@
  *
  * Igor Konnov, Shon Feder, Informal Systems, 2023
  *
- * Copyright (c) Informal Systems 2021. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Either, left, merge, right } from '@sweet-monads/either'
diff --git a/quint/src/names/base.ts b/quint/src/names/base.ts
index 98a13a673..c4edf2631 100644
--- a/quint/src/names/base.ts
+++ b/quint/src/names/base.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/names/collector.ts b/quint/src/names/collector.ts
index 8e8083547..898b407b7 100644
--- a/quint/src/names/collector.ts
+++ b/quint/src/names/collector.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/names/importErrors.ts b/quint/src/names/importErrors.ts
index fba3906c1..8ed724224 100644
--- a/quint/src/names/importErrors.ts
+++ b/quint/src/names/importErrors.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/names/resolver.ts b/quint/src/names/resolver.ts
index d33071aa8..4849b04fc 100644
--- a/quint/src/names/resolver.ts
+++ b/quint/src/names/resolver.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/names/unshadower.ts b/quint/src/names/unshadower.ts
index 0228fcfed..45f8ecf0d 100644
--- a/quint/src/names/unshadower.ts
+++ b/quint/src/names/unshadower.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/parsing/quintParserFrontend.ts b/quint/src/parsing/quintParserFrontend.ts
index 39661d9fa..47f8b0a72 100644
--- a/quint/src/parsing/quintParserFrontend.ts
+++ b/quint/src/parsing/quintParserFrontend.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, Gabriela Moreira, Shon Feder, 2021-2023
  *
- * Copyright (c) Informal Systems 2021-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { CharStreams, CommonTokenStream } from 'antlr4ts'
diff --git a/quint/src/parsing/sourceResolver.ts b/quint/src/parsing/sourceResolver.ts
index dbcc3a55a..0ef3c5615 100644
--- a/quint/src/parsing/sourceResolver.ts
+++ b/quint/src/parsing/sourceResolver.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/prettierimp.ts b/quint/src/prettierimp.ts
index 6c78c5b1a..e3fb42b2d 100644
--- a/quint/src/prettierimp.ts
+++ b/quint/src/prettierimp.ts
@@ -19,9 +19,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Stack } from 'immutable'
diff --git a/quint/src/quintAnalyzer.ts b/quint/src/quintAnalyzer.ts
index 92738f491..a5ad5508f 100644
--- a/quint/src/quintAnalyzer.ts
+++ b/quint/src/quintAnalyzer.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/quintError.ts b/quint/src/quintError.ts
index 065fdd694..400d30bb0 100644
--- a/quint/src/quintError.ts
+++ b/quint/src/quintError.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/quintVerifier.ts b/quint/src/quintVerifier.ts
index 2386a43fe..1f724ff16 100644
--- a/quint/src/quintVerifier.ts
+++ b/quint/src/quintVerifier.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/repl.ts b/quint/src/repl.ts
index 0f061103d..45eb12a73 100644
--- a/quint/src/repl.ts
+++ b/quint/src/repl.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, Gabriela Moreira, 2022-2023.
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import * as readline from 'readline'
diff --git a/quint/src/rng.ts b/quint/src/rng.ts
index db764b433..d23856eb2 100644
--- a/quint/src/rng.ts
+++ b/quint/src/rng.ts
@@ -20,9 +20,9 @@
  *
  * Igor Konnov, Informal Systems, 2023.
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.  Licensed
- * under the Apache 2.0.  See License.txt in the project root for license
- * information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { strict as assert } from 'assert'
diff --git a/quint/src/runtime/compile.ts b/quint/src/runtime/compile.ts
index ceca8350c..b788fec38 100644
--- a/quint/src/runtime/compile.ts
+++ b/quint/src/runtime/compile.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, Informal Systems, 2022-2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Either, left, right } from '@sweet-monads/either'
diff --git a/quint/src/runtime/impl/compilerImpl.ts b/quint/src/runtime/impl/compilerImpl.ts
index 553f74426..a9cc0b4f4 100644
--- a/quint/src/runtime/impl/compilerImpl.ts
+++ b/quint/src/runtime/impl/compilerImpl.ts
@@ -4,9 +4,9 @@
  *
  * Igor Konnov, Gabriela Moreira, 2022-2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { strict as assert } from 'assert'
diff --git a/quint/src/runtime/impl/runtimeValue.ts b/quint/src/runtime/impl/runtimeValue.ts
index 4ee4eaf65..7c69bf4a6 100644
--- a/quint/src/runtime/impl/runtimeValue.ts
+++ b/quint/src/runtime/impl/runtimeValue.ts
@@ -55,9 +55,9 @@
  *
  * Igor Konnov, 2022
  *
- * Copyright (c) Informal Systems 2022. All rights reserved. Licensed under
- * the Apache 2.0. See License.txt in the project root for license
- * information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { List, Map, OrderedMap, Set, ValueObject, hash, is as immutableIs } from 'immutable'
diff --git a/quint/src/runtime/runtime.ts b/quint/src/runtime/runtime.ts
index d748225f3..4bda5b356 100644
--- a/quint/src/runtime/runtime.ts
+++ b/quint/src/runtime/runtime.ts
@@ -7,9 +7,9 @@
  *
  * Igor Konnov, 2022-2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Maybe, just, none } from '@sweet-monads/maybe'
diff --git a/quint/src/runtime/testing.ts b/quint/src/runtime/testing.ts
index d19082578..27aa1680f 100644
--- a/quint/src/runtime/testing.ts
+++ b/quint/src/runtime/testing.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Either, left, mergeInMany, right } from '@sweet-monads/either'
diff --git a/quint/src/runtime/trace.ts b/quint/src/runtime/trace.ts
index 8ab821440..4120353bb 100644
--- a/quint/src/runtime/trace.ts
+++ b/quint/src/runtime/trace.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Maybe, just, none } from '@sweet-monads/maybe'
diff --git a/quint/src/simulation.ts b/quint/src/simulation.ts
index c8cf3eaba..7282b6d2e 100644
--- a/quint/src/simulation.ts
+++ b/quint/src/simulation.ts
@@ -3,9 +3,9 @@
  *
  * Igor Konnov, 2023
  *
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Either } from '@sweet-monads/either'
diff --git a/quint/src/static/callgraph.ts b/quint/src/static/callgraph.ts
index a0673f848..458d08668 100644
--- a/quint/src/static/callgraph.ts
+++ b/quint/src/static/callgraph.ts
@@ -4,9 +4,9 @@
  *
  * @author Igor Konnov, Informal Systems, 2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved. Licensed
- * under the Apache 2.0.  See License.txt in the project root for license
- * information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Map, Record, Set } from 'immutable'
diff --git a/quint/src/static/toposort.ts b/quint/src/static/toposort.ts
index 2fa387db5..69f533123 100644
--- a/quint/src/static/toposort.ts
+++ b/quint/src/static/toposort.ts
@@ -11,9 +11,9 @@
  *
  * @author Igor Konnov, Informal Systems, 2023
  *
- * Copyright (c) Informal Systems 2022-2023. All rights reserved.  Licensed
- * under the Apache 2.0.  See License.txt in the project root for license
- * information.
+ * Copyright 2022-2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 import { Map } from 'immutable'
diff --git a/quint/src/types/aliasInliner.ts b/quint/src/types/aliasInliner.ts
index 69df7ab39..25a0981b8 100644
--- a/quint/src/types/aliasInliner.ts
+++ b/quint/src/types/aliasInliner.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/builtinSignatures.ts b/quint/src/types/builtinSignatures.ts
index 69e83c3f7..90f0610c4 100644
--- a/quint/src/types/builtinSignatures.ts
+++ b/quint/src/types/builtinSignatures.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/constraintGenerator.ts b/quint/src/types/constraintGenerator.ts
index 5cc9d12d9..16bb9f789 100644
--- a/quint/src/types/constraintGenerator.ts
+++ b/quint/src/types/constraintGenerator.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/constraintSolver.ts b/quint/src/types/constraintSolver.ts
index a739e1c8f..61fee0b28 100644
--- a/quint/src/types/constraintSolver.ts
+++ b/quint/src/types/constraintSolver.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/inferrer.ts b/quint/src/types/inferrer.ts
index 9e6643813..8889765e8 100644
--- a/quint/src/types/inferrer.ts
+++ b/quint/src/types/inferrer.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/parser.ts b/quint/src/types/parser.ts
index 3aa36eacc..0cfe92328 100644
--- a/quint/src/types/parser.ts
+++ b/quint/src/types/parser.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/simplification.ts b/quint/src/types/simplification.ts
index 668519975..f184a6c12 100644
--- a/quint/src/types/simplification.ts
+++ b/quint/src/types/simplification.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/specialConstraints.ts b/quint/src/types/specialConstraints.ts
index 20598eb09..de00f151f 100644
--- a/quint/src/types/specialConstraints.ts
+++ b/quint/src/types/specialConstraints.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/types/substitutions.ts b/quint/src/types/substitutions.ts
index 084322e9e..9abe67b6b 100644
--- a/quint/src/types/substitutions.ts
+++ b/quint/src/types/substitutions.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2022. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2022 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/util.ts b/quint/src/util.ts
index e9d04caf4..afbb08ef8 100644
--- a/quint/src/util.ts
+++ b/quint/src/util.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/quint/src/verbosity.ts b/quint/src/verbosity.ts
index fe30f164c..26b881344 100644
--- a/quint/src/verbosity.ts
+++ b/quint/src/verbosity.ts
@@ -5,9 +5,9 @@
  *
  * Igor Konnov, Informal Systems, 2023
  *
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  */
 
 export const verbosity = {
diff --git a/vscode/quint-vscode/client/src/extension.ts b/vscode/quint-vscode/client/src/extension.ts
index 77b11722b..62675cb12 100644
--- a/vscode/quint-vscode/client/src/extension.ts
+++ b/vscode/quint-vscode/client/src/extension.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright (c) Informal Systems.
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 import * as path from 'path'
diff --git a/vscode/quint-vscode/server/src/reporting.ts b/vscode/quint-vscode/server/src/reporting.ts
index c855f89e4..8b586f43a 100644
--- a/vscode/quint-vscode/server/src/reporting.ts
+++ b/vscode/quint-vscode/server/src/reporting.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**
diff --git a/vscode/quint-vscode/server/src/server.ts b/vscode/quint-vscode/server/src/server.ts
index 9bd231ee0..5498c204f 100644
--- a/vscode/quint-vscode/server/src/server.ts
+++ b/vscode/quint-vscode/server/src/server.ts
@@ -1,9 +1,9 @@
 #!/usr/bin/env node
 
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2021. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2021 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 import {
   CodeAction,
diff --git a/vscode/quint-vscode/server/test/util.ts b/vscode/quint-vscode/server/test/util.ts
index 37e389e8a..e5a3ebe15 100644
--- a/vscode/quint-vscode/server/test/util.ts
+++ b/vscode/quint-vscode/server/test/util.ts
@@ -1,7 +1,7 @@
 /* ----------------------------------------------------------------------------------
- * Copyright (c) Informal Systems 2023. All rights reserved.
- * Licensed under the Apache 2.0.
- * See License.txt in the project root for license information.
+ * Copyright 2023 Informal Systems
+ * Licensed under the Apache License, Version 2.0.
+ * See LICENSE in the project root for license information.
  * --------------------------------------------------------------------------------- */
 
 /**