EPTCS

Electronic Proceedings in Theoretical Computer Science (EPTCS) to międzynarodowa, recenzowana seria open access publikowana przez Open Publishing Association. Służy przede wszystkim do szybkiego elektronicznego publikowania proceedings i post-proceedings konferencji oraz warsztatów z szeroko rozumianej informatyki teoretycznej. Może obejmować również księgi jubileuszowe i inne zbiory prac naukowych. EPTCS działa jako warstwa publikacyjna oparta na Computing Research Repository (CoRR) w arXiv, dzięki czemu publikacje są trwale archiwizowane i dostępne bezpłatnie. Seria ukazuje się od 2009 roku i posiada ISSN 2075-2180.

Najlepsze do:

• szukania recenzowanych materiałów konferencyjnych i warsztatowych z informatyki teoretycznej,
• wyszukiwania prac z logiki, metod formalnych, semantyki języków programowania i teorii współbieżności,
• szukania publikacji dotyczących automatów, systemów przejść, algebr procesów i formalnej analizy systemów,
• wyszukiwania badań z zakresu weryfikacji programów, model checking i theorem proving,
• szukania publikacji z teorii języków programowania i formalnych podstaw programowania,
• wyszukiwania materiałów dotyczących logiki kwantowej, obliczeń kwantowych i teorii kategorii,
• docierania do proceedings mniejszych, specjalistycznych warsztatów, których materiały mogą być trudniejsze do znalezienia u dużych wydawców,
• przeglądania zarówno pre-proceedings publikowanych przed wydarzeniem, jak i post-proceedings przygotowywanych po konferencji,
• pobierania pełnych tekstów bez subskrypcji i bez opłat po stronie czytelnika,
• korzystania z oficjalnych DOI przypisywanych poszczególnym artykułom i tomom EPTCS,
• prowadzenia szerszej kwerendy razem z LIPIcs, OASIcs, DROPS, CEUR Workshop Proceedings, DBLP, arXiv, ACM Digital Library i IEEE Xplore.

Na co uważać?

• EPTCS nie jest kompletną bazą literatury z informatyki teoretycznej, lecz konkretną serią wydawniczą,
• poszczególne tomy odpowiadają różnym konferencjom i warsztatom, więc ich zakres tematyczny może być bardzo wąski,
• proces recenzowania organizują komitety poszczególnych wydarzeń; redakcja EPTCS przed zaakceptowaniem tomu ocenia sposób organizacji recenzji i wiarygodność wydarzenia, ale nie przeprowadza ponownej pełnej recenzji każdego artykułu,
• poziom selektywności może różnić się pomiędzy wydarzeniami, mimo że wszystkie zaakceptowane tomy muszą spełniać wymagania jakościowe EPTCS,
• EPTCS publikuje także post-proceedings, więc data tomu może być późniejsza niż data samej konferencji,
• artykuł może jednocześnie występować w arXiv, ponieważ EPTCS wykorzystuje CoRR jako warstwę trwałej archiwizacji,
• pełna wersja pracy może później zostać opublikowana w czasopiśmie albo innym wydawnictwie; EPTCS dopuszcza późniejsze publikowanie rozbudowanych wersji wcześniejszych materiałów,
• przy szerokim przeglądzie literatury warto uzupełnić EPTCS o DBLP, arXiv, ACM Digital Library, IEEE Xplore oraz źródła wyspecjalizowane w konkretnym obszarze.