April 2020 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 23 Feb '24

23 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

PhD Position
by Matthijs Vákár 30 Apr '20

30 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear all, (Apologies for cross-posting; please share with your students and colleagues as is appropriate.) Utrecht University's Software Technology group is looking to hire a PhD candidate. We are interested in finding a candidate who is excited to work on mathematical aspects of computer science. Specifically, our team works on differential and probabilistic programming, with topics ranging from the foundations of the field in (applied) category theory, programming language theory, and continuous mathematics, to applications in programming language implementation, scientific computing, and machine learning. We are looking for a student who is enthusiastic about research and will take the initiative to make the most of this very flexible PhD position. For more details, see https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/phd-po… The deadline for applications is Monday, June 8, 2020, but applications will be considered until the position is filled. For all inquiries please contact Matthijs Vákár (m.i.l.vakar(a)uu.nl) Kind regards, Matthijs ---------------------- https://www.uu.nl/staff/MILVakar [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ICFEM'20 deadline extended to 17th May 2020
by Ichiro Hasuo 29 Apr '20

29 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. --------------- CALL FOR PAPERS --------------- 22nd International Conference on Formal Engineering Methods (ICFEM 2020), 2-6 November 2020, Singapore (subject to changes, including backup options such as postponing the conference or hosting it online). http://formal-analysis.com/icfem/2020/ Extended deadlines: Full Paper Submissions Due: 17 May 2020 (AoE) Workshop/Tutorial Proposals Due: 20 March 2020 Acceptance/Rejection Notification: 5 July 2020 Camera-ready Due: 17 July 2020 Since 1997, ICFEM provides a forum for both researchers and practitioners who are interested in developing practical formal methods for software engineering or applying existing formal techniques to improve software development process in practice systems. Formal Methods for the development of computer systems have been extensively researched and studied. We now have good theoretical understandings of how to describe what programs do, how they do it, and why they work. A range of semantic theories, specification languages, design techniques, verification methods, and supporting tools have been developed and applied to the construction of programs of moderate size that are used in critical applications. The remaining challenge now is how to deal with problems in developing and maintaining large scale and complex computer systems. The goal of this conference is to bring together industrial, academic, and government experts, from a variety of user domains and software disciplines, to help advance state of the art. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical, tangible engineering benefits. Scope and Topics: Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal engineering methods and their practical applications will also be considered: • Abstraction, refinement and evolution • Formal specification and modelling • Formal verification and analysis • Model checking • Formal approaches to software testing and inspection • Formal methods for self-adaptive systems • Formal methods for object-oriented systems • Formal methods for component-based systems • Formal methods for concurrent and real-time systems • Formal methods for cloud computing • Formal methods for cyber-physical systems • Formal methods for software safety and security • Formal methods for software reliability and dependability • Development, integration and experiments involving verified systems • Formal certification of products under international standards • Formal model-based development and code generation Submission and Publication: Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages in LNCS format. Submissions should be made through the ICFEM 2020 submission page, handled by the EasyChair conference management system. https://easychair.org/conferences/?conf=icfem20 Workshop or tutorial proposals should be directly sent to the Workshop Chair via email. Each proposal should include (1) title, scope, and aims, (2) brief bio of the organizer or lecturer, and (3) postal and email addresses. Organising Committee: General Chair Jin Song Dong, National University of Singapore and Griffith University, Singapore/Australia Jim McCarthy, Defence Science and Technology, Australia Program Co-Chairs Shang-Wei Lin, Nanyang Technological University, Singapore Zhe Hou, Griffith University, Australia Brendan Mahony, Defence Science and Technology, Australia Finance Chair Yang Liu, Nanyang Technological University, Singapore Jun Sun, Singapore University of Technology and Design, Singapore Workshop Chair Hadrien Bride, Griffith University, Australia Doctoral Symposium Chair Lei Ma, Kyushu University, Japan Program Committee Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France Étienne André, Univesrity of Lorraine, France Cyrille Artho, KTH Royal Institute of Technology, Sweden Christian Attiogbe, University of Nantes, France Guangdong Bai, University of Queensland, Australia Christel Baier, TU Dresden, Germany Richard Banach, The University of Manchester, United Kingdom Luis Barbosa, University of Minho, Portugal Hadrien Bride, Griffith University, Australia Michael Butler, University of Southampton, United Kingdom Ana Cavalcanti, University of York, United Kingdom Yuting Chen, Shanghai Jiao Tong University, China Zhenbang Chen, National University of Defense Technology, China Yu-Fang Chen, Academia Sinica, Taiwan Yean-Ru Chen, National Cheng Kung University, Taiwan Wei-Ngan Chin, National University of Singapore, Singapore Ranald Clouston, Australian National University, Australia Sylvain Conchon, Universite Paris-Sud, France Florin Craciun, Babes-Bolyai University, Romania Jeremy Dawson, Australian National University, Australia Frank De Boer, Centrum Wiskunde & Informatica (CWI), Netherlands Yuxin Deng, East China Normal University, China Jin Song Dong, Griffith University and NUS, Australia Naipeng Dong, University of Queensland, Australia Zhenhua Duan, Xidian University, China Marc Frappier, Université de Sherbrooke, Canada Lindsay Groves, Victoria University of Wellington, New Zealand Ichiro Hasuo, National Institute of Informatics, Japan Xudong He, Florida International University, United States Zhe Hou, Griffith University, Australia Pao-Ann Hsiung, National Chung Cheng University, Taiwan Fuyuki Ishikawa, National Institute of Informatics, Japan Fabrice Kordon, LIP6/Sorbonne Universite & CNRS, France Yi Li, Nanyang Technological University, Singapore Xuandong Li, Nanjing University, China Shang-Wei Lin, Nanyang Technological University, Singapore Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, Southwest University, China Shuang Liu, Tianjin University, China Brendan Mahony, DSTO, Australia Jim McCarthy, Defence Science and Technology, Australia Dominique Mery, Université de Lorraine, France Stephan Merz, Inria Nancy, France Shin Nakajima, National Institute of Informatics, Japan Jun Pang, University of Luxembourg, Luxembourg Yu Pei, The Hong Kong Polytechnic University, China Shengchao Qin, Teesside University, United Kingdom Silvio Ranise, FBK-Irst, Italy Elvinia Riccobene, University of Milan, Italy Adrian Riesco, Universidad Complutense de Madrid, Spain David Sanan, Nanyang Technological University, Singapore Klaus-Dieter Schewe, Zhejiang University, China Harald Sondergaard, The University of Melbourne, Australia Meng Sun, Peking University, China Jing Sun, The University of Auckland, New Zealand Jun Sun, Singapore University of Technology and Design, Singapore Alwen Tiu, The Australian National University, Australia Elena Troubitsyna, KTH, Sweden Hai H. Wang, University of Aston, United Kingdom Bow-Yaw Wang, Academia Sinica, Taiwan Virginie Wiels, ONERA / DTIM, France Zhiwu Xu, Shenzhen University, China Naijun Zhan, Chinese Academy of Sciences, China Jian Zhang, Chinese Academy of Sciences, China Jaco van de Pol, Aarhus University, Denmark Peter Ölveczky, University of Oslo, Norway ====== Ichiro Hasuo Associate Professor, National Institute of Informatics i.hasuo(a)acm.org Secretaries: hasuolab-secr(a)nii.ac.jp http://group-mmm.org/~ichiro/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD position at University of Birmingham, UK
by Benedikt Ahrens 27 Apr '20

27 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. Dear All, I would like to invite applications for a fully-funded PhD position in the School of Computer Science at the University of Birmingham, UK. Topics of interest include: * Syntax and semantics of type theory * Formalisation of mathematics in univalent foundations * Directed type theory * Algebraic specification of programming languages Students broadly interested in one of these fields of research, or a related field, are strongly encouraged to apply. Applicants should hold, or be about to obtain, a Masters or Bachelor degree in Computer Science or Mathematics. The PhD position is fully funded, covering tuition fees and a tax-free scholarship. Healthcare is provided. For further details please send me an email (b.ahrens(a)cs.bham.ac.uk) and see my website (https://benediktahrens.net) The theory group at Birmingham's School of Computer Science is very active, organising regular seminars and informal meetings, such as the YaMCATS category theory seminar, Midlands Graduate School, and Workshops on Univalent Mathematics. For more information see http://www.cs.bham.ac.uk/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates should contact me in the first instance. All the best, Benedikt Ahrens [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Deadline Extension: Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science (SemSpace2020)
by Martha Lewis 27 Apr '20

27 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. [with apologies for cross-posting] CALL FOR PAPERS Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences https://sites.google.com/view/semspace2020/home <https://sites.google.com/view/semspace2020/home> August 8th and 9th 2020 Utrecht, The Netherlands (dates and location subject to confirmation) **** DEADLINE EXTENSION Due to various requests, we are extending the submission deadline to 22nd May. Updated dates are as follows: Paper submission: 22nd May 2020 Notification to contributors: 1st July 2020 Workshop dates: 8th-9th August 2020 (subject to confirmation) COVID-19 UPDATE We will be going ahead with the workshop, either in an online format or in person if the situation allows. Since ESSLLI 2020 has been cancelled, the dates and location may be subject to slight change. AIMS AND SCOPE Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics. Crucial similarities between the vector representations of quantum mechanics and those of natural language are exhibited via bicompact linear logic and compact closed categorical structures in natural language. Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas. The interplay between these three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact with each other in sentences and discourse via grammatical types, how they are determined by input from the world, and how word and sentence meanings interact logically. Topics of interest include (but are not restricted to): Reasoning in semantic spaces Compositionality in semantic spaces and conceptual spaces Conceptual spaces in linguistics and natural language processing Applications of quantum logic in natural language processing and cognitive science Modelling functional words such as prepositions and relative pronouns in compositional distributional models of meaning Diagrammatic reasoning for natural language processing and cognitive science Modelling so-called ‘non-compositional’ phenomena such as metaphor INVITED SPEAKERS Jennifer Culbertson, University of Edinburgh Andrea E. Martin, Max Planck Institute for Psycholinguistics and Radboud University, Nijmegen SPECIAL SESSION A special session will address the relevance of formal grammar methods in deep learning and other statistical and vector space approaches to language. Examples of phenomena where these methods come into play include (but of course are not limited to) anaphora resolution, long-range filler-gap dependencies, function-argument relations, locality domains, and syntactic structures in general. This session was originally planned to be held jointly with the Formal Grammar conference (http://fg.phil.hhu.de/2020/ <http://fg.phil.hhu.de/2020/>) which has been cancelled. We welcome papers that were submitted for the joint FG/SemSpace session as SemSpace submissions under the present CfP. SUBMISSIONS: Electronic submission of original contributions (up to 16 pages) of previously unpublished work. Submission of substantial, albeit partial results of work in progress is welcomed. Extended abstracts (3 pages) of previously published work that is recent and relevant to the workshop. These should include a link to a separately published paper or preprint. Contributions should be submitted at: https://easychair.org/conferences/?conf=semspace2020 <https://easychair.org/conferences/?conf=semspace2020> In submitting your abstract, please indicate whether you intend your submission for the special session. A special issue of selected extended papers will be prepared following the workshop. Only original contributions will be considered for publication. Please send any queries to semspace2020(a)easychair.org <mailto:semspace2020@easychair.org> PROGRAMME COMMITTEE Bob Coecke, University of Oxford Stefano Gogioso, University of Oxford Giuseppe Greco, Utrecht University Peter Gärdenfors, Lund University Helle Hvid Hansen, Delft University of Technology Jules Hedges, Max Planck Institute for Mathematics in the Sciences Peter Hines, University of York Alexander Kurz, Chapman University Antonio Lieto, University of Turin, Department of Computer Science Dan Marsden, University of Oxford Michael Moortgat, Utrecht University Richard Moot, CNRS (LIRMM) & University of Montpellier Dusko Pavlovic, University of Hawaii Emmanuel Pothos, City University London Matthew Purver, Queen Mary University of London Mehrnoosh Sadrzadeh, University College London Giovanni Sileno, University of Amsterdam Pawel Sobocinski, Tallinn University of Technology Oriol Valentín, Universitat Politècnica de Catalunya Dominic Widdows, Grab Geraint Wiggins, Vrije Universiteit Brussel / Queen Mary University of London Gijs Wijnholds, Utrecht University Frank Zenker, Lund University ORGANIZATION COMMITTEE Martha Lewis, ILLC, University of Amsterdam Michael Moortgat, Utrecht University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Computability in Europe 2020 SECOND CALL FOR INFORMAL PRESENTATIONS
by acie＠acie.eu 27 Apr '20

27 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. COMPUTABILITY IN EUROPE 2020 SECOND CALL FOR INFORMAL PRESENTATIONS 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: Deadline for informal presentations submission: 31 May 2020 (The notifications of acceptance for informal presentations will be sent a few days after submission.) 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 Contributed papers will be selected from submissions received by the PROGRAMME COMMITTEE consisting of: Marcella Anselmo University of Salerno (co-chair) Veronica Becher Universidad de Buenos Aires Paola Bonizzoni University of Milano-Bicocca Laura Crosilla University of Oslo Liesbeth De Mol Universit?? de Lille 3 Gianluca Della Vedova University of Milano-Bicocca J??r??me Durand-Lose Universit?? d'Orl??ans Pawel Gawrychowski University of Wroclaw Mathieu Hoyrup LORIA Juliette Kennedy University of Helsinki Karoliina Lehtinen University of Liverpool Benedikt Loewe Universiteit van Amsterdam Florin Manea Universit??t G??ttingen Timothy McNicholl Iowa State University Klaus Meer BTU Cottbus-Senftenberg Turlough Neary University of Zurich Daniel Paulusma Durham University Arno Pauly Swansea University (co-chair) Karin Quaas University of Leipzig Viola Schiaffonati Politecnico di Milano Markus L. Schmid Humboldt University Berlin Thomas Schwentick Universit??t Dortmund Marinella Sciortino University of Palermo Victor Selivanov Institute on Informatics Systems Mariya Soskova University of Wisconsin-Madison Peter Van Emde Boas Universiteit van Amsterdam Linda Brown Westrick Pennsylvania State University The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. Continuing the tradition of past CiE conferences, the Program Committee cordially invites all researchers (European and non-European) to submit informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2020) using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2020 may appear or may have appeared in other conferences with formal proceedings and/or in journals. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FINAL Call for Papers: VIRTUAL Linearity & TLLA 2020
by Valeria de Paiva 25 Apr '20

25 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. ======================================================= FINAL Call for Papers: NEW DEADLINE 4th May 2020 Joint Linearity & TLLA Workshop Sixth International Workshop on Linearity Fourth International Workshop on Trends in Linear Logic and Applications Paris, Aubervilliers, France, 29-30 June 2020 Affiliated with FSCD 2020 https://lipn.univ-paris13.fr/LinearityTLLA2020/ ======================================================== *COVID-19 Emergency*: *Our highest priority is the safety of all participants. Due to the covid19 pandemic, Linearity and TLLA 2020 will happen as a virtual conference. More details will follow when we know from the main organizers of FSCD 2020, athttps://fscd2020.org/2020/04/01/Virtualisation-FSCD-IJCAR-2020/ <https://fscd2020.org/2020/04/01/Virtualisation-FSCD-IJCAR-2020/>.* Linearity has been a key feature in several lines of research in both theoretical and practical approaches to computer science. On the theoretical side there is much work stemming from linear logic dealing with proof technology, complexity classes, and more recently quantum computation. On the practical side, there is work on program analysis, expressive operational semantics for programming languages, linear programming languages, program transformation, update analysis and efficient implementation techniques. Linear logic is not only a theoretical tool to analyse the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that were originally developed for the study of linear logic's syntax and semantics and are nowadays applied in several other fields. The aim of this Joint Linearity and TLLA workshop is to bring together researchers who are currently working on linear logic and related fields, to foster their interaction and provide a forum for presenting new ideas and work in progress. We also hope to enable newcomers to learn about current activities in this area. New results that make central use of linearity, ranging from foundational work to applications in any field, are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include: - theory of programming languages - type systems - verification - models of computation - implicit computational complexity - parallelism and concurrency - games and languages - proof theory - philosophy - categories and algebra - connections with combinatorics - linguistics - functional analysis and operator algebras IMPORTANT DATES * EXTENDED Submission deadline: 4th May 2020 * Author notification: 29th May 2020 * Contribution for Informal Proceedings: 12th June 2020 * Workshop date: 29-30 June 2020 SUBMISSIONS Authors are invited to submit: * an extended abstract (8 pages max) describing original ideas and results not published nor submitted elsewhere, * or a 5-page abstract presenting relevant work that has been or will be published elsewhere, * or a 2-page description of work in progress. Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PDF format using the EPTCS style files. Submission is through the Easychair website: https://easychair.org/conferences/?conf=tllalinearity2020 POST-PROCEEDINGS After the workshop, authors of extended abstracts will be invited to submit a longer version of their work (typically a 15-pages paper) for publication in EPTCS (TBC). These submissions will undergo a second round of refereeing. PROGRAMME COMMITTEE Raphaelle Crubillé http://research.crubille.lautre.net/ Ugo Dal Lago (co-chair) https://www.unibo.it/sitoweb/ugo.dallago/en Valeria De Paiva (co-chair) http://vcvpaiva.github.io/ Harley Eades http://metatheorem.org/ Koko Muroya http://www.kurims.kyoto-u.ac.jp/~kmuroya/ Michele Pagani https://www.irif.fr/~michele/ Elaine Pimentel https://sites.google.com/site/elainepimentel/ Giselle Reis https://www.qatar.cmu.edu/directory/giselle-reis/ Thomas Seiller https://www.seiller.org/ Daniel Ventura http://www.inf.ufg.br/~daniel/ Lionel Vaux https://www.i2m.univ-amu.fr/perso/lionel.vaux/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

[CfP] Special Session: Women in Logic Programming - ICLP2020
by Laura Pandolfo 21 Apr '20

21 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. [Apologies for cross-posting] /IMPORTANT NOTE: The conference general chairs together with the program chairs and the ALP Executive, have decided to hold ICLP2020 as a fully virtual conference on the original week. More details will be forthcoming./ ======================================== *Call for papers - Special Session: Women in Logic Programming** **ICLP 2020 - The 36th International Conference on Logic Programming* September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ======================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Contributions are solicited in all areas of logic programming and related areas, with a special focus on applications that are beneficial to society in the large, and to the role of women in society in particular. Any (female) student willing to participate to ICLP can submit their application on the site: https://women.acm.org/scholarships/ Submission Process: ============ The submissions to this special session must be made via the EasyChair conference system (https://easychair.org/my/conference?conf=iclp20200) All submissions must be written in English and co-authored by at least one woman. Authors should select the right track when submitting. Two types of submissions are invited: Regular and short. • Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will not be made available as appendices to the published paper. • Short papers (7 pages in EPTCS format (http://info.eptcs.org/) including references) can describe original preliminary work or express a position on the special focus of the session. The accepted short papers will be published as Technical Communications, along with the selected ICLP-TC papers. All TCs will be presented during the conference, preferably by women. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Keynote Speakers: =========== To be announced. Important Dates: ========== Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 Special Session: Women in Logic Programming Chairs: ================================= Francesca Alessandra Lisi, University of Bari Aldo Moro Alessandra Mileo, INSIGHT Centre for Data Analytics, Dublin City University -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

[CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming
by Laura Pandolfo 20 Apr '20

20 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. [Apologies for cross-posting] /_IMPORTANT NOTE:_//The conference general chairs together with the program////chairs and the ALP Executive, have decided to hold ICLP2020 as a fully////virtual conference on the original week. More details will be forthcoming./ ======================================================== *Call for Papers** **ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 24, 2020* ***University of Calabria, Rende, Italy* ***https://iclp2020.unical.it <https://iclp2020.unical.it/>* ======================================================== The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS),Italy, with the main program starting immediately after the sisterconference KR 2020. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. *Scope* ===== Contributions are solicited in all areas of logic programming and related areas, including but not restricted to: _Foundations:_**Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation.** _Declarative Programming__:_ Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules.* *_Related Paradigms and Synergies__:_ Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning.* *_Implementation__:_ Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces.* *_Applications__:_ Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics. * * *Tracks and Special Sessions* ======================== Besides the main track, ICLP 2020 will host additional tracks and special sessions:* *_Applications Track:_This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned.* *_Sister Conferences and Journal Presentation Track__:_ This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences but have not been previously presented at ICLP.* *_Special Session: Women in Logic Programming__:_ This special session will include invited talks and presentations by women in logic programming.** **_Research Challenges in Logic Programming Track:_**This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. Papers submitted to this track do not go through the usual review and will not be published in the proceedings – they will be distributed at the conference as a technical report. Every of the above four tracks will have its own dedicated chairs, PC, evaluationcriteria, and CFP with related submission details (see the specific call for papers). In addition to the presentations of accepted papers, the technical program willinclude invited talks, advanced tutorials, the doctoral consortium, and severalworkshops. *Submission Details* ================= All submissions must be made via the EasyChair conference system:https://easychair.org/conferences/?conf=iclp20200 <https://easychair.org/conferences/?conf=iclp20200>. Regular papers must be in the condensed TPLP format (template here) and not exceed14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit andwhich will not be made available as appendices to the published paper. Three kinds of regular papers will be accepted: • Technical papers for technically sound, innovative ideas that can advance thestate of logic programming; • Application papers that impact interesting application domains; • System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previouslyunpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications in EPTCS format (http://info.eptcs.org <http://info.eptcs.org/>). Technical communications must not exceed 14 pages, including the bibliography. The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during theconference. So, at least one author per accepted paper is expected to register andattend the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from theLogic Programming Newsletter at no cost. *Important Dates* ============== Abstract registration (regular papers): May 8, 2020 Paper submission (regular paper): May 15, 2020 Notification to authors (regular paper): June 19, 2020 Paper Submission (short papers): June 30, 2020 Revision submission (TPLP papers): July 6, 2020 Final notifications (TPLP papers): July 17, 2020 Camera-ready copy due: July 27, 2020 Main Conference starts: September 19, 2020 *Autumn School on Logic Programming* ================================= A school on logic programming will be held before the conference. More up to date information is available at the school web page. *Doctoral Consortium* ================== The 16th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partialfinancial support to attend the event and the main conference. The best paper fromthe DC will be given the opportunity to make a presentation in a session of the main ICLP conference. The DC will have its own CFP, including the submission details. For information,please visit the DC Web Page. *Workshops* ========= The ICLP 2020 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new openproblems to an interested audience with opportunities for intensive discussions andproject collaborations. *Tutorials* ======== The ICLP 2020 program will include several tutorials. They offer the participants, reviews of specific subfields as well as hands-on sessions by leading experts. *Conference Organization* ===================== General Chairs: • Sergio Greco, University of Calabria, Italy • Nicola Leone, University of Calabria, Italy Program Chairs: • Francesco Ricca, University of Calabria, Italy • Alessandra Russo, Imperial College London Organizing Chairs: • Marco Calautti, University of Calabria, Italy • Carmine Dodaro, University of Calabria, Italy Publicity Chair: • Laura Pandolfo, University of Sassari, Italy -- -- *Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The HoTTEST Conference of 2020, June 15-19, only on the internet.
by Chris Kapulkin 19 Apr '20

19 Apr '20

CAUTION: The Sender of this email is not from within Dalhousie. We are pleased to announce the HoTTEST Conference of 2020 taking place online June 15-19, 2020. There will be two talks per day, at 10:30 and 12 EDT (UTC-4). Details, including how to connect, can be found at https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_conference_2020.h… Invited speakers Timothy Campion (University of Notre Dame) Eric Finster (INRIA Nantes) Valery Isaev (Saint Petersburg Academic University) Peter LeFanu Lumsdaine (Stockholm University) David Jaz Myers (Johns Hopkins University) Paige North (Ohio State University) Anja Petković (University of Ljubljana) Mitchell Riley (Wesleyan University) Mike Shulman (University of San Diego) Taichi Uemura (University of Amsterdam) There will be no banquet, but if you insist on paying $80 for a meal worth no more than $15, consider tipping generously for takeout from your local restaurant. On behalf of the organizers, Dan Christensen Chris Kapulkin [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0