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

FSCD 2020 - Call for (Online) Participation
by Sandra Alves 08 Jun '20

08 Jun '20

(Apologies for multiple copies of this announcement. Please circulate.) ================================================================== CALL FOR PARTICIPATION Fifth International Conference on Formal Structures for Computation and Deduction (FSCD 2020) June 29 – July 5, 2020, Paris, France http://fscd2020.org/ <http://fscd2020.org/> The 2020 edition of FSCD and of its satellite workshops will be held online. Participation will be free, but a preregistration will be required to join the video meetings of the events. FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). REGISTRATION --------------- The registration page is already open and linked from: https://fscd-ijcar-2020.org/register <https://fscd-ijcar-2020.org/register>. INVITED SPEAKERS ---------------- - René Thiemann: FSCD-IJCAR joint speaker (http://cl-informatik.uibk.ac.at/users/thiemann/ <http://cl-informatik.uibk.ac.at/users/thiemann/>) - John Harrison: IJCAR-FSCD joint speaker (https://www.cl.cam.ac.uk/~jrh13/ <https://www.cl.cam.ac.uk/~jrh13/>) - Brigitte Pienta (https://www.cs.mcgill.ca/~bpientka/ <https://www.cs.mcgill.ca/~bpientka/>) - Andrew Pitts (https://www.cl.cam.ac.uk/~amp12/ <https://www.cl.cam.ac.uk/~amp12/>) - Simona Ronchi della Rocca (http://www.di.unito.it/~ronchi/ <http://www.di.unito.it/~ronchi/>) FSCD AFFILIATED WORKSHOPS: -------------------------- - Linearity & TLLA (Joint Workshop on Linearity and Trends in Linear Logic and Applications, June 29-30) - UNIF (Workshop on Unification, June 29) - WPTE (Workshop on Rewriting Techniques for Program Transformations and Evaluation, June 29) - WiL (Women in Logic, June 30) - IWC (International Workshop on Confluence, June 30) - IFIP WG 1.6 (June 30) - HoTT/UF (Homotopy Type Theory/Univalent Foundations, July 5-6) - GeoCat (Geometric and Categorical Structures for Computation and Deduction, July 5-6) - TERMGRAPH (July 5) PROGRAM COMMITTEE CHAIR ----------------------- Zena M. Ariola, University of Oregon fscd2020(a)easychair.org <mailto:fscd2020@easychair.org> PROGRAM COMMITTEE ----------------- M. Alpuente, Technical Univ. of Valencia S. Alves, University of Porto A. Bauer, University of Ljubljana M. P. Bonacina, Università degli studi di Verona P-L. Curien, CNRS - Univ. of Paris Diderot P. Dybjer, Chalmers Univ. of Technology U. De’Liguoro, University of Torino M. Fernández, King’s College London M. Gaboardi, Boston University D. Ghica, University of Birmingham S. Ghilezan, University of Novi Sad J. Giesl, RWTH Aachen University S. Guerrini, University of Paris 13 R. Harper, Carnegie Mellon University M. Hasegawa, Kyoto University N. Hirokawa, JAIST P. Johann, Appalachian State University O. Kammar, University of Edinburgh D. Kesner, University of Paris Diderot C. Kop, Radboud University O. Laurent, ENS Lyon D. Licata, Wesleyan University A. Middeldorp, University of Innsbruck J. Mitchell, Stanford University K. Nakata, SAP Postdam M. Pagani, University of Paris Diderot E. Pimentel, Fed. Univ. Rio Grande do Norte F. van Raamsdonk, Vrije University Amsterdam G. Rosu, University of Illinois A. Sabry, Indiana University A. Stump, University of Iowa P. Urzyczyn, University of Warsaw T. Uustalu, Reykjavik University S. Zdancewic, University of Pennsylvania CONFERENCE CHAIR ---------------- Stefano Guerrini, University of Paris 13 WORKSHOP CHAIR -------------- Giulio Manzonetto, University of Paris 13 STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- J. Vicary, Oxford University PUBLICITY CHAIR --------------- S. Alves, University of Porto FSCD STEERING COMMITTEE ----------------------- S. Alves (University of Porto), M. Ayala-Rincón (University of Brasilia) C. Fuhs (Birkbeck, London University) H. Geuvers (Radboud University) D. Kesner (Chair, University of Paris Diderot ) H. Kirchner (Inria) C. Kop (Radboud University) D. Mazza (University of Paris 13) D. Miller (Inria) L. Ong (Oxford University) J. Rehof (TU Dortmund) S. Staton (Oxford University)

1 0

Computability in Europe 2020 CALL FOR PARTICIPATION
by acie＠acie.eu 08 Jun '20

08 Jun '20

COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION CiE 2020: Virtually in Salerno, Italy Due to the Covid-19 outbreak, this edition will be an online conference. June 29 - July 3, 2020 https://www.acie.eu/cie-conference-series/cie2020 https://www.acie.eu IMPORTANT DATES: 15 JUNE: REGISTRATION DEADLINE Registration (https://www.acie.eu/cie-conference-series/cie2020) is now open and free of charge. Registration is mandatory to attend the talks. 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). TUTORIALS _Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT) _Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of Science and Technology) INVITED TALKS: _Centralities in Network Analysis_ -- Paolo Boldi (University of Milan) _A game-theoretic approach for the automated synthesis of complex systems _-- Véronique Bruyère (University of Mons) On-the-fly classification of structures -- Ekatarina Fokina (Vienna University of Technology) _A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris) _On the Repetitive Structure of Words_ -- Antonio Restivo (University of Palermo) _Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien Woods (Maynooth University) HOSTED BY: Department of Computer Science, University of Salerno Due to the Covid-19 outbreak, this edition will be an online conference. SPECIAL SESSIONS: Algorithmic Learning Theory Combinatorial String Matching Computable Topology HAPOC session on Fairness in Algorithms Large scale Bioinformatics and Computational Sciences Modern aspects of Formal Languages 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.

1 0

2020 S. Barry Cooper Prize
by acie＠acie.eu 03 Jun '20

03 Jun '20

The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his work on the definability of graph properties in Monadic Second Order Logic, through a sequence of seminal papers and a book (joint with Joost Engelfriet). This forms an outstanding example of theory building, bringing together logic, computability, graph grammars, and various notions of graph width (tree-width, clique-width and rank-width) and opening new avenues in our understanding of graph structure theory and the computability and complexity of graph algorithms. Besides its foundational character, the work has had great impact on a number of areas of computer science, including in parameterized algorithmics, verification and other areas, and has influenced a generation of researchers in this field. It has straddled the divide between the logical and algorithmic aspects of theoretical computer science. The award ceremony will take place on July 2nd during the Computability in Europe 2020 conference. Registration at the conference (https://www.acie.eu/cie-conference-series/cie2020) is mandatory to attend, but it is without fees. The Barry Cooper Prize Committee 2019-2023 Anuj Dawar Peter Van Emde Boas Yuri Gurevitch Mariya Soskova Paola Bonizzoni

1 0

12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
by Mihaela Rozman 02 Jun '20

02 Jun '20

========================================================== ========================================================== TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 fully funded doctoral candidates for a starting period of 3 years. STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate´s choice) SALARY: The PhD candidates receive an employment contract DEADLINE: June 12, 2020 WEBSITE: https://logic-cs.at/phd ========================================================== ========================================================== The PhD program 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. ========================================================== ============= RESEARCH AREAS ============= At the moment we are particularly looking for PhD candidates interested in 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 * Networking and Communication Technology * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ============= 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. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ============= FACULTY MEMBERS ============= - E. 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 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF) (EMPLOYMENT CONTRACT) * The location of the research post is Vienna or Graz, Austria. ============= HOW TO APPLY ============= Detailed information about the application process is available on the LogiCS web-page: 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. Application Deadline: June 12, 2020 ============= LOGIC IN AUSTRIA ============= Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ============= 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 decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. ============= ADDITIONAL INFORMATION ============= LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at <mailto:info@logic-cs.at> ============= TWITTER ============= @vclaTUwien

1 0

12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020
by Mihaela Rozman 02 Jun '20

02 Jun '20

========================================================== ========================================================== TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF). We are recruiting up to 12 fully funded doctoral candidates for a starting period of 3 years. STARTING DATE: Negotiable LOCATION: Vienna or Graz, Austria (candidate´s choice) SALARY: The PhD candidates receive an employment contract DEADLINE: June 12, 2020 WEBSITE: https://logic-cs.at/phd ========================================================== ========================================================== The PhD program 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. ========================================================== ============= RESEARCH AREAS ============= At the moment we are particularly looking for PhD candidates interested in 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 * Networking and Communication Technology * Normative Reasoning * Ontology-based Data Access * Security and Privacy * Scheduling and logic programming * Study of the Interaction between rules from a knowledge base and rules arising from machine learning * Topology in distributed computing * Quantified Boolean Formulas ============= 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. The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers. ============= FACULTY MEMBERS ============= - E. 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 12 very strong doctoral students. * The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF) (EMPLOYMENT CONTRACT) * The location of the research post is Vienna or Graz, Austria. ============= HOW TO APPLY ============= Detailed information about the application process is available on the LogiCS web-page: 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. Application Deadline: June 12, 2020 ============= LOGIC IN AUSTRIA ============= Austria has a highly active and successful logic in the computer science community. Recent activities include: Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at Vienna Center for Logic and Algorithms - http://www.vcla.at International Kurt Goedel Society - http://www.kgs.logic.at ============= 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 decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. ============= ADDITIONAL INFORMATION ============= LogiCS web-page: https://logic-cs.at/phd/admission/ For further information please contact: info(a)logic-cs.at <mailto:info@logic-cs.at> ============= TWITTER ============= @vclaTUwien

1 0

Fwd: Call for Speakers - PRiML 2020
by Seyed H. HAERI (Hossein) 02 Jun '20

02 Jun '20

Dear all, Please consider providing a talk to the following workshop which will now be held online. Sorry for cross-posting. -------------------------------------------------------------------------------- Call for Speakers Workshop on Programming Research in Mainstream Languages (PRiML) Saarbrücken, Germany, Mon July 6th, 2020 https://agozillon.github.io/PRiML PRiML 2020 will be held online. Registration is free. # About PRiML The First Workshop on Programming Research in Mainstream Languages is co-located with the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) & the 47th International Colloquium on Automata, Languages and Programming (ICALP 2020) in Saarbrücken, Germany, in July, 2020. The PRiML workshop will consist of invited talks by leading experts and shorter contributed talks selected by the Program Committee. Programming language (PL) research in mainstream languages, entails challenges beyond those encountered within the isolation of the laboratory. Mainstream PLs, are supported by their many users, who expect stability, but so too innovation – whether within the language itself, or its standard libraries. A mainstream PL needs to support the initial concept critique, subsequent implementations, political calculations, and, ultimate bureaucracy involved in the execution of full support for novel features – often across multiple implementations. All that debate is due to real concerns about feature interaction. Performing PL research within a mainstream language can bring a hitherto proven research concept from the laboratory to a wider audience. Moreover, of course, the lack of isolation presents fresh challenges as new concepts must fund their own idiomatic expressions over the debate on feature interaction. One finds such expressions either within an existing PL or as a new PL with the funding or wherewithal to approach a mainstream audience. On the other hand, the prototype PL crafted for experimenting with a research idea might have features remote from existing mainstream PLs. Choosing a mainstream PL to host the same research entails a fresh examination of the host’s features for their suitability for the research. The implication might be a very different feature set from the host or simulation to those of the prototype in the mainstream PL. Either way, the added benefit is solving the same research problem using a fresh set of features. # Preparation of submissions We are looking for talks about PL research within mainstream PLs. Prospective speakers should consider topics which: 1) briefly report on PL research performed with a mainstream PL; and 2) clearly outline the added value of the chosen PL(s) for the reported research. We invite contributions from innovators working with classic TIOBE programming language mainstays such as Java, C, C++, Python and C#. But so too we welcome maturing Stack Overflow darlings such as Rust, Swift, Go and beyond. Talk titles along with abstracts should be submitted by email to the program chairs. Contact details are available on the [workshop website](https://agozillon.github.io/PRiML). # Important Dates Proposal submission deadline: Friday June 5th Author notification: by Friday June 12th Workshop: Monday July 6th # Program Chairs The workshop is co-organized by Seyed Hossein Haeri (Université catholique de Louvain, Belgium) and Paul Keir (University of the West of Scotland, UK). Contact details are available on the [workshop website](https://agozillon.github.io/PRiML). Please consider the environment and think before you print. The University of the West of Scotland is a registered Scottish charity. Charity number SC002520. This e-mail and any attachment is for authorised use by the intended recipient(s) only. It may contain proprietary material, confidential information and/or be subject to legal privilege. It should not be copied, disclosed to, retained or used by, any other party. If you are not an intended recipient then please promptly delete this e-mail and any attachment and all copies and inform the sender. Please note that any views or opinions presented in this email are solely those of the author and do not necessarily represent those of the University of the West of Scotland. As a public body, the University of the West of Scotland may be required to make available emails as well as other written forms of information as a result of a request made under the Freedom of Information (Scotland) Act 2002. -- -------------------------------------------------------------------------------------------------------------- Seyed H. HAERI (Hossein), Dr. Post-Doctoral Research Fellow Department of Computing Science and Engineering Catholic University of Louvain Louvain-la-Neuve, Belgium ACCU - Professionalism in programming - http://www.accu.org/ --------------------------------------------------------------------------------------------------------------

1 0

Online Worldwide Seminar on Logic and Semantics -- Summer Programme
by Nathanaël Fijalkow 01 Jun '20

01 Jun '20

[Apologies for any duplicate messages] ================== ** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) ** ** https://www.cs.bham.ac.uk/~vicaryjo/owls/ ** The Online Worldwide Seminar on Logic and Semantics is an online-only series of research talks, highlighting the most exciting recent work in the international computer science logic community. In this time of restricted international travel, a key aim of this series is to provide a forum for informal discussion and social interaction that is so important for the progress of science. To facilitate this, the seminar incorporates in virtual form a number of features more normally associated with physical meetings, including virtual "coffee breaks" before and after the seminar, allowing participants to chat in small groups. (Don't forget to bring your own coffee.) Starting this Wednesday, we are excited to announce the first of our OWLS Young Researcher talks, given by a researcher within 7 years of completing their PhD. A new initiative, these OWLS-YR talks will take place fortnightly, interleaved with regular OWLS talks. Our goal is to give a platform to the excellent work being done by junior members of the community. All members of the community are encouraged to attend these talks. ** UPCOMING PROGRAMME ** Talks take place on Wednesdays at 2pm UTC+1. Abstracts are available at the OWLS homepage. Visit this link to sign up for reminder emails on the day of the talk: https://bit.ly/3cm0GZG - 3 June (OWLS-YR). Dmitry Chistikov, University of Warwick, "Parikh's theorem from the complexity viewpoint" - 10 June (OWLS). Valeria Vignudelli, ENS Lyon, "Monads and quantitative equational theories for nondeterminism and probability" - 17 June (OWLS-YR). Marie Fortin, University of Liverpool, "FO=FO3 for linear orders with monotone binary relations" - 24 June (OWLS). Anupam Das, University of Birmingham - 1 July (OWLS-YR). Amina Doumane, CNRS, ENS de Lyon - 8 July (OWLS). Christine Tasson, IRIF, Paris - 15 July (OWLS-YR). Justin Hsu, University of Wisconsin–Madison, "A separation logic for probabilistic independence" - 22 July (OWLS). Tarmo Uustalu, Reykjavik University ** SEMINAR INFORMATION ** Talks are fully interactive, with audience members able to see the speaker's face at the same time as the slides, and able to ask questions with full audio and video, just as they would in a physical seminar, allowing the nuanced communication that is so critical for modern science. After and before each seminar, the participants split into small groups for informal discussion, an optional feature of the seminars which has already become a favourite feature of the series for many of the regular participants. Everybody is welcome to join these friendly discussions. The seminar series is based on the Zoom technology platform, which is capable of handling large meetings with ease. Visit the OWLS webpage given at the top of this email for more information about the seminar. Best wishes, the organizers: - Nathanaël Fijalkow, CNRS, Laboratoire Bordelais de Recherche en Informatique, France - Charles Grellois, Université Aix-Marseille, France. - S. Krishna, IIT Bombay, India - Koko Muroya, RIMS, Kyoto University, Japan - Alexandra Silva, University College London - Pawel Sobocinski, Tallinn University of Technology - Jamie Vicary, University of Cambridge

1 0

ICALP 2020 - call for participation
by Anuj Dawar 01 Jun '20

01 Jun '20

========================================= ICALP 2020 - Call for Participation https://icalp2020.saarland-informatics-campus.de ========================================= The 47th International Colloquium on Automata, Languages, and Programming (ICALP) will take place online on 8-11 July, 2020. The conference is organized by the Saarland Informatics Campus and held in conjunction with LICS 2020. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). The conference will be preceded by a series of workshops, which will take place on 6-7 July 2020. ================= Invited Speakers ================= - Stefan Kiefer, University of Oxford (Track B) - Robert Krauthgamer, the Weizmann Institute of Science (Track A) - Jerome Leroux, University of Bordeaux (Joint ICALP-LICS plenary speaker) - Virginia Vassilevska Williams, MIT (Track A) - Andrew Yao, Tsinghua University (Joint ICALP-LICS plenary speaker) ==================== High quality papers ==================== ICALP 2020 features 138 high quality papers, spanning two thematic tracks: - Track A: Algorithms, Complexity and Games - Track B: Automata, Logic, Semantics, and Theory of Programming For the list of accepted papers, see: https://icalp2020.saarland-informatics-campus.de/programme/ =============== Special Events =============== - Awards sessions, including: The EATCS Award: Mihalis Yannakakis The Presburger Award: Dmitriy Zhuk The Goedel Prize: Robin Moser and Gabor Tardos - The EATCS General Assembly =================== Programme and Registration =================== Video recordings of all contributed talks will be made available a few days before the conference. Invited talks will be streamed live at fixed time according to the programme (with recordings available to view later). There will be live question and answer sessions with authors of contributed papers during the conference. All talks are available to view free of cost. Participation in live question and answer sessions requires registration. This is free of cost (except for registration fees required of authors). For the detailed programme see: https://icalp2020.saarland-informatics-campus.de/programme/

1 0

[Final CFP and Updated Schedule] ICLP 2020 - The 36th International Conference on Logic Programming
by Laura Pandolfo 18 May '20

18 May '20

======================================================== *FINAL CALL FOR PAPERS – Updated schedule* ** *ICLP 2020 - The 36th International Conference on Logic Programming September 18 - September 24, 2020 University of Calabria, Rende, Italy **https://iclp2020.unical.it* ======================================================== *IMPORTANT HIGHLIGHTS: Conference online:* The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming. *Deadlines Extension:* Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and daily work we have decided to extend the submission deadline for ICLP 2020 special tracks. New schedule of important dates is highlighted below: *Applications Track and Woman in Logic Programming* Abstract registration (regular papers, including TPLP papers): *June 3, 2020* Paper submission (regular paper): *June 5, 2020 * Final notifications (All paper kinds): *July 30, 2020 * Camera-ready copy due: *August 6, 2020* *Research Challenges Track and Journal Presentation Track* Abstract registration and paper submission: *July 12, 2020* Final notifications: *July 30, 2020* Camera-ready copy due: *August 6, 2020* Abstract registration of regular papers to the main track is now closed. ======================================================== *The Conference* The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th September 2020 in Rende (CS), Italy. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: -*Foundations:* Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation. -*Declarative Programming:*Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules. -*Related Paradigms and Synergies:*Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning. -*Implementation:*Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces. -*Applications:*Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. *Tracks and Special Sessions* ====================== Besides the main track, ICLP 2020 will host additional tracks and special sessions: -*Applications Track:* This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. *Paper Types:*Regular paper (including TPLP Papers), Short Paper. -*Sister Conferences and Journal Presentation Track:*This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences but have not been previously presented at ICLP.*Paper Type:* Paper published in other main venue. -*Research Challenges in Logic Programming Track:* This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. *Paper Type:*Short paper. -*Women in Logic Programming: *This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. Contributions are solicited in all areas of logic programming and related areas, with a special focus on applications that are beneficial to society in the large, and to the role of women in society in particular. *Paper Types:*Regular paper (including TPLP Papers), Short Paper. *Submission Details* ================= All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200. Each ICLP2020 Track has its own submission rules, please check the dedicated CFP in our website for more details: https://iclp2020.unical.it/calls All papers will be presented during the conference. So, at least one author per accepted paper is expected to register and attend remotely the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***
by Rozman, Mihaela 15 May '20

15 May '20

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors. WHAT WE OFFER -The research position is at the Faculty of Computer Science at the University of Vienna and is fully funded.(Employment contract) -The candidate also has the opportunity to collaborate with Aalborg University, Denmark, and engage into longer visits, if she/he is interested: Aalborg University is a project partner. -Additionally, the successful candidate will have the opportunity to collaborate with the doctoral program Logical Methods in Computer Science (LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian Science Fund. -We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution. For an idea on the kind of research we are doing in this area, please see the sample publications attached below. ELIGIBILITY The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain. APPLICATION To apply, please send your: -Academic curriculum vitae -motivation letter, and -reference letters to Prof. Stefan Schmid by email, or use the online portal at https://univis.univie.ac.at/ausschreibungstellensuche/ Please do not hesitate to contact Stefan Schmid for any further information: ta.ca.eivinu@dimhcs_nafets Deadline: June 7, 2020 Starting date: ideally as soon as possible, latest in October 2020. SAMPLE PUBLICATIONS P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen. 14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018. https://www.univie.ac.at/ct/stefan/conext18.pdf Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks Stefan Schmid and Jiri Srba. 37th IEEE Conference on Computer Communications (INFOCOM), Honolulu, Hawaii, USA, April 2018. https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf HIGHEST QUALITY OF LIFE The Austrian city of Vienna, is located close to the Alps and surrounded by beautiful nature, and provides an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, varied cuisine and famous coffee houses. If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.

1 0