uncg.edu
Summer 2013 :: Algorithmic Combinatorics on Words REU
http://www.uncg.edu/cmp/reu/summer2013
Algorithmic Combinatorics on Partial Words" by Francine Blanchet-Sadri, Chapman&Hall/CRC Press 2008. The tutorial Preliminaries on Partial Words. By Dr Francine Blanchet-Sadri is available. The powerpoint presentation entitled Basic XHTML and CSS. By Margaret Moorefield is available. By Stephanie Rednour and Robert Misior is available. By Charles T. Batts is available. For a detailed account of a specific week, click on the week number. LaTeX tutorial, team meetings, technical writing. In E W. Mayr a...
concurrency.cs.uni-kl.de
Concurrency Theory Group - University of Kaiserslautern
http://concurrency.cs.uni-kl.de/publications/allpublications.html
Department of Computer Science. Complexity of regular abstractions of one-counter languages. By Mohammed Faouzi Atig. Accepted for LICS 2016. Antichains for Inclusion Games. By Lukas Holik, Roland Meyer. First-order logic with reachability for infinite-state systems. Accepted for LICS 2016. Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. By Daniel König. Accepted for Contemporary Mathematics. Acceleration in Multi-PushDown Systems. And Mohammed Faouzi Atig. An Appro...
fb-ginf.gi.de
Startseite - Fachbereich Grundlagen der Informatik
http://fb-ginf.gi.de/startseite.html
Skip to the navigation. Skip to the content. Hauptseite der Gesellschaft für Informatik. Fachbereich Grundlagen der Informatik. Sie befinden sich hier:. Fachbereich Grundlagen der Informatik (GInf). Der Fachbereich widmet sich den Grundlagen der Informatik. In seinen Fachgruppen werden aktuelle Forschungsfragen der Algorithmik, Komplexität, Automatentheorie, Logik, Concurrency Theory sowie der Netztheorie (Neuronale Netze, Petrinetze) und der Computeralgebra behandelt. 4 und 5. Oktober 2016. NCMA 2015 (7...
arithmetique.univ-perp.fr
GT Arithmétique Site/Conférences
http://arithmetique.univ-perp.fr/Site/Conférences
Pôle "Calcul formel, arithmétique, protection de l'information, géométrie" du GDR-IM. Correspondant pour les conférences : Stef Graillat. LIP6, UPMC), à contacter pour ajouts-modifications-suppressions-suggestions. SCAN 2016, 17th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, Uppsala, Sweden, September 2016. International Workshop on the Arithmetic of Finite Fields, Ghent, Belgium. July 13-15, 2016. Spa, Belgium, June 8-13, 2014.
concurrency.informatik.uni-kl.de
Concurrency Theory Group - University of Kaiserslautern
http://concurrency.informatik.uni-kl.de/publications/allpublications.html
Department of Computer Science. Complexity of regular abstractions of one-counter languages. By Mohammed Faouzi Atig. Accepted for LICS 2016. Antichains for Inclusion Games. By Lukas Holik, Roland Meyer. First-order logic with reachability for infinite-state systems. Accepted for LICS 2016. Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. By Daniel König. Accepted for Contemporary Mathematics. Acceleration in Multi-PushDown Systems. And Mohammed Faouzi Atig. An Appro...