commit e949876ceb921c0515ddd656d13852266684072e
parent 3028779cad44bc428e44cd8da5f1d3e863d9d1eb
Author: Antoine Amarilli <a3nm@a3nm.net>
Date: Wed, 17 Aug 2022 17:37:41 +0200
start adding full bibliography info
Diffstat:
| venues | | | 130 | +++++++++++++++++++++++++++++++++++++++++++++++++------------------------------ |
1 file changed, 81 insertions(+), 49 deletions(-)
diff --git a/venues b/venues
@@ -1,3 +1,26 @@
+Id: icalp
+FullName: International Colloquium on Automata, Languages and Programming
+
+Id: debs
+FullName: ACM International Conference on Distributed and Event‐Based Systems
+Acronym: ACM DEBS
+
+Id: mfcs
+FullName: Mathematical Foundations of Computer Science
+
+Id: tapp
+FullName: International Workshop on Theory and Practice of Provenance
+Acronym : TaPP
+
+Id: pods
+FullName: ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
+
+Id: icdt
+FullName: International Conference on Database Theory
+
+Id: kr
+FullName: International Conference on Principles of Knowledge Representation and Reasoning
+
Id: icalp2022
Url: https://icalp2022.irif.fr/
Location: Paris
@@ -200,6 +223,7 @@ Id: tcs
Name: TCS
Url: https://www.journals.elsevier.com/theoretical-computer-science
Type: journal
+FullName: Theoretical Computer Science
Audience: international
OA: no
@@ -229,6 +253,7 @@ Id: jair
Name: JAIR
Url: https://www.jair.org/
Type: journal
+FullName: Journal of Artificial Intelligence Research
Audience: international
OA: yes
@@ -236,6 +261,7 @@ Id: tods
Name: TODS
Url: https://dl.acm.org/journal/tods
Type: journal
+FullName: ACM Transactions on Database Systems
Audience: international
OA: no
@@ -243,6 +269,7 @@ Id: tocs
Name: ToCS
Url: https://www.springer.com/computer/theoretical+computer+science/journal/224
Type: journal
+FullName: Theory of Computing Systems
Audience: international
OA: no
@@ -508,48 +535,6 @@ Audience: international
Location: Nice
OA: no
-Id: tldks
-Name: TLDKS
-Url: https://www.irit.fr/tldks/
-Type: journal
-Audience: international
-OA: no
-
-Id: isi
-Name: ISI
-Url: http://isi.revuesonline.com/accueil.jsp
-Type: journal
-Audience: national
-OA: no
-
-Id: vldbj
-Name: VLDB Journal
-Url: http://vldb.org/vldb_journal/
-Type: journal
-Audience: international
-OA: no
-
-Id: jlc
-Name: Journal of Logic and Computation
-Url: https://academic.oup.com/logcom
-Type: journal
-Audience: international
-OA: no
-
-Id: rsl
-Name: Review of Symbolic Logic
-Url: https://www.cambridge.org/core/journals/review-of-symbolic-logic
-Type: journal
-Audience: international
-OA: no
-
-Id: dapd
-Name: Distributed and Parallel Databases
-Url: https://www.springer.com/computer/database+management+%26+information+retrieval/journal/10619
-Type: journal
-Audience: international
-OA: no
-
Id: icde2015
Url: https://dblp.org/db/conf/icde/icde2015
Type: conference
@@ -600,13 +585,6 @@ Type: conference
Informal: yes
OA: n/a
-Id: tocl
-Name: ToCL
-Url: https://tocl.acm.org/
-Type: journal
-Audience: international
-OA: no
-
Id: tnc2016
Name: The New Codebreakers: Essays Dedicated to David Kahn on the Occasion of His 85th Birthday
Url: https://www.springer.com/gp/book/9783662493007
@@ -614,6 +592,59 @@ Type: book
OA: no
Informal: yes
+Id: tldks
+Name: TLDKS
+Url: https://www.irit.fr/tldks/
+Type: journal
+FullName: Transactions on Large-Scale Data and Knowledge-Centered Systems
+Audience: international
+OA: no
+
+Id: isi
+Name: ISI
+Url: http://isi.revuesonline.com/accueil.jsp
+Type: journal
+FullName: Ingénierie des Systèmes d'Information
+Audience: national
+OA: no
+
+Id: vldbj
+Name: VLDB Journal
+Url: http://vldb.org/vldb_journal/
+Type: journal
+FullName: International Journal on Very Large Data Bases
+Audience: international
+OA: no
+
+Id: jlc
+FullName: Journal of Logic and Computation
+Url: https://academic.oup.com/logcom
+Type: journal
+Audience: international
+OA: no
+
+Id: rsl
+FullName: Review of Symbolic Logic
+Url: https://www.cambridge.org/core/journals/review-of-symbolic-logic
+Type: journal
+Audience: international
+OA: no
+
+Id: dapd
+FullName: Distributed and Parallel Databases
+Url: https://www.springer.com/computer/database+management+%26+information+retrieval/journal/10619
+Type: journal
+Audience: international
+OA: no
+
+Id: tocl
+Name: ToCL
+FullName: ACM Transactions on Computational Logic
+Url: https://tocl.acm.org/
+Type: journal
+Audience: international
+OA: no
+
Id: sigweb
Name: ACM SIGWEB Newsletter
Url: https://dl.acm.org/newsletter/sigweb
@@ -622,6 +653,7 @@ OA: no
Id: lmcs
Name: LMCS
+FullName: Logical Methods in Computer Science
Url: https://lmcs.episciences.org/
Type: journal
Audience: international
