Międzynarodowa konferencja na temat rozwoju teorii języka
| Międzynarodowa konferencja na temat rozwoju teorii języka | |
|---|---|
| Skrót | DLT |
| Dyscyplina | Języki formalne |
| Szczegóły publikacji | |
| Wydawca | Springer LNCS |
| Historia | 1993– |
| Częstotliwość | roczne (od 2001) |
DLT , Międzynarodowa Konferencja Rozwoju Teorii Języka, jest konferencją naukową w dziedzinie informatyki odbywającą się corocznie pod auspicjami Europejskiego Stowarzyszenia Informatyki Teoretycznej . Podobnie jak większość teoretycznych konferencji informatycznych, jego wkład jest silnie recenzowany; artykuły pojawiają się w materiałach opublikowanych w Springer Lecture Notes in Computer Science . Rozszerzone wersje wybranych referatów z każdego roku konferencji ukazują się w czasopismach o zasięgu międzynarodowym, m.in Informatyka teoretyczna i International Journal of Foundations of Computer Science .
Tematyka konferencji
Typowe tematy obejmują:
- gramatyki, akceptory i przetworniki słów, drzew i grafów
- algebraiczne teorie automatów
- algorytmiczne, kombinatoryczne i algebraiczne własności słów i języków
- kody o zmiennej długości
- dynamika symboliczna
- automaty komórkowe
- poliomino i wielowymiarowe wzory
- pytania rozstrzygalności
- manipulacja i kompresja obrazu
- wydajne algorytmy tekstowe
- związki między teorią języka formalnego a kryptografią, współbieżność, teoria złożoności i logika
- obliczenia inspirowane biologią i obliczenia kwantowe
Historia Konferencji
Cykl konferencji DLT został ustanowiony przez Grzegorza Rozenberga i Arto Salomaa w 1993 roku. Od 2010 roku przewodniczącym Komitetu Sterującego jest Juhani Karhumäki .
- 23. DLT 2019 w Warszawie
- 22. DLT 2018 w Tokio, Japonia
- 21. DLT 2017 w Liège w Belgii
- 20. DLT 2016 w Montrealu w Kanadzie
- 19. DLT 2015 w Liverpoolu w Anglii
- 18. DLT 2014 w Jekaterynburgu w Rosji
- 17. DLT 2013 w Marne-la-Vallée we Francji
- 16. DLT 2012 w Tajpej na Tajwanie
- 15. DLT 2011 w Mediolanie we Włoszech
- Wydanie specjalne: International Journal of Foundations of Computer Science 23(5), sierpień 2012
- 14. DLT 2010 w Londynie (Ontario), Kanada
- Wydanie specjalne: International Journal of Foundations of Computer Science 22(7), listopad 2011
- 13. DLT 2009 w Stuttgarcie, Niemcy
- Wydanie specjalne: International Journal of Foundations of Computer Science 22(2), luty 2011
- 12. DLT 2008 w Kioto, Japonia
- Wydanie specjalne: International Journal of Foundations of Computer Science 21(4), sierpień 2010
- 11. DLT 2007 w Turku, Finlandia
- Wydanie specjalne: International Journal of Foundations of Computer Science 19(3), czerwiec 2008
- 10. DLT 2006 w Santa Barbara, Kalifornia, USA
- Wydanie specjalne: Theoretical Computer Science 376(1-2), maj 2007
- 9. DLT 2005 zarchiwizowane 2016-03- 03 w Wayback Machine w Palermo, Włochy
- Wydanie specjalne: International Journal of Foundations of Computer Science 17(3), czerwiec 2006
- 8th DLT 2004 w Auckland, Nowa Zelandia
- Wydanie specjalne: International Journal of Foundations of Computer Science 16(4), sierpień 2005
- 7. DLT 2003 w Szeged, Węgry
- Wydanie specjalne: Informatyka teoretyczna, 327(3), 2004
- 6. DLT 2002 w Kioto w Japonii
- 5th DLT 2001 w Wiedniu, Austria
- 4. DLT 1999 w Akwizgranie w Niemczech
- 3. DLT 1997 w Salonikach w Grecji
- 2. DLT 1995 w Magdeburgu, Niemcy
- 1. DLT 1993 w Turku, Finlandia
Zobacz też
- Lista konferencji informatycznych zawiera inne konferencje naukowe z informatyki
- Głównym tematem tej konferencji są języki formalne
- p. Kudlek. „Raport o DLT 2004” . Biuletyn EATCS 85 :207-215, luty 2005 r. (dostępny do pobrania)
- M. Daley. „Raport o DLT 2006” . Biuletyn EATCS 90 :227-229, październik 2006 r. (dostępny do pobrania)
- p. Kudlek. „Raport o DLT 2008” . Biuletyn EATCS 97 :171-174, luty 2009.
- p. Kudlek. „Raport o DLT 2009” . Biuletyn EATCS 100 :155-159, luty 2010.
- p. Kudlek. „Raport o DLT 2010” . Biuletyn EATCS 102 :227-232, październik 2010 r. (dostępny do pobrania)
Linki zewnętrzne
| Ogólny | |
|---|---|
| Biblioteki Narodowe | |