(PN) FCT 2017 - First Announcement
FCT 2017 21st International Symposium on Fundamentals of Computation Theory September 11-13, 2017 Bordeaux, France http://fct2017.labri.fr/ <http://fct2017.labri.fr/> *** FIRST ANNOUNCEMENT *** The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wrocław, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France. Bordeaux is located in the South West of France and is easy to reach by plane. The region is famous for its wines and its gastronomy. The city centre of Bordeaux is classified at the Unesco World Heritage. – Tentative submission date: end of April, 2017. Conference dates: September 11-13, 2017. - Arnaud Casteigts, Ralf Klasing, Marc Zeitoun. Organization and PC co-Chairs of FCT 2017. [[ Petri Nets World:]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ:]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies:]] [[ petrinet@informatik.uni-hamburg.de ]]
(PN) Post-doctoral position in Bordeaux/LaBRI
Post-doctoral position in ANR project DeLTA The Formal Methods group at LaBRI, Bordeaux University, is advertising a 1-year full-time postdoctoral position. The successful applicant will join a research group working on the project Delta http://delta.labri.fr. The position will be open from January 2017 and applications will be considered until the position is filled. * Main topics of the project - Extended notions of regularity through automata, algebra, and logic, - Complexity of reasoning tasks for automata and transducers on words, trees and graphs, - Logics for reasoning over quantitative or unbounded domains, - Expressiveness of formalisms though the use of algebra. * Requirements - PhD in Computer Science or Mathematics. - Solid background in theoretical computer science (cf. topics). - Proven research record on the aforementioned areas. - Strong commitment to research and to international mobility. - Fluent communication skills in English. * Application The application should include a curriculum vitae (including a publication list), a proof of PhD degree, and a one-page long research project. For further information or applications, candidates should contact Marc Zeitoun (mz [at] labri [dot] fr). * Employment Type of contract: Fixed Term Contract Gross annual salary: about 30K€ Working hours: full time Start date: Spring 2017 Workplace: LaBRI, the computer science laboratory of Bordeaux University, France Best regards, Marc Zeitoun http://www.labri.fr/perso/zeitoun <http://www.labri.fr/perso/zeitoun> [[ Petri Nets World:]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ:]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies:]] [[ petrinet@informatik.uni-hamburg.de ]]