- finite-model-theory - lists.rwth-aachen.de

TTCS 2020 - 2nd Call for Papers
by Renato Neves 21 Dec '19

21 Dec '19

The Third IFIP International Conference on Topics in Theoretical Computer Science (TTCS 2020) http://cs.ipm.ac.ir/ttcs/2020 Institute for Research in Fundamental Sciences (IPM) Tehran, Iran, July 1-3, 2020 *** Submission Deadline: January 12, 2020 *** *** NEW - Invited Speakers *** MohammadTaghi Hajiaghayi, University of Maryland, USA (Track A) Filippo Bonchi, University of Pisa, Italy (Track B) ================================================== ------------------------------ Scope ------------------------------ TTCS is a bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science (EATCS). The proceedings will be published in the Springer LNCS series. TTCS is organized in 2 tracks. Topics of interest include but are not limited to: Track A: Algorithms and Complexity - algorithms and data structures, - algorithmic coding theory, - algorithmic graph theory and combinatorics, - approximation algorithms, - computational complexity, - computational geometry, - computational learning theory, - economics and algorithmic game theory, - fixed-parameter algorithms, - machine learning, - optimization, - parallel and distributed algorithms, - quantum computing, - randomness in computing, - theoretical cryptography. Track B: Logic, Semantics, and Programming Theory - algebra and coalgebra in computer science, - concurrency theory, - coordination languages, - formal verification and model-based testing, - logic in computer science, - methods, models of computation and reasoning for embedded, hybrid, and cyber-physical systems, - stochastic and probabilistic specification and reasoning, - theoretical aspects of other CS-related research areas, e.g. computational science, databases, information retrieval, and networking, - theory of programming languages, - type theory. ------------------------------ Important Dates ------------------------------ - Full Paper Submission: January 12, 2020 - Author notification: March 12, 2020 - Camera-ready paper: April 1, 2020 - Conference: July 1-3, 2020 ------------------------------ Submissions ------------------------------ Research papers are solicited in all areas of theoretical computer science. All papers will undergo a rigorous review process and will be judged based on their originality, soundness, significance of the results, and relevance to the theme of the conference. Papers should be written in English. Research papers should not exceed 15 pages in the LNCS style format. All technical details necessary for a proper evaluation of a submission must be included in the submission or in a clearly-labeled appendix, to be consulted at the discretion of program committee members. Multiple and/or concurrent submission to other scientific venues is not allowed and will result in rejection as well as notification to the other venue. Any case of plagiarism (including self-plagiarism from earlier publications) will result in rejection as well as notification to the authors' institutions. TTCS 2020 proceedings will be published by Springer, in the Lecture Notes in Computer Science series, in accordance to the contract between Springer Nature Switzerland AG and the International Federation for Information Processing (IFIP). Papers should be submitted to the appropriate track through EasyChair at https://easychair.org/conferences/?conf=ttcs2020 ------------------------------ Programme Committee ------------------------------ Track A: Algorithms and Complexity Mohammad Ali Abam, Sharif University of Technology, Iran (PC co-chair) Sepehr Assadi, Rutgers University, USA Mohammad Hossein Bateni, GoogleRresearch, USA Salman Beigy, IPM, Iran Hossein Esfandiari, Harvard University, USA Omid Etesami, IPM, Iran Marc van Kreveld, Utrecht University, Netherlands Mohammad Mahdian, Google Research, USA Mohammad Mahmoody, University of Virginia, USA Vahab Mirrokni, Google Research, USA Gunter Rote, FU Berlin, Germany Mohammadreza Salavatipour, University of Alberta, Canada Masoud Seddighin, IPM, Iran Saeed Seddighin, Harvard University, USA Michiel Smid, Carleton Univesity, Canada Hamid Zarrabi-Zadeh, Sharif University of Technology, Iran Track B: Logic, Semantics, and Programming Theory Farhad Arbab, CWI, The Netherlands Kyungmin Bae, Pohang University of Science and Technology, South Korea Christel Baier, Technische Universitat Dresden, Germany Luis S. Barbosa, University of Minho, Portugal (PC co-chair) Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil Simon Bliduze, INRIA Lille, France Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, University of Leiden, The Netherlands Flavio Corradini University of Camerino, Italy Fredrik Dahlqvist, UCL, UK Sergey Goncharov, FAU Erlangen-Nurnberg, Germany Hossein Hojjat, Rochester Institute of Technology, USA Mohammad Izadi, Sharif University of Technology, Iran Sung-Shik Jongmans, Open University, The Netherlands Alexander Knapp, University of Augsburg, Germany Jan Kretinsky, Munich University of Technology, Germany Alexandre Madeira, University of Aveiro, Portugal Stefan Mitsch, Carnegie Mellon University, USA Mohammad Reza Mousavi, University of Leicester, UK Renato Neves, INESC TEC, Portugal Peter Olveczky, University of Oslo, Norway Prakash Panangaden, McGill University, Canada Elaine Pimentel, UFRN, Brazil Subodh Sharma, IIT Delhi, India Pawel Sobocinski, Taltech, Estonia Ana Sokolova, University of Salzburg, Austria Carolyn Talcott, Stanford University, USA Benoit Valiron, LRI, France Naijun Zhan, Chinese Academy of Science, China Link to the online cfp: https://easychair.org/cfp/TTCS2020

1 0

January 14, 2020 - 2nd edition of the World Logic Day - Under the auspices of UNESCO
by jean-yves beziau 18 Dec '19

18 Dec '19

After the adoption of January 14 as the World Logic Day by the Executive Council of UNESCO on October 17, 2019, January 14 was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in Paris, November 12-27, 2019. See below extracts of the text, related to the paper reporting the first edition celebrated in about 60 localities all around the world: 1st World Logic Day: 14 January 2019 https://link.springer.com/article/10.1007/s11787-019-00221-5 We encourage everybody to organize a celebration of the World Logic Day on January 14 2020 under the auspices of UNESCO. Info about all the celebrations will be gathered in a single webpage with links to all the celebrations in the world as it was done for the 1st edition. http://logica-universalis.org/wld Here one of them already announced: https://epimenides.usal.es/?q=en/programa-2020 Best Wishes Jean-Yves Beziau Editor-in-Chief Logica Universalis President of the Brazilian Academy of Philosophy --------------------------------------------------------------------------------------------------------------------------------------------- 1. The ability to think is one of the most defining features of humankind. In different cultures, the definition of humanity is associated with concepts such as consciousness, knowledge and reason. According to the classic western tradition, human beings are defined as “rational” or “logical animals”. Logic, as the investigation on the principles of reasoning, has been studied by many civilizations throughout history and, since its earliest formulations, logic has played an important role in the development of philosophy and the sciences. 2. Despite its undeniable relevance to the development of knowledge, sciences and technologies, there is little public awareness on the importance of logic. The proclamation of World Logic Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH), intends to bring the intellectual history, conceptual significance and practical implications of logic to the attention of interdisciplinary science communities and the broader public. 3. A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation. Furthermore, the celebration of World Logic Day can also contribute to the promotion of a culture of peace, dialogue and mutual understanding, based on the advancement of education and science 4. On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in the fields of mathematics, philosophy, computer sciences, engineering, economics and cognitive sciences. The existence of these networks, and their commitment to future annual celebrations of World Logic Day, offer credible assurance that the proclamation of the Day by UNESCO, in association with the relevant member organizations of the CIPSH, will lead to a solid action plan towards impact and added value. UNESCO’s commitment to World Logic Day will ensure that it has a broader and more geographically diverse orientation and connects organically to established programme priorities in the humanities. Full text here https://unesdoc.unesco.org/ark:/48223/pf0000371483

1 0

Computability in Europe 2020 SECOND CALL FOR PAPERS
by acie＠acie.eu 17 Dec '19

17 Dec '19

COMPUTABILITY IN EUROPE 2020 SECOND CALL FOR PAPERS: CiE 2020: Salerno, Italy June 29 - July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020 https://www.acie.eu IMPORTANT DATES: Deadline for abstract registration: 3 January 2020 AOE Deadline for article submission: 17 January 2020 AOE Notification of acceptance: 29 February 2020 Final versions due: 15 March 2020 Deadline for informal presentations submission: 10 April 2020 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: 1 May 2020 CiE 2020 is the 16th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019). TUTORIAL SPEAKERS: - Virginia Vassilevska Williams (MIT) - Martin Ziegler (Korea Advanced Institute of Science and Technology) INVITED SPEAKERS: Paolo Boldi (University of Milan) Véronique Bruyère (University of Mons) Ekatarina Fokina (Vienna University of Technology) Amaury Pouly (CNRS Paris) Antonio Restivo (University of Palermo) Damien Woods (Maynooth University) HOSTED BY: Department of Computer Science, University of Salerno SPECIAL SESSIONS: Algorithmic Learning Theory Combinatorial String Matching Computable Topology History and Philosophy of Computing Large scale Bioinformatics and Computational Sciences Modern aspects of Formal Languages CONTRIBUTED PAPERS: Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Marcella Anselmo University of Salerno (co-chair) Veronica Becher Universidad de Buenos Aires Paola Bonizzoni University of Milano-Bicocca Laura Crosilla University of Oslo Liesbeth De Mol Université de Lille 3 Gianluca Della Vedova University of Milano-Bicocca Jérôme Durand-Lose Université d'Orléans Pawel Gawrychowski University of Wroclaw Mathieu Hoyrup LORIA Juliette Kennedy University of Helsinki Karoliina Lehtinen University of Liverpool Benedikt Loewe Universiteit van Amsterdam Florin Manea Universität Göttingen Timothy McNicholl Iowa State University Klaus Meer BTU Cottbus-Senftenberg Turlough Neary University of Zurich Daniel Paulusma Durham University Arno Pauly Swansea University (co-chair) Karin Quaas University of Leipzig Viola Schiaffonati Politecnico di Milano Markus L. Schmid Humboldt University Berlin Alexander Schoenhuth Bielefeld University Thomas Schwentick Universität Dortmund Marinella Sciortino University of Palermo Victor Selivanov Institute on Informatics Systems Mariya Soskova University of Wisconsin-Madison Peter Van Emde Boas Universiteit van Amsterdam Linda Brown Westrick Pennsylvania State University The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. THE PROGRAMME COMMITTEE cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2020 at https://easychair.org/conferences/?conf=cie2020. Papers must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. WOMEN IN COMPUTABILITY TRAVEL GRANTS We are very happy to announce that within the framework of the Women in Computability programme sponsored by ACM-W we are able to offer four grants of up to 250 EUR for junior female researchers who want to participate in CiE 2020. Applications for this grant should be sent to johanna.franklin(a)gmail.com, before APRIL 30, 2020 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2020.

1 0

11 Fully Funded Doctoral Positions in Computer Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020
by Mihaela Rozman 16 Dec '19

16 Dec '19

TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering - computational logic, and applications of logic to - databases and artificial intelligence, - computer-aided verification, - security and privacy, - cyber-physical systems, as well as to - distributed systems. THE PROGRAM Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. FACULTY MEMBERS M. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / T. Eiter / G. Gottlob / R. Grosu / L. Kovacs / M.Maffei / M. Ortiz / U. Schmid / M.Seidl / S. Szeider / G. Weissenbacher / S.Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. POSITIONS AND FUNDING *We are looking for 11 very strong doctoral students. *We offer internationally competitive salaries funded for at least 3 years according to the funding scheme of the Austrian Science Fund (with full health benefits) *The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. CURRENT RESEARCH AREAS Students can pursue doctoral research within the following areas: * Automated Software Verification * Description Logics * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Knowledge Representation and Reasoning * Model Checking * Modeling and analysis of digital integrated circuits * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Topology in distributed computing * Quantified Boolean Formulas HOW TO APPLY For more information about the PhD program and application process, as well as faculty profiles, please visit our website at: https://logic-cs.at/phd/admission/ *The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. *Candidates with comparable achievements will be considered on a case-by-case basis. *Applications by the candidates need to be submitted electronically. Next application deadline: January 11, 2020. LOGIC IN AUSTRIA Austria has a highly active and successful logic in the computer science community. Recent activities include: www.arise.or.at (Austrian Research Network in Rigorous Systems Engineering) www.vcla.at (Vienna Center for Logic and Algorithms) www.kgs.logic.at (International Kurt Goedel Society) HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. If you have any questions, feel free to get in touch: info(a)logic-cs.at WEBSITE: http://www.vcla.at/2019/12/several-open-phd-positions-in-the-doctoral-progra m-on-logical-methods-in-computer-science-logics/

1 0

2nd Call for nominations Presburger Award 2020 (deadline Feb. 15, 2020)
by Anca Muscholl 16 Dec '19

16 Dec '19

[Please distribute] The Presburger Award for Young Scientists 2020 Call for Nominations Deadline: 15 February 2020 Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (today called Presburger arithmetic) as a student in 1929. Nominations for the Presburger Award can be submitted by any member or group of members of the theoretical computer science community except the nominee and his/her advisors for the master thesis and the doctoral dissertation. Nominated scientists have to be at most 35 years old on January 1st of the year of the nomination (i.e., for the Presburger Award of 2020 the birth year should be 1984 or later). The Presburger Award Committee of 2020 consists of Thore Husfeldt (Lund University and IT University of Copenhagen), Meena Mahajan (The Institute of Mathematical Sciences, Chennai) and Anca Muscholl (LaBRI, Bordeaux, chair). Nominations, consisting of a two page justification and (links to) the respective papers, as well as additional supporting letters, should be sent by e-mail to: presburger-award(a)eatcs.org The subject line of every nomination should start with Presburger Award 2020, and the message must be received before February 15th, 2020. The award includes an amount of 1000 Euro and an invitation to ICALP 2020 for a lecture. _____________________________________________ Previous Winners: Mikolaj Bojanczyk, 2010 Patricia Bouyer-Decitre, 2011 Venkatesan Guruswami, Mihai Patrascu 2012 Erik Demaine, 2013 David Woodruff, 2014  Xi Chen, 2015 Mark Braverman, 2016 Alexandra Silva, 2017 Aleksander Madry, 208 Karl Bringmann, Kasper Green Larsen 2019   Official website: http://www.eatcs.org/index.php/presburger

1 0

PhD position at the "Database" group at University of Bremen
by Sebastian Maneth 13 Dec '19

13 Dec '19

FULL DOCTORAL POSITION IN THE DATABASE GROUP OF UNIVERSITY OF BREMEN The research group "Databases" of Department 3 (Mathematics and Computer Science) of the University of Bremen is offering -- conditional to the release of budgetary funds -- a position for a Doctoral Researcher (m/f/d) – Salary according to German federal pay scale 13 TV-L (100%) for the duration of three years. The employment is fixed-term and governed by the Act of Academic Fixed-Term Contracts (Wissenschaftszeitvertragsgesetz). Therefore, candidates may only be considered for employment if they still have the respective qualification periods available in accordance with §2 (1) WissZeitVG. The research group "Database Theory" is headed by Prof. Sebastian Maneth and works among others on - automata theory and its applications - databases for heterogeneous data (JSON, XML, RDF, etc.) and - compression of heterogeneous data The position includes a teaching load of 4 hours per week (SWS) and provides the opportunity for scientific qualification within the framework of a doctoral degree. The candidate should assist the research group in its teaching and should conduct research on the topics mentioned above with the other group members. Essential qualifications are a completed Master’s degree or Diplom in Computer Science (or equivalent, e.g. in Mathematics) and proficient basic knowledge in at least one of the areas relevant to the research group. As the University of Bremen wants to increase the proportion of female employees in science, women are particularly encouraged to apply. In case of equal qualification, disabled persons will be given priority. International applications as well as applications of academics with a migration background are explicitly welcome. Please address your complete and informative application documents (Curriculum Vitae, Master’s Degree certificate, etc.) stating the reference number A359/19 by January 3, 2020 to: Universitaet Bremen Fachbereich 3 Informatik/Mathematik Prof. Dr. Sebastian Maneth Bibliothekstrasse 5 28359 Bremen or electronically in a single PDF-file to maneth(a)uni-bremen.de Applications will also considered after the deadline until the position is filled. We request that you only send document copies and not originals as we cannot return them; all application materials will be destroyed after the selection process.

1 0

CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020
by Roussanka Loukanova 07 Dec '19

07 Dec '19

CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2020 22 - 24 February 2020 - Valletta, Malta http://www.icaart.org/NLPinAI.aspx?y=2020 http://www.icaart.org/NLPinAI.aspx Special Session within the 12th International Conference on Agents and Artificial Intelligence - ICAART 2020 http://www.icaart.org ------------------------------------------------------------- SCOPE Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES Paper Submission: December 19, 2019 Authors Notification: January 9, 2020 Camera Ready and Registration: January 17, 2020 PAPER SUBMISSION Prospective authors are invited to submit papers in any of the topics listed above. Instructions for preparing the manuscript (in Word and Latex formats) are available on the ICAART pages. Paper Templates: http://www.icaart.org/Templates.aspx Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the button SUBMIT PAPER on the pages of NLPinAI 2020 at ICAART 2020. PUBLICATIONS After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Semantic Scholar and Google Scholar. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2020. ------------------------------------------------------------- CHAIR: Roussanka Loukanova Sweden and Bulgaria CONTACT: Roussanka Loukanova (rloukanova the special symbol gmaildotcom) -------------------------------------------------------------

1 0

Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020
by Mihaela Rozman 05 Dec '19

05 Dec '19

TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering - computational logic, and applications of logic to - databases and artificial intelligence, - computer-aided verification, - security and privacy, - cyber-physical systems, as well as to - distributed systems. THE PROGRAM Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems. FACULTY MEMBERS M. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / T. Eiter / G. Gottlob / R. Grosu / L. Kovacs / M.Maffei / M. Ortiz / U. Schmid / M.Seidl / S. Szeider / G. Weissenbacher / S.Woltran The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college. POSITIONS AND FUNDING *We are looking for 8 very strong doctoral students. *We offer internationally competitive salaries funded for at least 3 years according to the funding scheme of the Austrian Science Fund (with full health benefits) *The funding can be extended for one additional year contingent on a placement at one of our international partner institutions. CURRENT RESEARCH AREAS Students can pursue doctoral research within the following areas: * Automated Software Verification * Epistemic logic in distributed computing * Game-based Semantics * Fixed-Parameter Algorithms and Complexity * Formal Verification of hybrid systems * Model Checking * Modeling and analysis of digital integrated circuits * Security and Privacy * Scheduling and logic programming * Topology in distributed computing HOW TO APPLY For more information about the PhD program and application process, as well as faculty profiles, please visit our website at: https://logic-cs.at/phd/admission/ *The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related field. *Candidates with comparable achievements will be considered on a case-by-case basis. *Applications by the candidates need to be submitted electronically. Next application deadline: January 11, 2020. LOGIC IN AUSTRIA Austria has a highly active and successful logic in the computer science community. Recent activities include: www.arise.or.at (Austrian Research Network in Rigorous Systems Engineering) www.vcla.at (Vienna Center for Logic and Algorithms) www.kgs.logic.at (International Kurt Goedel Society) HIGHEST QUALITY OF LIFE The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses. If you have any questions, feel free to get in touch: info(a)logic-cs.at

1 0

CSL 2020, Barcelona, Call for Participation
by Albert Atserias 04 Dec '19

04 Dec '19

============================================================== Call for Participation ============================================================== Computer Science Logic 2020 Barcelona, Catalonia, Spain January 13 - 16, 2020 http://www.cs.upc.edu/csl2020 ============================================================== The European Association for Computer Science Logic, the department of Computer Science of the Universitat Politècnica de Catalunya, and the Institut de Matemàtiques de la Universitat de Barcelona kindly invite you to participate in the 2020 edition of CSL that will be held in Barcelona from Mon Jan 13 to Thu Jan 16, 2020. # The Conference Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference spanning across both basic and application oriented research in mathematical logic and computer science. CSL 2020 will be the 28th edition in the series. Please note that CSL has moved from its former August/September slot and that CSL 2020 is the first conference in the series that takes place in January. ## Invited Speakers Véronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Jeż, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK ## Programme Thirty-two contributions were selected for presentation at CSL 2020. A full list is available at http://www.cs.upc.edu/csl2020/program.html . ## Registration To register, please follow the link and information provided on the CSL website http://www.cs.upc.edu/csl2020/registration.html . Note the early registration deadline: THURSDAY, DECEMBER 5, 2019. For any questions please contact Albert Atserias (atserias at-sign cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign ub.edu). ==============================================================

1 0

Gödel Prize - call for nominations
by Anuj Dawar 22 Nov '19

22 Nov '19

The Gödel Prize 2020 - Call for Nominations Deadline: February 15, 2020 The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 28th Gödel Prize will be awarded at the 47th International Colloquium on Automata, Languages, and Programming to be held during 8-12 July, 2020 in Beijing. The Prize is named in honour of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question. The Prize includes an award of USD 5,000. Award Committee: The 2020 Award Committee consists of Samson Abramsky (University of Oxford), Anuj Dawar (Chair, University of Cambridge), Joan Feigenbaum (Yale University), Robert Krauthgamer (Weizmann Institute), Daniel Spielman (Yale University) and David Zuckerman (University of Texas, Austin). Nominations: Nominations for the award should be submitted by email to the Award Committee Chair: anuj.dawar(a)cl.cam.ac.uk. Please make sure that the Subject line of all nominations and related messages begin with “Goedel Prize 2020.” To be considered, nominations for the 2020 Prize must be received by February 15, 2020. Those intending to submit a nomination should contact the Award Committee chair by email well in advance to discuss it. For full details on eligibility and requirements, please see http://eatcs.org/index.php/goedel-prize http://www.sigact.org/prizes/gödel.html or contact the Award Committee chair, Anuj Dawar <anuj.dawar(a)cl.cam.ac.uk> -- Anuj.Dawar(a)cl.cam.ac.uk Professor of Logic and Algorithms Department of Computer Science and Technology University of Cambridge Phone: +44 1223 334408 15 J.J. Thomson Avenue Fax: +44 1223 334678 Cambridge CB3 0FD, UK. http://www.cl.cam.ac.uk/users/ad260

1 0