March 2018 - Categories - categories.org.au

First Announcement "Utrecht Topology Feest 2018" August 27-31
by Gijs Heuts 31 Mar '18

31 Mar '18

Dear all, This is the first announcement of "Utrecht Topology Feest 2018", a conference in honour of Ieke Moerdijk's 60th birthday, to be held at Utrecht University August 27-31. If you wish to attend, please register via the conference webpage: https://sites.google.com/site/utrechttopologyfeest2018/ Invited speakers: Clemens Berger Lawrence Breen* Joachim Cuntz Ezra Getzler John Greenlees Javier Gutierrez Kathryn Hess Vladimir Hinich Michael Hopkins* Martin Hyland Peter Johnstone Klaas Landsman Jacob Lurie Ib Madsen Janez Mrcun Paul-Emile Paradan Bertrand Toën Bernardo Uribe Alan Weinstein (* to be confirmed) Organizers: Benno van den Berg, Marius Crainic, Gijs Heuts, Jaap van Oosten With best regards, Gijs Heuts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on Algebra, Logic and Topology
by Jorge Picado 29 Mar '18

29 Mar '18

2nd ANNOUNCEMENT =================================== *Workshop on Algebra, Logic and Topology* http://www.mat.uc.pt/~workalt* * September 27-29, 2018 Department of Mathematics, University of Coimbra, PORTUGAL =================================== This is a workshop organised by the "Algebra, Logic and Topology" research group of CMUC (http://www.mat.uc.pt/~cmuc) ??in honour of our colleague and friend Ale?? Pultr, on the occasion of his 80th birthday. *Invited Speakers:* * Richard N. Ball (University of Denver, Denver, USA) * Mai Gehrke (CNRS and Universit?? C??te d'Azur, Nice, France) * Javier Guti??rrez Garc??a (University of the Basque Country UPV/EHU, Bilbao, Spain) * Dirk Hofmann (University of Aveiro, Portugal) *Scientific Committee:* Bernhard Banaschewski, Maria Manuel Clementino, Jorge Picado, Manuela Sobral. *Organizing Committee: *Maria Manuel Clementino, Maria Jo??o Ferreira, Jorge Picado, Sandra Pinto, Manuela Sobral. *Abstract Submission:* In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration / 5 min questions resp. break). To submit an abstract send both the tex source and the resulting pdf file to Jorge Picado (picado(a)mat.uc.pt) Deadline for abstract submission: July 22. *Registration: *Please register as soon as possible, but not later than July 22, by sending an e-mail to picado(a)mat.uc.pt with the following information: First Name: ......................... Family Name: ...................... Institution: .......................... Country:?? ............................ E-mail address: ................... I plan to give a 30-min talk: Yes/No. I would like to attend the Workshop Dinner: Yes/No. There is no registration fee. We will organize a Workshop Dinner on Friday 28 (to be paid in cash at arrival). More details soon. *Special Volume:* TOPOLOGY AND ITS APPLICATIONS will publish a special volume in honour of Ale?? Pultr, on the occasion of his 80th birthday, with the proceedings of the workshop. The guest editors are Bernhard Banaschewski, Maria Manuel Clementino and Jorge Picado. How to submit: Send a pdf file of your manuscript to picado(a)mat.uc.pt, possibly suggesting one of the Guest Editors to be assigned to the paper. All submissions should be within the scope of the Journal and will be carefully refereed following the standards of Topology and its Applications. Deadline for submissions: October 31, 2018 For updated information consult the workshop webpage at http://www.mat.uc.pt/~workalt - looking forward to seeing you in Coimbra in September, The Organizing Committee. --------------59A8FB84A9CBD37B18D41208 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit <html> <head> <meta http-equiv="content-type" content="text/html; charset=utf-8"> </head> <body text="#000000" bgcolor="#FFFFFF"> <div class="moz-forward-container"> 2nd ANNOUNCEMENT =================================== Workshop on Algebra, Logic and Topology <a class="moz-txt-link-freetext" href="http://www.mat.uc.pt/%7Eworkalt" moz-do-not-send="true">http://www.mat.uc.pt/~workalt</a> September 27-29, 2018 Department of Mathematics, University of Coimbra, PORTUGAL =================================== ?? This is a workshop organised by the "Algebra, Logic and Topology" research group of CMUC (<a class="moz-txt-link-freetext" href="http://www.mat.uc.pt/%7Ecmuc" moz-do-not-send="true">http://www.mat.uc.pt/~cmuc</a>) ??in honour of our colleague and friend Ale?? Pultr, on the occasion of his 80th birthday. Invited Speakers: * Richard N. Ball (University of Denver, Denver, USA) * Mai Gehrke (CNRS and Universit?? C??te d'Azur, Nice, France) * Javier Guti??rrez Garc??a (University of the Basque Country UPV/EHU, Bilbao, Spain) * Dirk Hofmann (University of Aveiro, Portugal) Scientific Committee: Bernhard Banaschewski, Maria Manuel Clementino, Jorge Picado, Manuela Sobral. Organizing Committee: Maria Manuel Clementino, Maria Jo??o Ferreira, Jorge Picado, Sandra Pinto, Manuela Sobral. Abstract Submission: In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration / 5 min questions resp. break). To submit an abstract send both the tex source and the resulting pdf file to Jorge Picado (<a class="moz-txt-link-abbreviated" href="mailto:picado@mat.uc.pt" moz-do-not-send="true">picado(a)mat.uc.pt</a>). Deadline for abstract submission: July 22. Registration: Please register as soon as possible, but not later than July 22, by sending an e-mail to <a class="moz-txt-link-abbreviated" href="mailto:picado@mat.uc.pt" moz-do-not-send="true">picado(a)mat.uc.pt</a> with the following information: First Name: ......................... Family Name: ...................... Institution: .......................... Country:?? ............................ E-mail address: ................... I plan to give a 30-min talk: Yes/No. I would like to attend the Workshop Dinner: Yes/No. There is no registration fee. We will organize a Workshop Dinner on Friday 28 (to be paid in cash at arrival). More details soon. Special Volume: TOPOLOGY AND ITS APPLICATIONS will publish a special volume in honour of Ale?? Pultr, on the occasion of his 80th birthday, with the proceedings of the workshop. The guest editors are Bernhard Banaschewski, Maria Manuel Clementino and Jorge Picado. How to submit: Send a pdf file of your manuscript to <a class="moz-txt-link-abbreviated" href="mailto:picado@mat.uc.pt" moz-do-not-send="true">picado(a)mat.uc.pt</a>, possibly suggesting one of the Guest Editors to be assigned to the paper. All submissions should be within the scope of the Journal and will be carefully refereed following the standards of Topology and its Applications. Deadline for submissions: October 31, 2018 For updated information consult the workshop webpage at <a class="moz-txt-link-freetext" href="http://www.mat.uc.pt/%7Eworkalt" moz-do-not-send="true">http://www.mat.uc.pt/~workalt</a> - looking forward to seeing you in Coimbra in September, The Organizing Committee. </div> </body> </html> --------------59A8FB84A9CBD37B18D41208-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

QPL submission deadline approaching
by Peter Selinger 25 Mar '18

25 Mar '18

[This sender failed our fraud detection checks and may not be who they appear to be. Learn about spoofing at http://aka.ms/LearnAboutSpoofing] Please note that the deadline for abstract submission is a week from now! * SECOND CALL FOR PAPERS 15th International Conference on Quantum Physics and Logic (QPL 2018) June 3-7, 2018 Halifax, Canada https://www.mathstat.dal.ca/qpl2018/ * * * The 15th International Conference on Quantum Physics and Logic (QPL 2018) will take place at Dalhousie University June 3-7, 2018. The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. QPL 2018 will be co-located with the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), which takes place from June 6-9. IMPORTANT DATES April 1: abstract submission April 6: paper submission May 11: notification of authors May 25: final papers ready June 3-7: conference INVITED SPEAKERS Dominic Horsman (University of Grenoble) Debbie Leung (University of Waterloo) Neil J. Ross (Dalhousie University) Robert Spekkens (Perimeter Institute) TUTORIALS Teiko Heinosaari (University of Turku): "Compatibility of Quantum Measurements and Channels" Ciaran Lee (University College London): "Computation in General Probabilistic Theories" SUBMISSIONS Prospective speakers are invited to submit one (or more) of the following: - Original contributions consist of a 5-12 page extended abstract that provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. - Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. The conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Only "original contributions" are eligible to be published in the proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2018 There will be an award for the best student paper at the discretion of the programme committee. Papers eligible for the award are those where all the authors are students at the time of submission. PROGRAM COMMITTEE Giulio Chiribella (University of Oxford, co-chair) Peter Selinger (Dalhousie University, co-chair) Samson Abramsky (University of Oxford) Antonio Acin (Institute of Photonic Sciences) Richard Blute (University of Ottawa) Anne Broadbent (University of Ottawa) Dan Browne (University College London) Bob Coecke (University of Oxford) Lidia del Rio (ETH Zurich) Ross Duncan (University of Strathclyde) Teiko Heinosaari (University of Turku) Chris Heunen (University of Edinburgh) Matthew Hoban (University of Oxford) Dominic Horsman (University of Durham) Bart Jacobs (Radboud University) Kohei Kishida (Dalhousie University) Aleks Kissinger (Radboud University) Joachim Kock (Universitat Autonoma Barcelona) Ciaran Lee (University College London) Matt Leifer (Chapman University) Martha Lewis (University of Amsterdam) Paul-Andre Mellies (CNRS, Universite Paris Diderot) Michael Moortgat (Utrecht University) Mio Murao (University of Tokyo) Daniel Oi (University of Strathclyde) Ognyan Oreshkov (Universite Libre de Bruxelles) Prakash Panangaden (McGill University) Anna Pappa (University of Edinburgh) Dusko Pavlovic (University of Hawaii) Simon Perdrix (CNRS, University of Grenoble) Paolo Perinotti (Universita di Pavia) Neil J. Ross (Dalhousie University) Ana Belen Sainz (Perimeter Institute) Pawel Sobocinski (University of Southampton) Robert Spekkens (Perimeter Institute) Isar Stubbe (Universite du Littoral) Benoit Valiron (Universite Paris-Saclay) Jamie Vicary (University of Oxford) Mingsheng Ying (University of Technology Sydney) Margherita Zorzi (Universita di Verona) STEERING COMMITTEE Bob Coecke (University of Oxford) Prakash Panangaden (McGill University) Peter Selinger (Dalhousie University) LOCAL ORGANIZERS Neil J. Ross (Dalhousie University) Peter Selinger (Dalhousie University) * For further information, please contact qpl2018(a)easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MFPS 2018 final call for papers
by Sam Staton 23 Mar '18

23 Mar '18

MFPS XXXIV 2018 : Mathematical Foundations of Programming Semantics Call for papers The 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV) will take place at Dalhousie University in Halifax, Canada, from June 6–9, 2018. MFPS 2018 will be co-located with the 15th International Conference on Quantum Physics and Logic (QPL) 2018, which takes place from June 3–7. MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. Topics include, but are not limited to, the following: concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. Conference home page: https://www.mathstat.dal.ca/mfps2018/ ## SUBMISSION ### Important dates: * April 1: abstract submission * April 6: paper submission * May 11: notification of authors * May 25: final papers ready * June 6–9: conference ### Submitting Submissions should be prepared using the ENTCS Macros (http://www.entcs.org/) and should be up to 12 pages long excluding bibliography and appendices. Submissions is via EasyChair (https://easychair.org/conferences/?conf=mfps34) NB * The original call for papers, in reference to an older style file, suggested up to 15 pages. Authors may still submit up to 15 pages using the old style file. But they are encouraged to use the latest ENTCS style file, dated 6 March 2018, and up to 12 pages, which is actually more generous because of font and margin differences. * Although QPL and MFPS are co-located, they have different submission sites and programme committees. ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will be published in ENTCS after the meeting. ENTCS is open access. ## PROGRAM COMMITTEE: * Marc Bagnol, ENS Lyon, France * Andrej Bauer, University of Ljubljana, Slovenia * Dariusz Biernacki, University of Wroclaw, Poland * Aleš Bizjak, Aarhus University, Denmark * Valentin Blot, Université Paris-Sud, France * Steve Brookes, Carnegie Mellon University, USA * Pierre Clairambault, CNRS and ENS Lyon, France * Ilias Garnier, Sivienn Inc. and ENS Paris * Sergey Goncharov, FAU Erlangen-Nürnberg, Germany * Tobias Heindel, Universität Leipzig, Germany * Tom Hirschowitz, Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, France * Patricia Johann, Appalachian State University, USA * Achim Jung, University of Birmingham, UK * Ohad Kammar, University of Oxford, UK * Shin-Ya Katsumata, National Institute of Informatics, Japan * Catherine Meadows, NRL, USA * Michael Mislove, Tulane University, USA * Joel Ouaknine, MPI-SWS, Germany * Daniela Petrisan, Université Paris Diderot - Paris 7, France * Azalea Raad, MPI-SWS, Germany * Sam Staton, University of Oxford, UK (chair) * Tarmo Uustalu, Reykjavik University, Iceland * Benoît Valiron, LRI - CentraleSupélec, Univ. Paris Saclay, France * Valeria Vignudelli, CNRS/ENS Lyon, France * Noam Zeilberger, University of Birmingham, UK ## INVITED SPEAKERS and SPECIAL SESSIONS * Ron Garcia, British Columbia * Frank Pfenning, CMU * Gordon Plotkin, Edinburgh / Google * Neil J. Ross, Dalhousie Our plan is to organize a series of special sessions, on the following topics: gradual typing, session types, differentiable programs, and quantum programming languages (joint with QPL). Special session speakers will be announced in due course. ## LOCAL ORGANISERS: * Neil J. Ross * Peter Selinger [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

10 Y ZX blast!
by Bob Coecke 23 Mar '18

23 Mar '18

At the occasion of the 10th aniversary of ZX calculus for quantum foundation/computing, the recent wave of exciting results concerning both for its theoretical underpinning and new applications for quantum computing, as well as the simple fact that there never can be enough parties, there will be a celebratory workshop in Oxford, at a location still to be confirmed. The main goal of the workshop is to set out and coordinate further developments. At the same time, this would be a good occasion for those that would like to learn more about ZX calculus to talk to those that have made major contributions. Live music will also be provided, most likely on the eve of the 11th. If you are interested in participating send us an email. Dates: 7-11 May 2018. Place: Oxford, at location TBC. Confirmed participants include: Bob Coecke, Ross Duncan, Dusko Pavlovic, Simon Perdrix, Aleks Kissinger, Dominic Horsman, Miriam Backens, Amar Hadzihasanovic, Vladimir Zamdzhiev, Stefano Gogioso, Quanlong Wang, Renaud Vilmart, Kang Feng Ng, Hector Miller-Bakewel, Niel De Beaudrap, Giovanni De Felice and Cambridge Quantum Computing Inc. representatives. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Ackermann Award 2018
by European Association of Computer Science Logic 22 Mar '18

22 Mar '18

ACKERMANN AWARD 2018 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2018 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2016 and 31.12.2017 are eligible for nomination for the award. The deadline for submission is 4 April 2018. Submission details follow below. Nominations can be submitted from 1 January 2018 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de The Award The 2018 Ackermann award will be presented to the recipient(s) at the annual conference of the EACSL, 4-7 September 2018, in Birmingham (UK). The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, and * travel support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. Jury The jury consists of: * Christel Baier (TU Dresden); * Mikolaj Bojanczyk (University of Warsaw); * Anuj Dawar (University of Cambridge); * Dexter Kozen (Cornell University); * Dale Miller (INRIA and Ecole Polytechnique), ACM SigLog representative; * Luke Ong (University of Oxford); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund), the president of EACSL. How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de With the following subject line and text: * Subject: Ackermann Award 2018 Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

cocategory object in Bicat
by David Roberts 21 Mar '18

21 Mar '18

Hi all, Let *2* be the category {0 <-- 1}. I would like the statement *2* is (the object of arrows of) a cocategory object in Bicat to make sense for some version of Bicat, and for some version of "cocategory object". What I have in mind is that given a bicategory B, the hom-bicategory [*2*,B] gives rise to some kind of double-category-like structure. One could consider eg equipments, double bicategories and the like arising from B, but what is going on with *2* to make this happen? Thanks, David -- David Roberts http://ncatlab.org/nlab/show/David+Roberts [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

QBF 2018: Call for papers
by HUBERT MING CHEN 20 Mar '18

20 Mar '18

[We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2018 -------- International Workshop on Quantified Boolean Formulas and Beyond Oxford, UK, July 8, 2018 http://fmv.jku.at/qbf18/ Affiliated to and co-located with: Federated Logic Conference 2018 (FLoC), Oxford, UK Oxford, UK, July 6-19, 2018 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence can be encoded in QBF. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not widely applied to practical problems in industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. In particular, the following topics shall be considered at the workshop: * Directions of Solver Development * Certificates * Applications * Community platform and repository =============== IMPORTANT DATES =============== Please follow http://fmv.jku.at/qbf18/ for any updates. May 01 2018: submission May 15 2018: notification of acceptance May 25 2018: camera-ready version July 8 2018: workshop ================== TOPICS OF INTEREST ================== The workshop is concerned with all aspects of current research on formalisms enriched by quantifiers, in particular QBF. The topics of interest include (but are not limited to): - Applications, encodings and benchmarks with quantifiers - Experimental evaluations of solvers or related tools - Case studies illustrating the power of quantifiers - Certificates and proofs for QBF, QSMT, QCSP, etc. - Formats of proofs and certificates - Implementations of proof checkers and verifiers - Decision procedures - Calculi and their relationships - Proof theory and complexity results - Data structures, implementation details, and heuristics - Pre- and inprocessing techniques - Structural reasoning ========== SUBMISSION ========== We invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. Submissions of the extended abstracts will be managed via Easychair: https://easychair.org/conferences/?conf=qbf18 The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. Submissions which describe novel applications of QBF in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 2-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage and on the USB stick of FLoC. Authors of accepted contributions are expected to give a talk at the workshop. ========================== JOINT SESSION WITH PC 2018 ========================== We are very pleased to announce that QBF 2018 will feature a joint session with the Int. Workshop on Proof Complexity (PC 2018). We cordially invite contributions that are in the intersection of reasoning with quantifiers and proof complexity. Further, we are very pleased to announce that Meena Mahajan will give an invited talk in the joint session. ============== PROGRAM CHAIRS ============== Hubie Chen Birkbeck, University of London Florian Lonsing Vienna University of Technology, Austria Martina Seidl Johannes Kepler University Linz, Austria ================= PROGRAM COMMITTEE ================= Florent Capelli Leroy Chew Mikolas Janota Mathias Preiner Markus Rabe Martin Suda Friedrich Slivovsky [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

YaMCATS 14 University of Sheffield 21 March 2018
by Paoli, Simona (Dr.) 17 Mar '18

17 Mar '18

Dear Colleagues, The next meeting of the Yorkshire and Midlands Category Seminar will take place at the University of Sheffield on Wednesday 21 March 2018. The invited speakers are: Mathieu Anel (University Paris Diderot) Sina Hazratpour (University of Birmingham) Constanze Roitzheim (University of Kent) Further details can be found on the YaMCATS website. The meeting is open to all and everybody is welcome. The YaMCATS organizers Simona Paoli, Nicola Gambino, Steve Vickers, Scott Balchin. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FoPPS Logic and Learning School (Oxford, July 1-6)
by Andrzej Murawski 17 Mar '18

17 Mar '18

LOGIC & LEARNING SCHOOL July 1-6, 2018 (immediately before FLoC 2018) Oxford, UK **The early bird registration deadline is April 15.** School website: https://www.mimuw.edu.pl/~fopss18/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> FLoC website: http://www.floc2018.org/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> The Logic & Learning School is an opportunity to learn from, and interact with, the world's experts leading recent progress in understanding the relationships between logic and learning. These experts come from both academia and some of the leading industrial research labs (Amazon Research and DeepMind). In the last few decades, logic has emerged as a fundamental paradigm for understanding complex systems. It has turned out to be instrumental in formal methods such as program verification, reasoning about hardware, reasoning about real-time systems and, more recently, probabilistic systems. Machine learning has recently had spectacular successes in fields such as image recognition, game playing, and many areas that involve the extraction of information from large datasets. The use of statistical approaches yields practical solutions to problems that seemed out of reach just a few years ago. The understanding of why these approaches are so successful has lagged behind the empirical successes. Using logic as the foundation to understand machine learning to obtain the best of both worlds is a major challenge. The programme of the Logic & Learning School consists of eleven lectures of three hours each, starting with five introductory courses on computational and statistical learning theory, reinforcement learning, Bayesian inference, and automata learning and six advanced courses on exciting and recent developments relating logic and learning. The lectures target an audience of logicians and computer scientists broadly construed and do not assume any knowledge on machine learning. Accordingly, the School represents a perfect opportunity to learn for both students and working researchers. The School will take place in St Anne's College in the centre of Oxford, an ideal learning environment with accommodation and lunches provided on site. The lectures will be from Sunday 1 July in the morning to Friday 6 July in the afternoon, which is the week before the main activities of FLoC. The Summer School on Foundations of Programming and Software Systems (FoPSS) was jointly created by ETAPS, SIGLOG, SIGPLAN and EATCS. It is additionally sponsored by the Department of Computer Science at Oxford. Complete list of speakers Borja Balle (Amazon Research Cambridge) Spectral algorithms for automata learning Richard Evans (DeepMind) Inductive logic programming and deep learning Hado van Hasslet (DeepMind) Reinforcement learning Nina Gierasimczuk (Technical University of Danemark) Learning and epistemic modal logic Varun Kanade (University of Oxford) Statistical learning theory Guy Katz (Stanford University and Hebrew University of Jerusalem) Verification of machine learning programs Jan Křetínský (Technical University of Munich) Learning for verification Stephen H. Muggleton (Imperial College London) Inductive logic programming Doina Precup (McGill University and DeepMind) Reinforcement learning Dan Roy (University of Toronto) Bayesian learning James Worrell (University of Oxford) Computational learning theory Registration The summer school is a residential course held at St Anne's College, Oxford. The registration fee includes bed & breakfast accommodation for 6 days (1-6th July 2018), buffet lunches and evening meals. There will be a banquet on 4th July at St Johns College. Arrivals are on 30th June 2018 and departures on 6th July. As the number of rooms available at St Anne's is very limited, early registration is strongly advised to avoid disappointment. Registration fees are: Early bird £750 15 April, 2018 Late £850 15 May, 2018 The summer school is perfectly aligned for students who want to attend the four-yearly Federated Logic Conference (FLOC) taking place in Oxford after the summer school. FLOC will feature a number of AI-related events, including a public lecture by Stuart Russell at the Sheldonian Theatre (http://www.floc2018.org/speaker/stuart-russell/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> ), a Debate in the Oxford Union Chamber on Ethics for Robots (http://www.floc2018.org/speaker/debate/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> ), and the Summit on Machine Learning Meets Formal Methods (http://www.floc2018.org/summit-on-machine-learning/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> ). Students and postdocs may also be interested in the FLOC Volunteer Programme: http://www.floc2018.org/volunteer/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> For registration and further information about the Logic & Learning School (opens early February) see: http://www.floc2018.org/fopss/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> Information about FLOC 2018 can be found at: http://www.floc2018.org/ <https://andrzej-s-murawski-dot-yamm-track.appspot.com/Redirect?ukey=1SV1qxI…> [image: beacon] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0