A fő elméleti informatikai konferenciák felsorolása

A fő elméleti informatikai konferenciák ezen felsorolása témakörök szerint csoportosítja ezeket a konferenciákat. A konferenciák egy része általános, mások inkább az adott témákra összpontosítanak. Vannak olyan osztályozások, amelyek lehetővé teszik, hogy kiválassza, mely konferenciák tekinthetők "főnek". Az itt használt besorolások a Core, az Aminer, a Google Scolar és a Microsoft által 2014-ben közzétett konferenciák felsorolását tartalmazzák. Utolsó, Osmar Zaïane , kevésbé fontos az elmélet számára. Ezenkívül egyes kézikönyvek előadások listáját tartalmazzák.

A Core listája a konferenciákat A +, A, B, C és más kategóriákba sorolja; az Amineré - miközben keveri a konferenciákat és recenziókat, inkább h index alapján osztályozza őket ; A Google School a h index és / vagy a medián, a konferenciák és az értékelések alapján osztályozza; valójában az elmúlt öt évben számított h5 index. A Microsoft az általuk kifejezetten megadott h index alapján is besorolja; még érdekesebb a "buborékok" elnevezésű bemutató, amely koncentrikus körökben grafikusan mutat be, a legfontosabb pedig a középpontban. Zaïane listája a konferenciákat harmadik (első, második és harmadik harmad) kategóriába sorolja.

Általános konferenciák

Ezek a konferenciák az elméleti informatikai témák széles spektrumát fogadják el , ideértve az algoritmusokat , az adatstruktúrákat , a kiszámíthatóságot , a számítási bonyolultságot , az automata elméletet és a formális nyelveket  :

• STOC - ACM szimpózium a számításelméletről
• FOCS - IEEE szimpózium a számítástechnika alapjairól
• ICALP - Nemzetközi kollokvium az automatákról, a nyelvekről és a programozásról
• STACS - Szimpózium a számítástechnika elméleti vonatkozásairól
• ISAAC - Nemzetközi szimpózium az algoritmusokról és a számításról
• MFCS - Nemzetközi Szimpózium a számítástechnika matematikai alapjairól
• FCT - Nemzetközi Szimpózium a számításelmélet alapjairól
• COCOON - Nemzetközi Számítástechnikai és Kombinatorikai Konferencia
• ETAPS - Európai közös konferenciák a szoftver elméletéről és gyakorlatáról
• CSR - Nemzetközi Számítástechnikai Szimpózium Oroszországban

Algoritmikus

Konferenciák, amelyek fő témája a tág értelemben vett algoritmusok és adatstruktúrák :

• SODA - ACM - SIAM szimpózium a diszkrét algoritmusokról
• ESA - European Symposium on Algorithms
• WADS - Algoritmusok és adatszerkezetek szimpózium korábban Workshop az algoritmusokról és adatszerkezetekről .
• SWAT - Skandináv szimpózium és workshopok az algoritmuselméletről, korábban skandináv műhelymunka az algoritmuselméletről .
• A WAOA - Közelítés és online algoritmusok műhelye mostantól az ESA része.

Algoritmikus geometria

Előadások a számítási geometriában , a gráfrajzolás és a geometriai számítás egyéb alkalmazásai:

• SoCG - ACM szimpózium a számítási geometriáról
• GD - Nemzetközi grafikonrajz szimpózium
• IMR - Nemzetközi Meshing Kerekasztal
• WAFR - Workshop a robotika algoritmikus alapjairól
• CCCG - kanadai konferencia a számítási geometriáról

Logika

• LICS - ACM-IEEE szimpózium a logikáról a számítástechnikában
• CSL - Számítástechnikai logika
• FSCD - Formális struktúrák a számításhoz és a dedukcióhoz , amely 2016-ban jött létre az RTA (Konferencia az átírási technikákról és alkalmazásokról) és a TLCA (Typed Lambda Calculi and Applications) egyesülésével; különféle műholdas műhelyek, mint például a HDRA (magasabb dimenziójú átírás és alkalmazások) vagy a STRING (karakterlánc-diagramok a számításban, a logikában és a fizikában).
• WoLLIC - A logika, a nyelv, az információ és a számítás műhelye

Egyéb speciális konferenciák

• CCC - Számítási Komplexitás Konferencia, korábban "Structure in Complexity Theory Conference"
• CIAA - Konferencia az automaták megvalósításáról és alkalmazásáról , korábban WIA - Műhely az automaták megvalósításáról
• CPM - Szimpózium a kombinatorikus mintaillesztésről
• DCFS - Nemzetközi workshop a formális rendszerek leírási komplexitásáról , fusion de DCAGRS - Automata, nyelvtan és kapcsolódó struktúrák és FDSR leírási komplexitása - Formális leírások és szoftver megbízhatóság
• DLT - Nemzetközi konferencia a nyelvelmélet fejlesztéseiről
• ISSAC - Nemzetközi Szimpózium a szimbolikus és algebrai számításról
• LAGOS - latin és amerikai algoritmusok, grafikonok és optimalizálási szimpózium

Egyéb konferenciák

• AFL - automaták és hivatalos nyelvek
• CAI - Konferencia az algebrai informatikáról
• GandALF - játékok, automaták, logikák és formális ellenőrzés
• KIEMELTEK - A logika, a játékok és az automaták legfontosabb jellemzői
• ICLP - Nemzetközi konferencia a logikai programozásról
• IWOCA - Nemzetközi workshop a kombinatorikus algoritmusokról
• LATA - Nyelv- és automataelmélet és alkalmazások (lásd a Wikidatán)
• SZÁMOLÁS - 2017. SZÁMOLÁS
• SIROCCO - Strukturális információs és kommunikációs komplexitás
• SPIRE - Karakterlánc-feldolgozás és információ-visszakeresés
• UCNC - Szokatlan számítás és természetes számítás
• TQC - A kvantumszámítás, a kommunikáció és a kriptográfia elmélete
• WABI - Bioinformatikai algoritmusok műhelye
• SZAVAK - Nemzetközi szavakonferencia

Megjegyzések és hivatkozások

1. Mag .
2. Bányász .
3. Google .
4. Msar .
5. Core : A + rang.
6. CiteSeer , konferenciák a top 100-ban.
7. Zaïane 2009 , csúcsminőségű konferenciák más területeken.
8. Georgiou és Shvartsman 2007 , „Bibliográfiai megjegyzések” szakasz az „Előszó” részben.
9. Goldman 1999 , 30. szakasz, p. 24.
10. Jiang, Li és Ravikumar 1999 , 24. szakasz, p. 22.
11. Lynch 1996 , 1.4. Szakasz, "Bibliográfiai megjegyzések".
12. Navarro és Raffinot 2002 , 7.3.2. Szakasz.
13. Tel 2000 , 1.3.3. Szakasz, "Kutatási terület".
14. Msar : 1. és 2. sor.
15. Bányász : 3. helyezett.
16. Core : A rang.
17. Bányász : 6. hely.
18. Msar : 3–10. Sor.
19. Mag : B rang
20. Msar : 11-31 .
21. Msar : 32-es és annál magasabb rang.
22. CSR - informatikai szimpózium Oroszországban .
23. Bányász : 2. helyezés.
24. Samet 2010 , 6.8. Szakasz, p. 33.
25. Skiena 2008 , 17. szakasz, p. 562.
26. Mutzel és Eades 2002 .
27. Skiena 2008 , 15. szakasz, p. 516.
28. Skiena 2008 , 17.3. Szakasz, p. 575.
29. Overmars 1998 .
30. Bányász : 5. helyezés.
31. Mag : C rang
32. Aminer : rank 43.

Bibliográfia

Ranglista

• [Aminer] (en) "  Elméleti számítógépes konferenciák rangsorolása  " , Aminer (konzultáció időpontja : 2016. december 19. )
• [Core] (en) "  Számítástechnikai konferencia rang  " , Ausztrál Kutatási Tanács,2017(elérhető : 2017. október 13. )
• [Msar] (en) "  Microsoft Academic konferencia terepi minősítései  " ,2014. május 9(megtekintés : 2016. december 19. )
• [Google] (en) „  Google Scolar  ” (hozzáférés : 2016. december 19. )
• [Zaïane] (en) Osmar R. Zaïane , "  Számítástechnikai konferencia rangsor  " ,2009. augusztus 5(elérhető : 2009. október 31. )

Konferenciákat megemlítő kézikönyvek

• Ethem Alpaydin , Bevezetés a gépi tanulásba , MIT Press ,2004, 415  p. ( ISBN  978-0-262-01211-9 , online olvasás ).
• (en) Lloyd D. Fosdick , Elizabeth R. Jessup , Carolyn JC Schauble és Gitta Domik , Bevezetés a nagy teljesítményű tudományos számítástechnikába , Cambridge, MIT Press ,1996, 760  p. ( ISBN  0-262-06181-3 ).
• .
• Chryssis Georgiou és Alexander A. Shvartsman , Do-All Computing in Distributed Systems: Együttműködés a nehézségek jelenlétében , Springer,2007( ISBN  978-0-387-30918-7 ).
• Mohammad Ilyas és Imad Mahgoub , Az érzékelőhálózatok kézikönyve: Kompakt vezeték nélküli és vezetékes érzékelő rendszerek , CRC Press ,2004, 864  p. ( ISBN  978-0-8493-1968-6 ).
• Daniel Jurafsky és James H. Martin , Beszéd és nyelvfeldolgozás: Bevezetés a természetes nyelv feldolgozásába, a számítási nyelvészetbe és a beszédfelismerésbe , Pearson-oktatás,2009, 2 nd  ed. , 988  p. ( ISBN  978-0-13-187321-6 ).
• Nancy Ann Lynch , elosztott algoritmusok , Morgan Kaufmann,1996, 872  p. ( ISBN  978-1-55860-348-6 ).
• Amitabh Mishra , Biztonság és szolgáltatásminőség az ad hoc vezeték nélküli hálózatokban , Cambridge University Press ,2008, 194  p. ( ISBN  978-0-521-87824-1 ).
• Gonzalo Navarro és Mathieu Raffinot , rugalmas minták illesztése húrokban , Cambridge University Press ,2002, 221  p. ( ISBN  978-0-521-81307-5 , online olvasás ).
• (en) Steven S. Skiena , The Algorithm Design Manual , London, Springer,2008, 2 nd  ed. , 730  p. ( ISBN  978-1-84800-069-8 ).
• Gerard Tel , Bevezetés az elosztott algoritmusokba , Cambridge University Press ,2000, 2 nd  ed. , 596  p. ( ISBN  978-0-521-79483-1 , online olvasás ).

Egyéb források

• Chazelle, Bernard, Advances in Discrete and Computational Geometry: Az 1996-os AMS-IMS-SIAM közös nyári kutatási konferencia anyagai, Diszkrét és számítási geometria - tíz évvel később, 1996. július 14–18., Mount Holyoke College ,1996, 463  p. ( ISBN  978-0-8218-0674-6 , online olvasás ) , "Alkalmazási kihívások a számítási geometriához: CG Impact Task Force Report".
• Faith Fich , „  A számítástechnikai kutatás elméletével kapcsolatos infrastrukturális kérdések  ”, ACM Computing Surveys , vol.  28, n o  4ES,1996, P.  217. ( DOI  10.1145 / 242224.242502 ).
• (en) Sally A. Goldman , Algoritmusok és számításelmélet kézikönyve , Boca Raton / London / New York, CRC Press ,1999( ISBN  0-8493-2649-4 ) , "Számítási tanulás elmélete".
• .
• en) Tao Jiang , Ming Li és Bala Ravikumar , Algoritmusok és számításelmélet kézikönyve , Boca Raton / London / New York, CRC Press ,1999( ISBN  0-8493-2649-4 ) , "A számítógépes komplexitás alapfogalmai".
• Petra Mutzel és Peter Eades , Dagstuhl Nemzetközi Szeminárium a szoftvermegjelenítésről, 2001. május, Revised Papers , vol.  2269, Springer, koll.  "Előadási jegyzetek a számítástechnikában",2002, 285–294  p. ( ISBN  978-3-540-43323-1 , DOI  10.1007 / 3-540-45875-1_22 , online olvasás ).
• Mark H. Overmars , Nemzetközi kollokvium az automatákról, nyelvek és programozás , vol.  1443, Springer-Verlag , koll.  "Előadási jegyzetek a számítástechnikában",1998, 116–117  . ( ISBN  3-540-64781-3 , DOI  10.1007 / BFb0055045 ).
• Hanan Samet , Algoritmusok és számításelmélet kézikönyv , CRC Press ,2010, 2 nd  ed. , 988  p. ( ISBN  978-1-58488-822-2 ) , "Többdimenziós adatszerkezetek térbeli alkalmazásokhoz".

Kapcsolódó cikkek

• Az elméleti informatika fontos publikációinak felsorolása
• Számítástechnikai konferenciák listája  (in)