SIGLOG Monthly 200 July 4, 2018 ******************************************************************* * Past issues of the newsletter are available at http://lii.rwth-aachen.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://lii.rwth-aachen.de/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * NEWS WINNERS OF THE 2018 ALONZO CHURCH AWARD FLoC 2018 - Last Joint Call for Workshop Participation ACM SIGLOG Announcement EATCS Bulletin - Call for abstracts WINNERS OF THE VCLA INTERNATIONAL STUDENT AWARDS 2018 * DEADLINES Forthcoming Deadlines * CALLS POPL 2019 - Call for Papers LearnAut 2018 - Call for Participation DL 2018 - Final Call for Papers (extended deadlines) CCC 2018 - Call for papers CSL 2018 - Call for Participation TPS SUMMER SCHOOL ON PROOF THEORY - Call For Participation SAS 2018 - Call for Participation MLCSB2018 - Call for Papers COMPUTING AND PROGRAMMING IN CONTEXT - Call for Papers FSEN 2019 - Call for Papers * JOB ANNOUNCEMENTS PHD POSITIONS - LOGICS DOCTORAL COLLEGE IN AUSTRIA PHD/POSTDOC OPPORTUNITIES IN THE FORA EUROPEAN TRAINING NETWORK MASTER IN PURE AND APPLIED LOGIC M.SC. PROGRAM IN NLP AND DATA SCIENCE - UNIVERSITE DE LORRAINE, FRANCE WINNERS OF THE 2018 ALONZO CHURCH AWARD * The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomas Feder and Moshe Y. Vardi for fundamental contributions to the computational complexity of constraint-satisfaction problems. Their contributions appeared in two papers: 1. Tomas Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint Satisfaction. STOC 1993, 612-622. 2. Tomas Feder, Moshe Y. Vardi: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. Comput. 28(1), 57-104 (1998). * CONTRIBUTION SUMMARY: The Feder-Vardi project aimed at finding a large subclass of NP that exhibits a dichotomy (all problems are either in PTIME or NP-complete). The approach is to find this subclass via syntactic prescriptions. The paper identified a class of problems specified by "monotone monadic SNP without inequality", which may exhibit this dichotomy. Feder and Vardi justified placing all three restrictions by showing, using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy. They then explored the structure of this class. They show that all problems in this class reduce to the seemingly simpler class CSP -- Constraint Satisfaction Problems. They divided CSP into subclasses and tried to unify the collection of all known polytime algorithms for CSP problems and extract properties that make CSP problems NP-hard. They conjectured that the class CSP (and therefore, also MMSNP) also satisfy the dichotomy property. This became known as the Feder-Vardi Dichotomy Conjecture. The Dichotomy Conjecture stimulated an extensive research program, which culminated in 2017 in two independent proofs, by A. Bulatov and by D. Zhuk, of its correctness. THE 2018 FEDERATED LOGIC CONFERENCE (FLoC'18) Last Joint Call for Workshop Participation 6-19 July 2018 Oxford, UK http://www.floc2018.org/workshops * The seventh Federated Logic Conference (FLoC'18) will be held in Oxford, UK, in July 2018, at the Mathematical Institute and the Blavatnik School of Government at the University of Oxford. * In addition to nine major international conferences related to mathematical logic and computer science (CAV, CSF, FM, FSCD, ICLP, IJCAR, ITP, LICS and SAT), FLoC 2018 will feature 79 workshops arranged in three segments: - Pre-FLoC: Sat 7 - Sun 8 (workshops related to CSF, FSCD, ITP, LICS and SAT), - Mid-FLoC: Wed 11 - Sat 14 (workshops related to CAV, ICLP, IJCAR, ITP and LICS), - Post-FLoC: Wed 18 - Thu 19 (workshops related to FM, CAV, ICLP and IJCAR). * REGULAR REGISTRATION CLOSES on 25th June 2018. ON SITE REGISTRATION will be possible during the conference. It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment. * Website: http://www.floc2018.org/ Conference and workshops programme now live: https://easychair.org/smart-program/FLoC2018/index.html Registration: http://www.floc2018.org/register/ Accommodation: http://www.floc2018.org/accommodation/ Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks *** PRE-FLoC WORKSHOPS (SATURDAY 7 - SUNDAY 8 JULY) * 32nd International Workshop on Unification (UNIF 2018), 7 July http://unif2018.cic.unb.br/ * 7th International Workshop on Confluence (IWC 2018), 7 July http://cl-informatik.uibk.ac.at/events/iwc-2018/ * 7th International Workshop on Classical Logic and Computation (CL&C 2018), 7 July http://www.di.unito.it/~stefano/CL&C/CL&C18.htm * Higher-Dimensional Rewriting and Algebra (HDRA 2018), 7 July http://hdra.gforge.inria.fr/ * International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018), 7 July http://lfmtp.org/workshops/2018/ * 7th International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2018), 7 July http://sysrun.haifa.il.ibm.com/hrl/cspsat2018/ * Pragmatics of SAT (PoS 2018), 7 July http://www.pragmaticsofsat.org/2018/ * Twenty Years of Deep Inference (TYDI 2018), 7 July https://www.lix.polytechnique.fr/~lutz/orgs/TYDI2018.html * 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018), 7 July https://nms.kcl.ac.uk/maribel.fernandez/TERMGRAPH.html * Syntax and Semantics of Low-Level Languages (LOLA 2018), 7 July https://cs.appstate.edu/~johannp/lola18/ * 9th Workshop on Higher Order Rewriting (HOR 2018), 7 July https://lipn.univ-paris13.fr/HOR18/ * 2018 Joint Workshop on Linearity & TLLA (5th International Workshop on Linearity and 2nd Workshop on Trends in Linear Logic and Applications), 7-8 July http://lipn.univ-paris13.fr/TLLALinearity18/ * Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2018), 7-8 July https://hott-uf.github.io/2018/ * Game Semantics 25, 7-8 July http://www.gamesemantics.org/game-semantics-25 * Workshop on Proof Complexity (PC 2018), 7-8 July http://easychair.org/smart-program/PC2018/ * Programming And Reasoning on Infinite Structures (PARIS 2018), 7-8 July https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ * 6th Workshop on Strategic Reasoning (SR 2018), 7-8 July http://projects.lsv.fr/sr18/ * Workshop in honour of Dana Scott's 85th birthday and 50 years of domain theory, 7-8 July https://andrejbauer.github.io/domains-floc-2018/ * 5th Workshop on Natural Language and Computer Science (NLCS 2018), 7-8 July http://www.indiana.edu/~iulg/nlcs.html * 7th Workshop on Mathematically Structured Functional Programming (MSFP 2018), 8 July https://msfp2018.bentnib.org/ * 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), 8 July http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html * The Coq Workshop 2018, 8 July https://coqworkshop2018.inria.fr/ * International Workshop on Quantified Boolean Formulas and Beyond (QBF 2018), 8 July http://fmv.jku.at/qbf18/ * 5th International Workshop on Graphical Models for Security (GraMSec 2018), 8 July http://gramsec.uni.lu/ * Women in Logic 2018, 8 July https://sites.google.com/site/womeninlogic2018/welcome * 9th Workshop on Intersection Types and Related Systems (ITRS 2018), 8 July https://www.irif.fr/~michele/itrs2018 * Coalgebra Now, 8 July http://homepage.tudelft.nl/c9d1n/floc2018coalgebra/index.html * 12th International Workshop on Developments in Computational Models (DCM 2018), 8 July https://sites.google.com/g.uporto.pt/dcm18 * IFIP Working Group 1.6: Rewriting, 8 July http://cbr.uibk.ac.at/ifip-wg1.6/ * Workshop on Foundations of Computer Security (FCS 2018), 8 July http://www.andrew.cmu.edu/user/liminjia/events/fcs2018/ * Mentor Workshop 1, 8 July https://lics.siglog.org/lics18/lmw.php *** MID-FLoC WORKSHOPS (WEDNESDAY 11 - SATURDAY 14 JULY) * Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems (SC^2 2018), 11 July http://www.sc-square.org/CSA/workshop3.html * IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), 11-13 July http://www.cs.ox.ac.uk/conferences/ADHS18/ * 16th International Workshop on Satisfiability Modulo Theories (SMT 2018), 12-13 July http://smt-workshop.cs.uiowa.edu/2018/ * CAV Tutorials, 13 July http://cavconference.org/2018/invited-speakers-tutorials/ * 7th Workshop on Logic and Systems Biology (LSB), 13 July http://perso.ens-lyon.fr/russell.harmer/lsb7.html * Isabelle Workshop, 13 July http://sketis.net/isabelle/isabelle-workshop-2018 * 25th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 13 July https://sites.google.com/a/aixia.it/rcra/rcra-2018 * 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018), 13 July http://forsyte.at/events/frida2018/ * 5th Vampire Workshop (Vampire 2018), 13 July http://easychair.org/smart-program/Vampire18/ * 19th Workshop on Logic and Computational Complexity (LCC), 13 July http://www.cs.swansea.ac.uk/lcc/index.html * 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018), 13 July https://www.sci.unich.it/hcvs18/ * Workshop on Learning and Automata (LearnAut 2018), 13 July https://learnaut2018.wordpress.com/ * 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis (MoRe 2018), 13 July http://math.umons.ac.be/more2018/ * Workshop on Modular Knowledge (Tetrapod), 13 July http://new.kwarc.info/events/Tetrapod-2018/ * First Workshop on Automated Deduction for Separation Logics (ADSL 2018), 13 July http://adsl.univ-grenoble-alpes.fr/ * DMW18: Deduction Mentoring Workshop, 13 July http://easychair.org/smart-program/DMW18/ * Runtime Verification for Rigorous Systems Engineering (RV4RISE), 13 July http://rv4rise.conf.tuwien.ac.at/ * 13th International Workshop on User Interfaces for Theorem Provers (UITP 2018), 13 July http://www.informatik.uni-bremen.de/uitp/uitp2018/ * Verification Mentoring Workshop 2, 13 July http://cavconference.org/2018/verification-mentoring-workshop/ * Summit on Machine Learning Meets Formal Methods, sponsored by the Alan Turing Institute, 13 July http://www.floc2018.org/summit-on-machine-learning/ * 4th Workshop on Formal Integrated Development Environment (F-IDE 2018), 14 July https://sites.google.com/view/fideworkshop2018 * 16th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2018), 14 July http://www1.isti.cnr.it/~Massink/EVENTS/QAPL2018/ * 16th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, 14 July http://overturetool.org/workshops/16th-Overture-Workshop.html * FM Doctoral Symposium, 14 July http://www.fm2018.org/doctoral-symposium/ *** POST-FLoC WORKSHOPS (WEDNESDAY 18 - THURSDAY 19 JULY) * 18th Refinement Workshop, 18 July http://www.refinenet.org.uk/ * 1st International Workshop on Parallel Logical Reasoning (PLR), 18 July https://antonwijs.wixsite.com/plr2018 * 7th Workshop on Synthesis (SYNT 2018), 18 July http://synt2018.seas.ucla.edu * Theorem Prover Components for Educational Software (ThEdu 2018), 18 July http://www.uc.pt/en/congressos/thedu/thedu18 * TLA+ Community Event 2018, 18 July http://tla2018.loria.fr/ * Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), 18 July https://sites.google.com/site/aspocp2018/ * International Conference on Logical Programming - Doctoral Consortium (ICLP - DC 2018), 18 July http://easychair.org/smart-program/ICLP-DC2018/ * 16th International Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2018), 18 July https://people.cs.kuleuven.be/~tom.schrijvers/CICLOPS2018/ * 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), 18 July http://iltp.de/ARQNL-2018/ * Workshop on Logic and Practice of Programming (LPoP 2018), 18 July http://lpop.cs.stonybrook.edu/ * 13th International Workshop on Constraint Based Methods in Bioinformatics (WCB 2018), 18 July http://clp.dimi.uniud.it/wcb/wcb18/ * International Workshop on the Verification and Validation of Autonomous Systems (VaVAS), 18-19 July http://cgi.csc.liv.ac.uk/~michael/VaVAS-July2018/ * 16th International Workshop on Termination (WST 2018), 18-19 July http://wst2018.webs.upv.es/ * MLP18: Machine Learning for Programming, 18-19 July https://prodo.ai/mlp18 * The LaSh 2018 Workshop on Logic and Search, 18-19 July http://www.logicandsearch.org/LaSh2018/ * 10th Working Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2018), 18-19 July http://vstte18.it.uu.se/ * 11th International Workshop on Numerical Software Verification (NSV-XI), 18-19 July https://nsv-2018.github.io/nsv2018/ * 18th International Workshop on Automated Verification of Critical Systems (AVOCS 2018), 18-19 July http://avocs18.irisa.fr/ * Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2018), 19 July http://pruv18.inf.unibz.it/ * Third Workshop on Fun With Formal Methods (FWFM 2018), 19 July http://persons.iis.nsk.su/en/FWFM2018 * International Workshop on External and Internal Calculi for Non-Classical Logics, 19 July http://weic2018.loria.fr/ * Robots, Morality, and Trust through the Verification Lens, 19 July http://qav.cs.ox.ac.uk/robots_morality_trust/ * 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR 2018), 19 July http://easychair.org/smart-program/PAAR-2018/ * Verification of Engineered Molecular Devices and Programs (VEMDP 2018), 19 July http://dna.caltech.edu/vemdp2018/ * WORKSHOPS COMMITTEE General Chair: Moshe Y. Vardi Co-chairs: Daniel Kroening, Marta Kwiatkowska Workshops Chair: Gethin Norman Workshops Deputy Chair: Christoph Haase CAV: Hana Chockler CSF: Cas Cremers FM: Helen Treharne FSCD: Paula Severi ICLP: Stefan Woltran IJCAR: Alberto Griggio ITP: Assia Mahboubi LICS: Patricia Bouyer SAT: Martina Seidl ACM SIGLOG ANNOUNCEMENT http://siglog.acm.org * The ACM has recently chartered a Special Interest Group on Logic and Computation (ACM SIGLOG). * We are pleased to announce the 2016 ACM SIGLOG election results for the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash Panangaden and the other officers are Luke Ong (vice-Chair), Amy Felty (Treasurer) and Alexandra Silva (Secretary). * The ACM-IEEE Symposium on Logic in Computer Science is the flagship conference of SIGLOG. SIGLOG will also actively seek association agreements with other conferences in the field. A SIGLOG newsletter (SIGLOG News) is also published quarterly in an electronic format with community news, technical columns, members' feedback, conference reports, book reviews and other items of interest to the community. * One can join SIGLOG by visiting https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm It is possible to join SIGLOG without joining ACM (the SIGLOG membership fee is $25 and $15 for students). EATCS Bulletin - Call for abstracts * EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a section for "Technical contributions." To stimulate this section further, we have recently started publication abstracts of works that have been accepted by journals and/or conferences or have appeared in major archives. The topics of interest include all areas of theoretical computer science (for instance, see topics of the three Tracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html). * Abstracts should be rather detailed, 2-3 pages long in the format given at http://eatcs.org/index.php/eatcs-bulletin. Submissions should include the information on the full paper (the name of conferences, archives, etc) and sufficiently detailed explanation of its merits, e.g., importance, motivations, clear comparison with existing results and novelty and/or new ideas of proof techniques. * The Bulletin is published in Feb, Jun and Oct. The deadline for the abstract submission is 15th of the previous month, for instance, Jan 15, 2018 for the Feb issue of 2018. All materials including tex and pdf files should be sent electrically to bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp. Acceptance/rejection, decided based on its merit mentioned above, will be notified as soon as possible. The Bulletin will not require copy-right transfer for accepted abstracts. WINNERS OF THE VCLA INTERNATIONAL STUDENT AWARDS 2018 http://www.vcla.at/2018/05/third-edition-of-the-vcla-international-student-awards-2018/ * The VCLA International Student Awards Committee is pleased to announce the recipients of the VCLA International Student Awards 2018. The award ceremony will take place on July 14, at FLoC Olympic Games. - Outstanding Master Thesis Award: Jeremy Liang An Kong (Imperial College London, United Kingdom) - Outstanding Undergraduate Thesis Award: Tomas Lamser (Masaryk University in Brno, Czech Republic) * The award committee is dedicating the VCLA International Student Awards to the memory of Helmut Veith, the brilliant computer scientist who tragically passed away in March 2016, and aims to carry on his commitment to promoting young talent and promising researchers in these areas. DATES * POPL 2019 Call for Papers January 16-18, 2019. Lisbon, Portugal https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers Submission deadline: Wed 11 Jul 2018 * LearnAut 2018 Call for Participation Oxford, UK, July 13 2018 https://learnaut2018.wordpress.com/ A workshop at the Federated LOgic Conference (FLoC) * DL 2018 Final Call for Papers (extended deadlines) October 26-29, 2018 - Tempe, Arizona, US http://dl.kr.org/dl2018/ Paper registration due July 14, 2018 * CCC 2018 Call for papers Faro (Portugal), 24-28 September 2018 http://cid.uni-trier.de/ccc-2018-continuity-computability-constructivity- from-logic-to-algorithms-faro-portugal-september-24-28-2018/ Deadline: July 15, 2018 * CSL 2018 Call for Participation 4-7 September 2018, Birmingham, UK http://events.cs.bham.ac.uk/csl18/ * TPS SUMMER SCHOOL ON PROOF THEORY Call For Participation The Proof Society Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ Deadline for registration: July 15, 2018 * SAS 2018 Call for Participation Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 * INTERNATIONAL SYMPOSIUM ON MOLECULAR LOGIC AND COMPUTATIONAL SYNTHETIC BIOLOGY (MLCSB 2018) Call for Papers December, 17-18, 2018, Santiago de Chile, Chile http://mlcsb2018.web.ua.pt Full paper deadline: 15 September 2018; * COMPUTING AND PROGRAMMING IN CONTEXT Call for Papers Special Issue in the journal Philosophy and Technology (Springer) Deadline for paper submissions: 1 October 2018 https://www.shift-society.org/hapop4/special-issue.html * FSEN 2019 Call for Papers Tehran, Iran, May 1-3, 2019 http://fsen.ir/2019 Paper Submission: October 28, 2018 (AoE) 46TH ACM SIGPLAN SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL 2019) Call for Papers January 16-18, 2019. Lisbon, Portugal https://popl19.sigplan.org/track/POPL-2019-Research-Papers#POPL-2019-Call-for-Papers * The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. * Co-located events run from January 13th through January 19th. * POPL is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG. * IMPORTANT DATES (by the end of the day, anywhere on earth, i.e. UTC-12h) Submission deadline: Wed 11 Jul 2018 Start of rebuttal period: Mon 17 Sep 2018 End of rebuttal period: Thu 20 Sep 2018 * New this year Page limit is 25 pages (excluding references) Distinguished paper awards (at most 10% of papers) * Other details All papers accepted to POPL 2019 will be published as part of the ACM Gold Open Access journal, Proceedings of the ACM on Programming Languages (PACMPL). * Submission guidelines Submissions are in the PACMPL format, 25pp limit. http://www.sigplan.org/Resources/Author/ Submissions are via HotCRP. https://popl19.hotcrp.com/ WORKSHOP ON LEARNING AND AUTOMATA (LEARNAUT 2018) Call for Participation Oxford, UK, July 13 2018 https://learnaut2018.wordpress.com/ A workshop at the Federated LOgic Conference (FLoC) * The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. * INVITED SPEAKERS George Argyros (Columbia University): The Learnability of Symbolic Automata Alexander Clark (King's College London); Weak and Strong learning of Probabilistic Context-Free Grammars: theoretical and empirical perspectives Kousha Etessami (University of Edinburgh): Algorithms for Weighted and Probabilistic Context-Free Grammars and Convex Optimization Doina Precup (McGill University and DeepMind): TBA * ORGANIZERS Remi Eyraud (Aix-Marseille Université) Jeffrey Heinz (Stony Brook University) Guillaume Rabusseau (McGill University) Matteo Sammartino (University College London) 31st INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS (DL 2018) Final Call for Papers (extended deadlines) October 26-29, 2018 - Tempe, Arizona, US http://dl.kr.org/dl2018/ * Invited Speakers Lidia Tendera (University of Opole, Poland) Denny Vrandecic (Google LLC, USA) Renata Wassermann (University of Sao Paulo, Brazil), jointly with NMR 2018 * The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences. The 31st edition will be held in Tempe, Arizona, US from October 26th to October 29th, 2018, collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). * We invite contributions on all aspects of description logics, including but not limited to: foundations, extensions, integration with other formalisms, applications and use areas, systems and tools. * IMPORTANT DATES: Paper registration due July 14, 2018; Paper submission July 21, 2018; Notification September 14, 2018; Camera-ready copies due October 4, 2018; Workshop dates October 26-29, 2018. We have extended the submission deadlines beyond the KR notification date. The schedule is now tight; hence NO FURTHER DEADLINE EXTENSIONS will be possible. * Submission instructions: see http://dl.kr.org/dl2018/ * Organization: Magdalena Ortiz, TU Wien, Austria (program co-chair); Thomas Schneider, University of Bremen, Germany (program co-chair); Michael Zakharyaschev, Birkbeck, University of London, UK (general chair) * Official description logic homepage: http://dl.kr.org/ CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY - FROM LOGIC TO ALGORITHMS (CCC 2018) Call for papers Faro (Portugal), 24-28 September 2018 http://cid.uni-trier.de/ccc-2018-continuity-computability-constructivity- from-logic-to-algorithms-faro-portugal-september-24-28-2018/ * SCOPE: The workshop specifically invites contributions in the areas of Exact real number computation, Correctness of algorithms on infinite data, Computable analysis, Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Scott's domain theory, Constructive analysis, Category-theoretic approaches to computation on infinite data, Weihrauch degrees, And related areas. * INVITED SPEAKERS: Vasco Brattka (Munich, Germany) Akitoshi Kawamura (Fukuoka, Japan) Jaap van Oosten (Utrecht, Netherlands) Warwick Tucker (Uppsala, Sweden) * TUTORIAL SPEAKER: Martin Ziegler (Daejeon, South Korea) * IMPORTANT DATES Deadline for extended abstracts: 15 July 2018 * PROGRAMME CHAIRS: Daniel Graca (Faro) (co-chair) Dieter Spreen (Siegen) (co-chair). COMPUTER SCIENCE LOGIC (CSL 2018) Call for Participation 4-7 September 2018, Birmingham, UK http://events.cs.bham.ac.uk/csl18/ * 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. * INVITED SPEAKERS Bob Coecke (University of Oxford) Emmanuel Filiot (Universite Libre de Bruxelles) Catuscia Palamidessi (Ecole Polytechnique) Christine Tasson (Universite Paris Diderot) Szymon Torunczyk (Uniwersytet Warszawksi) * ACCEPTED PAPERS http://events.cs.bham.ac.uk/csl18/acceptedpapers/ * Program Chairs Dan R. Ghica, University of Birmingham Achim Jung, University of Birmingham 1ST INTERNATIONAL SUMMER SCHOOL ON PROOF THEORY (TPS SUMMER SCHOOL ON PROOF THEORY) Call For Participation The Proof Society Ghent, September 2-5, 2018 http://www.proofsociety.org/summer-school-2018/ * The 1st International Summer School for Proof Theory in Ghent is arranged under the auspices of The Proof Society, and is sponsored by the Kurt Goedel Society. The Proof Society has recently been formed to support the notion of proof in its broadest sense, through a series of suitable activities; to be therefore inclusive in reaching out to all scientific areas which consider proof as an object in their studies; to enable the community to q shape its future by identifying, formulating and communicating its most important goals; to actively promote proof to increase its visibility and representation. * The aim of the summer school is to cover basic and advanced topics in proof theory. The focus of the first edition will be on structural proof theory, ordinal analysis, provability logic, automated theorem proving, and philosophical aspects of proof. Other areas like reverse mathematics, proof mining, and proof complexity will be covered at the colocated workshop, and in follow up summer schools. * The intended audience is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy. * The summer school is co-located with a workshop on proof theory in Ghent (6-7 September). The workshop will be the inaugural meeting of The Proof Society. http://www.proofsociety.org/workshop-2018/ * Deadline for registration: July 15, 2018 * SCIENTIFIC PROGRAMME: The summer school will provide six courses: Cut Elimination by Matthias Baaz (TU Wien) Ordinals and their applications by Andreas Weiermann (Ghent University) Philosophy of Proof Theory by Carlo Nicolai (King's College London) Provability Logic by David Fernandez Duque (Ghent University) Proof Theory in Computer Science by Andrei Voronkov (University of Manchester) Programme Extraction by Monika Seisenberger (Swansea University) In addition there will be one special evening lecture: Selected topics from the Theory of Truth by Rafal Urbaniak (Ghent University) 25TH STATIC ANALYSIS SYMPOSIUM (SAS 2018) Call for Participation Freiburg im Breisgau, Germany, August 29th-August 31st, 2018 http://staticanalysis.org/sas2018 * REGISTRATION http://staticanalysis.org/sas2018/registration.html * STUDENT GRANTS A limited number of students grants will be available. The grant will cover the cost for lodging during the conference and a contribution to travel expenses. For further information, please send an informal email to the PC Chair via sas2018-0@easychair.org. * TOPICS The technical program for SAS 2018 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of static analysis, including, but not limited to: Abstract domains; Abstract interpretation; Automated deduction; Data flow analysis; Debugging; Deductive methods; Emerging applications; Model checking; Program optimization and transformation; Program synthesis; Program verification; Security analysis; Tool environments and architectures; Theoretical frameworks; Type checking. * IMPORTANT DATES Full paper submission: April 13th, 2018 (anywhere on earth) Artifact submission: April 20th, 2018 (anywhere on earth) Notification: June 5th, 2018 Final version due: July 6th, 2018 Conference: August 29th-August 31st, 2018 * INVITED TALKS Aws Albarghouthi (University of Wisconsin-Madison, USA) Program Fairness through the Lens of Formal Methods Zak Kincaid (Princeton University, USA) Non-linear Invariant Generation via Recurrence Analysis Ruzica Piskac (Yale University, USA) Firewall Repair and Verification of Configuration Files Sharon Shoham (Tel Aviv University, Israel) Verification of Distributed Systems Using First-Order Logic * INVITED TUTORIALS Roberto Bagnara (University of Parma/BUGSENG, Italy) Ken McMillan (Microsoft Research, USA), Oded Padon (Tel Aviv University, Israel) Peter O'Hearn (University College London/Facebook, UK) * ACCEPTED PAPERS The list of accepted papers is available at: http://staticanalysis.org/sas2018/accepted.html * AFFILIATED EVENTS - 9th Workshop on Static Analysis and Systems Biology (SASB 2018) Chairs: Tatjana Petrov (University of Konstanz, Germany) and Ankit Gupta (ETH Zurich, Switzerland) - 9th Workshop on Tools for Automatic Program Analysis (TAPAS 2018) Chair: Fausto Spoto (University of Verona/Julia Srl, Italy) * PROGRAM CHAIR Andreas Podelski (University of Freiburg, Germany) INTERNATIONAL SYMPOSIUM ON MOLECULAR LOGIC AND COMPUTATIONAL SYNTHETIC BIOLOGY (MLCSB2018) Call for Papers December, 17-18, 2018, Santiago de Chile, Chile http://mlcsb2018.web.ua.pt * Synthetic biology aims at the design of biological systems in a systematic way, a process whose hallmark characteristics closely resemble the composition of software: off-the-shelf parts and devices with standard connections, the usual ingredients for assembling components into increasingly complex systems. This Symposium aims at harnessing logical and algebraic methods for modelling and verifying systems on the interaction of Nature and Computation, around two main themes: - development of biological computation models and devices - application of new computing paradigms to the design of biological systems. * The workshop is promoted by the project Klee - Coalgebraic Modeling and Analysis for Computational Synthetic Biology, a RD project supported by the Portuguese Foundation for Science and Technology (http://klee.di.uminho.pt) * PROGRAM CHAIRS Madalena Chaves (Inria, France) and Manuel A. Martins (U. Aveiro, Portugal) * INVITED SPEAKERS Marta Kwiatkowska (U. Oxford, U.K); Hidde de Jong (Inria, Grenoble, France) and Alexandre Madeira (U. Minho, Portugal) * IMPORTANT DATES Abstract deadline: 8 September 2018; Full paper deadline: 15 September 2018; Author notification: 15 October 2018; Camera ready: 30 October 2018 * Detailed information can be found on the webpage. COMPUTING AND PROGRAMMING IN CONTEXT - THE INTERPLAY BETWEEN LOGIC, SCIENCE, TECHNOLOGY AND SOCIETY Call for Papers Special Issue in the journal Philosophy and Technology (Springer) Deadline for paper submissions: 1 October 2018 https://www.shift-society.org/hapop4/special-issue.html * This special issue follows the recent HaPoC 2017 (Brno) and HaPoP 2018 (Oxford) events but is open to submissions not presented at the aforementioned conferences. * IMPORTANT DATES Deadline for paper submissions is 1 October 2018 * For details: https://www.shift-society.org/hapop4/special-issue.html EIGHTH INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF SOFTWARE ENGINEERING 2019 - THEORY AND PRACTICE (FSEN '19) Tehran, Iran May 1-3, 2019 http://fsen.ir/2019 * ABOUT FSEN: The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. For further details see http://fsen.ir/2019 * IMPORTANT DATES Abstract Submission (optional): October 19, 2018 (AoE) Paper Submission: October 28, 2018 (AoE) Notification: December 18, 2018 Final pre-Conference Version: January 20, 2019 (AoE) Conference: May 1-3, 2019 * KEYNOTE SPEAKERS Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy Giovanna Di Marzo Serugendo, University of Geneva, Switzerland Martin Wirsing, LMU Munich, Germany * PROGRAM CHAIRS Hossein Hojjat - Rochester Institute of Technology, USA Mieke Massink - CNR-ISTI Pisa, Italy PHD POSITIONS - LOGICS DOCTORAL COLLEGE IN AUSTRIA WITH A SPECIAL CALL FOR WOMEN IN COMPUTER SCIENCE BY LOGICAL METHODS IN COMPUTER SCIENCE Website: http://logic-cs.at/phd/ * We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for the joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 41 students. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional positions will be available through other funding. * THE PROGRAM LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering (i) computational logic, (ii) databases and artificial intelligence, (iii) computer-aided verification, and (iv) emerging application domains, such as cyber-physical systems, distributed systems, and security and privacy. * FACULTY MEMBERS: Students are supervised by leading researchers in their fields. Details are provided on: http://logic-cs.at/phd/faculty/ * Applications will be screened on the following dates: July 1, 2018 September 1, 2018 September 15, 2018 The positions will be filled on continuous basis till October 2018. Detailed information: http://logic-cs.at/phd/admission/ * For further information please contact: info@logic-cs.at PHD/POSTDOC OPPORTUNITIES IN THE FORA EUROPEAN TRAINING NETWORK (4 universities and 3 companies from Sweden, Denmark, Austria and Germany) * FORA: Fog Computing for Robotics and Industrial Automation (fora-etn.eu) is a European Training Network (ETN), which will fund and train 15 PhD candidates in the area of Fog Computing, during the period 2017-2021, see http://www.fora-etn.eu/about-fora/ Fog Computing, also sometimes called Edge Computing, brings the Cloud ``closer to the ground'', to the edge of the network. * FORA's research program focuses on: a reference system architecture for Fog Computing; resource management mechanisms and middleware for deploying mixed-criticality applications in the Fog; safety and security assurance; service-oriented application modeling and real-time machine learning, see http://www.fora-etn.eu/research-objectives/ * The consortium is formed of 4 universities and 3 companies from Sweden, Denmark, Austria and Germany, and has associated partners also in Silicon Valley, USA. The partners in the project are: Technical University of Denmark (DTU),Vienna University of Technology (TU Wien), Malardalen University (MDH), Technical University of Kaiserslautern (TUKL), TTTech, SYSGO and ABB. The associated partners: Danfoss Power Electronics (DANFOSS), Danish Technological Institute (DTI), UNIBAP, Volvo Construction Equipment and CISCO. * FORA was specifically designed to enhance the career prospects of the PhD candidates, giving them a great career in industry or academia. Alumni of MSCA ETNs are very positive about their experience: they benefit from the training, research, collaboration, research visits and networking in such a large ETN. FORA's PhD candidates will receive integrated training across key areas (computer science, electrical engineering, control engineering, industrial automation, applied mathematics and data science) necessary to fully realize the potential of Fog Computing for Industry 4.0, see the benefits: http://www.fora-etn.eu/etn-benefits/ * FORA is looking for applicants with a wide variety of backgrounds: on computer science (algorithms), software engineering (Cloud Computing, service-oriented computing, middleware, distributed systems), computer engineering (hardware design and computer architecture) and industrial automation and control (distributed automation, robotics, control algorithms), as well as data science (machine learning). * Please read more about each position and apply at: http://www.fora-etn.eu/vacancies/ MASTER IN PURE AND APPLIED LOGIC http://www.ub.edu/masterlogic/ * The biannual two-year 'Master in Pure and Applied Logic' programme for 2018-2020, jointly organized by the University of Barcelona and by the Polytechnical University of Catalunya, is still having a few vacancies and open for registration. * The Barcelona Logic Master caters in the most central aspects of advanced logic. Professors related to the Barcelona Master in Pure and Applied Logic come from various prominent Universities and Research Institutes in the area of Barcelona. * As a novelty to next-year's edition we offer two Best Student Stipends of one-thousand euros each to be awarded by the end of the academic year 2018-2019/beginning of the next academic year. * Interested students can find more information at http://www.ub.edu/masterlogic/. Questions or inquiries relating to the master can be sent to Ramon Jansana: jansana@ub.edu. NEW M.SC. PROGRAM IN NATURAL LANGUAGE PROCESSING (NLP) AND DATA SCIENCE Universite de Lorraine, Nancy (France) http://institut-sciences-digitales.fr/idmc-master-degree-in-natural- language-processing/ * The Institute of Digital science, Management and Cognition is opening a a new Masters Program in NLP - Computer Sciences, Speech, Language and Knowledge Representation * In each semester, the program includes a hands-on project. It ends with a 6-month paid internship in a company or a research lab. You can find the course description on the website. * You can apply to directly enter at either the first year or second year level. * Contacts Head of the Nancy NLP Master : Maxime Amblard (maxime.amblard@univ-lorraine.fr) Secretary : Karine Weisse (karine.weisse@univ-lorraine.fr) Location of the courses : Ecole des Mines http://www.alliance-artem.fr/ * Application https://ecandidat.univ-lorraine.fr
Back to the LICS web page.