====== Seznam časopisů ====== Na této stránce je přehled časopisů od těch kvalitních a zaměřených na formální jazyky až po ty naprosto nevhodné, na které chodí upozornění různými SPAMy. (IF = Impact Factor) Přesunout sem tabulku z [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=projects:it4i:reports:reports#prehled_if_a_sjr]] Využít seznam z [[http://www.fit.vutbr.cz/~meduna/work/doku.php?id=projects:izemek:journals]] [[projects:izemek:journals]] [[http://about.elsevier.com/metrics/2017/116.htm|Oficiální seznam teoretických časopisů od Elsevier (2016)]] - obsaují SJR a IF (pokud je již znám) ===== Top časopisy s IF ===== ^Journal ^IF 2015 (Rank in WoS) ^ SRJ 2015 (Rank in SCImago) ^IF 2014 (Rank in WoS)^ |//**[[https://link.springer.com/journal/10208|FCM]]**//| [[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.986&year=2015&journalTitle=FOUNDATIONS%20OF%20COMPUTATIONAL%20MATHEMATICS&edition=SCIE&journal=FOUND%20COMPUT%20MATH|1.986 (Q1,Q1,Q1)]] | ... | 2.389 (Q1,Q1,Q1) | |//**IJSS**//| [[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.947&year=2015&journalTitle=INTERNATIONAL%20JOURNAL%20OF%20SYSTEMS%20SCIENCE&edition=SCIE&journal=INT%20J%20SYST%20SCI|1.947 (Q1,Q2,Q2)]]|[[http://www.scimagojr.com/journalsearch.php?q=12419&tip=sid&clean=0|1.083 (Q1)]]| 2.100 (Q1, Q1, Q2)| |//**[[http://www.journals.elsevier.com/journal-of-computer-and-system-sciences/|JCSS]]**//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.583&year=2015&journalTitle=JOURNAL%20OF%20COMPUTER%20AND%20SYSTEM%20SCIENCES&edition=SCIE&journal=J%20COMPUT%20SYST%20SCI|1.583 (Q1,Q2)]]|[[http://www.scimagojr.com/journalsearch.php?q=12370&tip=sid&clean=0|1.334 (Q1)]]|1.138 (Q2,Q2)| |//[[https://www.journals.elsevier.com/computer-languages-systems-and-structures/|Computer Languages, Systems & Structures]]//|2016: [[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.615&year=2016&journalTitle=COMPUTER%20LANGUAGES%20SYSTEMS%20%26%20STRUCTURES&edition=SCIE&journal=COMPUT%20LANG%20SYST%20STR|1.615 (Q2)]]|2015: 0.556 (Q4)| 2014:0.440 (Q4)| |//[[|Informatica]]//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.056&year=2016&journalTitle=INFORMATICA&edition=SCIE&journal=INFORMATICA-LITHUAN|2016: 1.056 (Q4,Q2)]]|[[http://www.scimagojr.com/journalsearch.php?q=25461&tip=sid&clean=0|2016: (Q2,Q3)]];2015: 1.386 (Q2, Q1)|2014: 0.873 (Q3,Q2)| IJCSS ===== Časopisy s IF ===== ==== Přehled IF a SJR ==== Unikátní publikace pro 2016 (dle NPU II, jedna oblast Q1/Q2: * [[http://www.scimagojr.com/journalsearch.php?q=20571&tip=sid&clean=0|TCS]] * [[http://www.scimagojr.com/journalsearch.php?q=14388&tip=sid&clean=0|IPL]] * [[http://www.scimagojr.com/journalsearch.php?q=4700152641&tip=sid&clean=0|IJFCS]] * [[http://www.scimagojr.com/journalsearch.php?q=7600153103&tip=sid&clean=0|Malaysian Journal of Computer Science]] * [[http://www.scimagojr.com/journalsearch.php?q=28474&tip=sid&clean=0|FI]] * [[http://www.scimagojr.com/journalsearch.php?q=145537&tip=sid&clean=0|Journal of Universal Computer Science]] Dle CiteScore: * Fundamenta Informaticae * ^Journal ^IF 2015 (Rank in WoS) ^ SRJ 2015 (Rank in SCImago) ^IF 2014 (Rank in WoS)^ |[[https://www.journals.elsevier.com/journal-of-computational-science/|JCS]]|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.078&year=2015&journalTitle=Journal%20of%20Computational%20Science&edition=SCIE&journal=J%20COMPUT%20SCI-NETH|1.078 (Q2,Q3)]] |[[http://www.scimagojr.com/journalsearch.php?q=19700174607&tip=sid&clean=0|0.587 (Q1,Q2,Q3)]]| 1.231 (Q2,Q3)| |[[https://link.springer.com/journal/165|Formal Aspects of Computing]]|1.041 (2016)|...|...| |//Computer Journal//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1&year=2015&journalTitle=COMPUTER%20JOURNAL&edition=SCIE&journal=COMPUT%20J|1.000 (Q2,Q3,Q3,Q3)]] |[[http://www.scimagojr.com/journalsearch.php?q=23792&tip=sid&clean=0|0.371 (Q2)]]| 0.787 (Q3,Q3,Q3,Q3) | |//Information and Computation//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.873&year=2015&journalTitle=INFORMATION%20AND%20COMPUTATION&edition=SCIE&journal=INFORM%20COMPUT|0.873 (Q2,Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=25509&tip=sid&clean=0|0.698 (Q2)]]| 0.830 (Q2,Q3) | |MATH STRUCT COMP SCI|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.758&year=2015&journalTitle=MATHEMATICAL%20STRUCTURES%20IN%20COMPUTER%20SCIENCE&edition=SCIE&journal=MATH%20STRUCT%20COMP%20SCI|0.758 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=5000157801&tip=sid&clean=0|0.318 (Q3)]]|0.449 (Q4)| |//[[https://www.journals.elsevier.com/discrete-applied-mathematics/|DAM]]//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.722&year=2015&journalTitle=DISCRETE%20APPLIED%20MATHEMATICS&edition=SCIE&journal=DISCRETE%20APPL%20MATH|0.722 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=25890&tip=sid&clean=0|0.880 (Q2)]]|0.802 (Q3)| |//[[http://www.springer.com/computer/journal/607|Computing]]//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.872&year=2015&journalTitle=COMPUTING&edition=SCIE&journal=COMPUTING|0.872 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=24407&tip=sid&clean=0|0.440 (Q3/Q3/Q3/Q3)]]|?| |//Acta Informatica//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.722&year=2015&journalTitle=ACTA%20INFORMATICA&edition=SCIE&journal=ACTA%20INFORM|0.722 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=15012&tip=sid&clean=0|0.524 (Q2)]]|0.500 (Q4)| |Fundamenta Informaticae|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.658&year=2015&journalTitle=FUNDAMENTA%20INFORMATICAE&edition=SCIE&journal=FUND%20INFORM|0.658 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=28474&tip=sid&clean=0|0.526 (Q2/Q3)]]|0.717 (Q3)| |//TCS//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.643&year=2015&journalTitle=THEORETICAL%20COMPUTER%20SCIENCE&edition=SCIE&journal=THEOR%20COMPUT%20SCI|0.643 (Q3)]]|[[http://www.scimagojr.com/journalsearch.php?q=20571&tip=sid&clean=0|0.720 (Q1/Q2)]]|0.657 (Q3)| |//IPL//|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.605&year=2015&journalTitle=INFORMATION%20PROCESSING%20LETTERS&edition=SCIE&journal=INFORM%20PROCESS%20LETT|0.605 (Q4)]]|[[http://www.scimagojr.com/journalsearch.php?q=14388&tip=sid&clean=0|0.698 (Q2)]]|0.546 (Q4)| |IJCM|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.577&year=2015&journalTitle=INTERNATIONAL%20JOURNAL%20OF%20COMPUTER%20MATHEMATICS&edition=SCIE&journal=INT%20J%20COMPUT%20MATH|0.577 (Q4)]] |[[http://www.scimagojr.com/journalsearch.php?q=28494&tip=sid&clean=0|0.474 (Q2/Q3)]]| 0.824 (Q3)| |[[http://www.jucs.org/jucs|JUCS]]|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.546&year=2015&journalTitle=JOURNAL%20OF%20UNIVERSAL%20COMPUTER%20SCIENCE&edition=SCIE&journal=J%20UNIVERS%20COMPUT%20SCI|0.546 (Q4,Q4)]] |[[http://www.scimagojr.com/journalsearch.php?q=145537&tip=sid&clean=0|0.429 (Q2/Q3)]]| 0.466 (Q4,Q4) | |DM-TCS| [[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.537&year=2015&journalTitle=DISCRETE%20MATHEMATICS%20AND%20THEORETICAL%20COMPUTER%20SCIENCE&edition=SCIE&journal=DISCRETE%20MATH%20THEOR|0.537 (Q4,Q4,Q3)]] | [[http://www.scimagojr.com/journalsearch.php?q=78470&tip=sid&clean=0|0.346 (Q2/Q3/Q4)]] | 0.324 (Q4,Q4,Q4)| |J COMPUT SYS SC INT+| [[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.503&year=2015&journalTitle=JOURNAL%20OF%20COMPUTER%20AND%20SYSTEMS%20SCIENCES%20INTERNATIONAL&edition=SCIE&journal=J%20COMPUT%20SYS%20SC%20INT%2B|0.503 (Q4,Q4,Q4)]] | [[http://www.scimagojr.com/journalsearch.php?q=12961&tip=sid&clean=0|0.27 (Q3/Q4)]]| 0.483 (Q4,Q4,Q4) | |//MALAYS J COMPUT SCI//|0.476 (Q4,Q4)|[[http://www.scimagojr.com/journalsearch.php?q=7600153103&tip=sid&clean=0|0.289 (Q2)]]|0.405 (Q4,Q4)| |//IJFCS// |[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=0.467&year=2015&journalTitle=INTERNATIONAL%20JOURNAL%20OF%20FOUNDATIONS%20OF%20COMPUTER%20SCIENCE&edition=SCIE&journal=INT%20J%20FOUND%20COMPUT%20S|0.467 (Q4)]]|[[http://www.scimagojr.com/journalsearch.php?q=4700152641&tip=sid&clean=0|0.394 (Q2)]]| 0.296 (Q4) | |Kybernetika|0.628 (Q4)|[[http://www.scimagojr.com/journalsearch.php?q=24449&tip=sid&clean=0|0.356 (Q3)]]|TODO| |//RAIRO:ITA// (//RAIRO-TIA//) |TODO|[[http://www.scimagojr.com/journalsearch.php?q=13012&tip=sid&clean=0|0.346 (Q3)]]|TODO| |//FTTCS//|TODO|[[http://www.scimagojr.com/journalsearch.php?q=4400151750&tip=sid&clean=0|3.32 (Q1)]]|TODO| |//SIAM J on D MATH//|TODO|[[http://www.scimagojr.com/journalsearch.php?q=26406&tip=sid&clean=0|1.230 (Q1)]]|TODO| |[[https://www.amcs.uz.zgora.pl/|IJ of AM and CS]]|[[https://jcr.incites.thomsonreuters.com/JCRJournalProfileAction.action?pg=JRNLPROF&journalImpactFactor=1.037&year=2015&journalTitle=International%20Journal%20of%20Applied%20Mathematics%20and%20Computer%20Science&edition=SCIE&journal=INT%20J%20AP%20MAT%20COM-POL|1.037 (Q3,Q3,Q2)]]|[[http://www.scimagojr.com/journalsearch.php?q=4500151509&tip=sid&clean=0|1.025 (Q1,Q1,Q2)]]|(ISSN: 1641-876X)| |[[http://thescipub.com/journals/jcs/|J of Computer Science]] (OA)|?|0.165 (2016, no Scimago)|?| Tučně jsou časopisy vysoké úrovně dle WoS. Kurzívou potom časopisy vysoké úrovně dle SCImago (Scopus). Odkazy na WoS statistiky fungují jen na VUT. [[:projects:izemek:journals|Seznamy časopisů včetně jejich webových stránek spravoval Petr Zemek]]. ===== Kvalitní časopisy bez IF ===== * [[http://www.inf.u-szeged.hu/kutatas/acta-cybernetica|Acta Cybernetica]] (HU; scope: TCS, AI; **[[https://www.scopus.com/sourceid/13024?origin=sbrowse|Scopus SJR 2016 0.177]]**) * [[http://www.jalc.de/|JALC]]: Journal of Automata, Languages and Combinatorics (DE; scope: formal languages) * [[http://www.tandfonline.com/toc/tcom20/current|IJCM-CST]]: International Journal of Computer Mathematics: Computer Systems Theory (scope: TCS, formal languages, SW&HW) * [[http://www.mdpi.com/journal/algorithms|Algorithms]] (dle [[http://www.scimagojr.com/journalsearch.php?q=21100199795&tip=sid&clean=0|Scimago]] Q3; nemá IF; občas se publikují různé parsing algoritmy; dle [[https://www.scopus.com/sourceid/21100199795?origin=sbrowse|CiteScore (Scopus)]] je nad mediánem) * TODO: http://www.scimagojr.com/journalsearch.php?q=18700156724&tip=sid&clean=0 * TODO: http://www.scimagojr.com/journalsearch.php?q=24407&tip=sid&clean=0 * TODO: http://www.scimagojr.com/journalsearch.php?q=26132&tip=sid&clean=0 ===== Tématické časopisy bez IF ===== * [[http://www.ejournals.eu/Schedae-Informaticae/|Schedae Informaticae]] - polský, zaměřený na TCS, aktivní; nově ve [[https://www.scopus.com/sourceid/21100819609?origin=sbrowse|Scopus]] * [[https://www.degruyter.com/view/j/comp#|Open Computer Science]] - polský, mají i TCS část v topics, aktivní, Open Access, ale přijde mi, že bez poplatků. ISSN 2299-1093 (ne scopus) ===== Nevhodné časopisy bez IF ===== * [[http://jcsitnet.com/|Journal of Computer Science and Information Technology]] - ISSN 2334-2366 (Print), 2334-2374 (Online), publication fee $200 * [[http://www.ijetae.com/index.html|International Journal of Emerging Technology and Advanced Engineering]] (e-ISSN: 2250–2459, India, Publication fee $170; submitted to scopus in 2016 but no progress) * [[http://www.iijsr.org/Home|International Interdisciplinary Journal of Scientific Research]] (ISSN: 2200-9833, India, Publication fee $100; not Computer Science) * [[http://www.irjes.com|IRJES-International Refereed Journal of Engineering and Science]] (e-ISSN: 2319-183X, p-ISSN: 2319-1821, India, Publication fee $150; not only Computer Science) * [[https://www.ijntr.org/|International Journal of New Technology and Research]] (ISSN: 2454-4116, India, Publication fee $100; quick acceptance, poor quality) * [[http://www.ijceronline.com/|International Journal of computational Engineering research (IJCER)]] (ISSN 2250–3005 (online version); publication fee $150) * [[http://www.ikpresse.com/journal/44|Asian Journal of Mathematics and Computer Research (AJMCR)]] (ISSN 2395-4205 (Print), 2395-4213 (Online); publication fee $10/page and download fee $30/paper - NOT OPEN ACCESS) * [[http://www.ikpresse.com/journal/44|Asian Journal of Mathematics and Computer Research]] (ISSN: 2395-4205 (Print), 2395-4213 (Online) , "publication fee" €36) (NOT OPEN ACCESS) * [[http://www.ijerd.com/|International Journal of Engineering Research and Development (IJERD)]] (ISSN 2278-067X (Online), 2278-800X (Print); publication fee $150; široký záběr nejen Computer Science) * [[http://www.ijmsi.org|International Journal of Mathematics and Statistics Invention (IJMSI)]] (ISSN 2321-4767 (Online), 2321-4759 (Print); publiaction fee $75; Mathematics, Statistics, Computer Science) * [[http://ijrcemas.com/|International Journal of Research in Cloud Engineering, Management and Allied Science (IJRCEMAS)]] (ISSN 2394-5036; publication fee $50; wide range - all engineering and management) * [[http://airccse.org/journal/ijcsit.html| International Journal of Computer Science & Information Technology (IJCSIT)]], ISSN: 0975-3826(online); 0975-4660 (Print); publication fee $120; review 2-3 months * [[http://www.ijcrm.com/submission.html|International Journal of Current Research in Multidisciplinary (IJCRM)]] (ISSN: 2456-0979 (on-line); publication fee $60; wide range even outside IT) **TODO (check the web site and evaluate the journal):** * [[http://www.imedpub.com/computer-science-and-information-technology/archive.php |American Journal of Computer Science and Information Technology]] (ISSN: 2349-3917) * [[http://journal7global.com/link.php?M=10131544&N=114&L=632&F=H|Asian Research Journal of Mathematics]] (ISSN: 2456-477X, publication fee $35) * [[https://www.sciforschenonline.org/submitmanuscript.php|Journal of Computer Science and Informatics]] * http://iosrjournals.org/how-to-submit.html * [[http://www.theijes.com|The International Journal of Engineering & Science (THE IJES)]] * ===== Ostatní časopisy (např. bez zaměření na formální jazyky) ===== * [[https://www.jcmf.cz/?q=cz/node/39|Pokroky matematiky, fyziky a astronomie]] - přehledové méně odborné články, jubilea, zajímavosti ([[http://www.dml.cz/handle/10338.dmlcz/140123|archiv alespoň rok starých článků]]) * [[http://jlm.ipipan.waw.pl/|Journal of Language Modelling]] - zaměření na zpracování přirozeného jazyka a jeho formální modely (Open Access, ISSN 2299-8470 (on-line), ISSN 2299-856X (paper) ===== Významné konference k formálním jazykům ===== * Kvalita konferencí se dá sledovat třeba zde: http://www.conferenceranks.com * [[https://en.wikipedia.org/wiki/List_of_computer_science_conferences#Algorithms_and_theory|Větší a udržovaný seznam na Wikipedia]] Seznam seřazený asi podle prestiže (první je nejprestižnější): * ICALP (úroveň A) * CIAA (úroveň B) * DLT (úroveň B) * FCT (úroveň B) * STACS (úroveň B) * LATA (úroveň C) * AFL * DCFS * MCFS * NCMA Lokální: * MEMICS * Excel@FIT ===== Open Access WWW with TCS proceedings ===== * [[http://published.eptcs.org/|Electronic Proceedings in Theoretical Computer Science]] (ISSN 2075-2180) - publikují např. AFL * [[http://drops.dagstuhl.de/opus/institut_lipics.php?fakultaet=04|LIPIcs - Leibniz International Proceedings in Informatics]] (ISSN 1868-8969) - např. ICALP, FSTTCS, STACS ([[http://www.dagstuhl.de/en/publications/lipics/|obecné info]]) * [[http://ceur-ws.org/|CEUR Workshop Proceedings (CEUR-WS.org)]] (ISSN 1613-0073) - publikovalo se tam např. WFM a ISIM ===== Editoři ===== ==== Fundamenta Informaticae (2019) ==== * **Arto Salomaa, honorary editor** Thorsten Altenkirch, University of Nottingham, United Kingdom Radim Belohlavek, Czech Republic Salem Benferhat, University of Artois, France Jan Van den Bussche, Universiteit Hasselt, Belgium Cristian S. Calude, University of Auckland, New Zealand Zhenfu Cao, Shanghai Jiao Tong University, China Witold Charatonik, University of Wrocław, Poland Bogdan S. Chlebus, University of Colorado Denver, United States Gianluca De Marco, Department of Computer Science, University of Salerno, Italy Stephane Demri, LSV, CNRS & ENS de Cachan, France Thomas Eiter, Vienna University of Technology, Austria Pierre Fraigniaud, CNRS and University Paris Diderot, France Anna Gambin, University of Warsaw, Poland Edith Elkind, University of Oxford, United Kingdom Irene Guessarian, IRIF, Universite Paris Diderot, and UPMC, France Jerzy W. Grzymala-Busse, University of Kansas, United States * **Grammatical Inference**, Marchine Learning: **Colin de la Higuera**, University of Nantes, France (Handling Editor for our paper Jumping Scattered Context Grammars) Mika Hirvensalo, University of Turku, Finland Sun-Yuan Hsieh, National Cheng Kung University, Tainan, Taiwan Ryszard Janicki, McMaster University, Hamilton, Canada Szymon Jaroszewicz, Polish Academy of Sciences, Warsaw, Poland Jarkko Kari, University of Turku, Finland Ralf Klasing, CNRS and University of Bordeaux, France Marek Klonowski, Wrocław University of Technology, Poland * Petri nets: Jetty Kleijn, Leiden University, Netherlands * Verification: Antonin Kucera, Masaryk University, Brno, Czech Republic Thierry Lecroq, University of Rouen, France Zbigniew Lonc, Warsaw University of Technology, Poland * Logic: Johann Makowsky, Technion, Haifa, Israel Victor W. Marek, University of Kentucky, United States Sushmita Mitra, Indian Statistical Institute, India Ugo Montanari, University of Pisa, Italy Aniello Murano, University of Naples, Italy * Machine learning: Hung Son Nguyen, University of Warsaw, Poland * Verification, Tree Automata: Joachim Niehren, INRIA, Lille, France * SAT, Verification: Wojciech Penczek, Polish Academy of Sciences, Warsaw, Poland Mario Pérez-Jiménez, University of Seville, Spain Josef Pieprzyk, Data61, CSIRO, Australia Maurizio Proietti, National Research Council, Italy Alexander Rabinovich, University of Tel Aviv, Israel Machine learning: Zbigniew W. Raś, University of North Carolina, Charlotte, United States Thomas Schwentick, TU Dortmund University, Germany Daniel Simson, Nicolaus Copernicus University, Toruń, Poland * Image Processing: Władysław Kazimierz Skarbek, Warsaw University of Technology, Poland * Machine Learning: Dominik Ślęzak, University of Warsaw, Poland * Formal specification: Andrzej Tarlecki, University of Warsaw, Poland * Bioinformatics: Jerzy Tiuryn, University of Warsaw, Poland * Agent Systems: Paolo Torroni, University of Bologna, Italy * Computational Complexity: Vinodchandran Variyam, University of Nebraska-Lincoln, United States * Logic, Verification: Igor Walukiewicz, University of Bordeaux, France * AI: Yudong Zhang, Nanjing Normal University, China