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

PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020
by Mihaela Rozman 09 Jun '20

09 Jun '20

A PhD position is available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus). We invite highly motivated applicants interested both in the theory and practice of - Description Logics - Answer Set Programming - Knowledge Representation and Reasoning - Reasoning about Actions and Change - Database Theory In particular, we are seeking to strengthen our research teams in two foundational research projects “Ontology-mediated Queries for Graph Databases”[1] and “KtoAPP: Compiling Knowledge into Applications”[2] funded by the Austrian Science Fund (FWF). ===================== YOUR PROFILE ===================== - A degree in Computer Science, Mathematics, or other closely related field - A very strong study record, especially in foundational topics (like discrete mathematics, logic, logic programming, algebra, theory of computation, computational complexity, combinatorics, graph theory, automata theory, data structures and algorithms) - Very good English writing skills ===================== WE OFFER ===================== - Employment at TU Wien for up to 3.5 years, with Dr. Mantas Šimkus as PhD advisor - Gross salary of approx. 30.754 EUR per year (approx. 22.506 EUR per year after taxes in basic circumstances) - The candidate student would join the LogiCS doctoral program [3] which offers top research expertise, and a stimulating and supportive environment - A research and study environment that is friendly and gender-balanced - TU Wien is a great place for professional growth (e.g., the Austrian Science Fund offers multiple funding opportunities for young researchers to advance their independent scientific careers). - Vienna is a beautiful city that offers excellent quality of life [4] ===================== APPLICATION PROCESS ===================== Application Deadline: July 15, 2020 Please send your application to Dr. Mantas Šimkus (simkus(a)dbai.tuwien.ac.at <mailto:simkus@dbai.tuwien.ac.at> ) ===================== APPLICATION DOCUMENTS ===================== -A motivation letter, which should make a connection to one of the research projects mentioned above -Curriculum Vitae -Transcripts (academic record) showing high performance in prior studies -Abstract of the Master thesis -2 letters of recommendation ===================== QUALITY OF LIFE ===================== 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. ===================== LINKS ===================== [1] <http://www.simkus.info/projects/fwf-project-p30360/> http://www.simkus.info/projects/fwf-project-p30360/ [2] <http://www.simkus.info/projects/fwf-project-p30873/> http://www.simkus.info/projects/fwf-project-p30873/ [3] <https://logic-cs.at/> https://logic-cs.at [4] <https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings> https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings ===================== WEBSITE ===================== www.vcla.at/positions/ <http://www.vcla.at/positions/>

1 0

PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020
by Mihaela Rozman 09 Jun '20

09 Jun '20

PhD POSITION(S) PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of Technology) FUNDING: The PhD candidates receive an employment contract for the initial period of 3 years, thus study fees do not apply. Salary range starts at 22.000 net/year EUR for 30h/week. APPLICATION DEADLINE: July 31, 2020 ========================================================== We invite applications for PhD position(s) (3 years with the possibility of extension), working with Jiehua Chen in the Algorithms and Complexity Group at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria. The PhD position(s) is available for the WWTF research project (Vienna Science and Technology Fund) titled Structural and Algorithmic Aspects of Preference-based Problems in Social Choice: https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php?l… The research topics include voting, structured preferences, stable matching (matchings under preferences) with a focus on parameterized and approximation algorithm design. =============================== YOUR PROFILE =============================== Applicants with a solid background in areas such as algorithm design (including BUT NOT LIMITED to parameterized algorithms and approximation algorithms), computational complexity, and/or discrete mathematics are welcome to apply. =============================== WE OFFER =============================== -The PhD position(s) entails an employment contract. -The position(s) is available immediately and the starting date is quite flexible - A research and study environment that is friendly and gender-balanced - TU Wien is a great place for professional growth (e.g., the Austrian Science Fund and other funding agencies offer multiple funding opportunities for young researchers to advance their independent scientific careers) - 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 - Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide. =============================== APPLICATION =============================== Please send your application, including - your academic CV, - a motivation letter, including an explanation of your research interests, - your Master's thesis and - a list of subjects studied, giving sufficient details and grades/marks obtained directly to Jiehua Chen: jiehua.chen(a)tuwien.ac.at <mailto:jiehua.chen@tuwien.ac.at> (If possible all in a single PDF file) DEADLINE: 31. July 2020 For informal inquiries you can also contact via the above email address. =============================== ADDITIONAL INFORMATION =============================== Faculty of Informatics: https://informatics.tuwien.ac.at/ Research group website: https://www.ac.tuwien.ac.at/ Outreach: www.vcla.at <http://www.vcla.at> Twitter: @vclaTUwien

1 0

[CfP] CASUAL2020: Workshop on Causal Reasoning and Explanation in Logic Programming
by Laura Pandolfo 09 Jun '20

09 Jun '20

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2020 *** (September 17 or 18, 2020) Workshop on Causal Reasoning and Explanation in Logic Programming CAUSAL 2020 is a workshop co-located with ICLP 2020 in University of Calabria, Rende, Italy. *NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers on the situation, and we will revise our workshop timeline and other procedures accordingly if needed.* CAUSAL 2020 IMPORTANT DATES ------------------------- * Paper submission: July 15th 2020 * Notification: July 30th 2020 * Final Versions: August 15th 2020 * Workshop Date: September 17th or 18th 2020 ------------------------ Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Explainable AI, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. TOPICS ------ Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages. https://www.springer.com/gp/authors-editors/conference-proceedings/conferen… Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2020 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2020 website for registration procedure and fees. https://iclp2020.unical.it/ ORGANIZERS ---------- Emily LeBlanc, US Naval Research Lab, USA, emily.leblanc(a)nrl.navy.mil Joost Vennekens, KU Leuven, Belgium Tran Cao Son, New Mexico State University, USA Pedro Cabalar, Corunna University, Spain Jorge Fandiño, University of Potsdam, Germany Marcello Balduccini, Saint Joseph's University, USA Yuliya Lierler, University of Nebraska at Omaha, USA -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904

1 0

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