March 2022 - Categories - categories.org.au

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

24 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

CFP: 13th International Workshop on Graph Computation Models (GCM 2022)
by Heckel, Reiko (Prof.) 31 Mar '22

31 Mar '22

[apologies for cross-posting] ***** 2nd CALL FOR PAPERS ***** ======================================= 13th International Workshop on Graph Computation Models (GCM 2022) 6th July 2022 (**confirmed workshop date**) Venue: Nantes, France Web site: https://gcm2022.github.io/ Part of STAF 2022 (https://staf2022.univ-nantes.io/) ======================================= Graphs are common mathematical structures which are visual and intuitive. They constitute a natural and seamless way for system modeling in science, engineering and beyond, including computer science, life sciences, business processes, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. They generalize classical computation models based on strings or trees, such as Chomsky grammars or term rewrite systems. Their mathematical foundation, in addition to their visual nature, facilitates specification, validation and analysis of complex systems. A variety of computation models have been developed using graphs and rule-based graph transformation. These models include features of programming languages and systems, paradigms for software development, concurrent calculi, local computations and distributed algorithms, and biological and chemical computations. The International Workshop on Graph Computation Models aims at bringing together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among young and senior researchers from different communities who are interested in the foundations, applications, and implementations of graph computation models and related areas. --------------------------------------- ** IMPORTANT DATES ** Abstract Submission: 20 April 2022 Paper Submission: 27 April 2022 Notification: 25 May 2022 Final version due: 15 June 2022 Workshop: 6 July 2022 --------------------------------------- ** TOPICS ** GCM 2022 solicits papers on all aspects of graph computation models. This includes, but is not limited to the following topics: FOUNDATIONS * Models of graph transformation * Analysis and verification of graph transformation systems * Parallel, concurrent, and distributed graph transformation * Term graph rewriting * Formal graph languages APPLICATIONS * Graph-based programming models and visual programming * Program analysis and transformation * Graph-based machine learning, including graph neural networks and models of rule inference * Model-driven engineering and model transformation * Evolutionary computation; software architectures, validation and evolution * Databases * Graph-based security models * Workflow and business processes * Social network analysis * Bioinformatics and computational chemistry * Quantum computing * Case studies --------------------------------------- ** SUBMISSION TYPES ** Authors are invited to submit papers in two possible categories: (1) Regular papers of at most 16 pages describing innovative contributions. (2) Position papers, system descriptions, or work in progress of 6 to 12 pages. Papers in PDF format should be submitted electronically via the EasyChair system site (https://easychair.org/conferences/?conf=gcm2022) Submissions must use the EPTCS LaTeX style (http://style.eptcs.org/) Simultaneous submission to other conferences with proceedings, as well as submission of material that has already been published elsewhere is not allowed. The page limits include references. An optional appendix can be added if this is useful for the reviewing process. All submissions will be reviewed by the programme committee. Electronic proceedings will be available at the time of the workshop. Selected authors will be invited to contribute to post-proceedings to be published online by Electronic Proceedings in Theoretical Computer Science (EPTCS, http://www.eptcs.org/) --------------------------------------- ** INVITED SPEAKER ** * Elizabeth Dinella (University of Pennsylvania, USA) – graph-based machine learning in program transformation and analysis --------------------------------------- ** PROGRAMME COMMITTEE ** Confirmed programme committee members at the time of this call include: * Andrea Corradini, Università di Pisa, Italy * Frank Drewes, Umeå University, Sweden * Annegret Habel, University of Oldenburg, Germany * Reiko Heckel (co-Chair), University of Leicester, UK * Berthold Hoffmann, University of Bremen, Germany * Barbara König, University of Duisburg-Essen, Germany * Leen Lambers, Brandenburgische Technische Universität Cottbus-Senftenberg, Germany * Mark Minas, Universität der Bundeswehr München, Germany * Fernando Orejas, Universitat Politècnica de Catalunya, Spain * Detlef Plump, University of York, UK * Chris Poskitt (co-Chair), Singapore Management University, Singapore --------------------------------------- ** ORGANISERS ** * Reiko Heckel (rh122(a)leicester.ac.uk) * Chris Poskitt (cposkitt(a)smu.edu.sg) For more information, please visit the official workshop website at: https://gcm2022.github.io/ --------------------------------------- Professor Reiko Heckel School of Computing and Mathematical Sciences, University of Leicester, LE1 7RH TEL: +44 (0)116 252 3406 Email: rh122(a)le.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

2 Lecturer posts in Computing at Leicester
by Heckel, Reiko (Prof.) 31 Mar '22

31 Mar '22

2 Lecturer posts in Computing at Leicester in AI, SE, Autonomous Systems, Digital Twins, Space The School of Computing and Mathematical Sciences focusses on excellence in everything we do. Working hard together, our ambitious staff and students work in cooperation to deliver research, teaching and learning of the highest quality. The School provides a rich and culturally diverse environment where both students and staff can thrive in a demanding yet cooperative and friendly atmosphere. The School of Computing and Mathematical Sciences has recently been formed, with a strategic focus in Artificial Intelligence, Data Science, Computational Modelling and Digitalisation. The School has research links with Space Park Leicester, the Leicester Institute for Precision Medicine and the Department of Genetics & Genome Biology at the University of Leicester, and is a founding member of the College of Science and Engineering’s Centre for AI, Data Analytics and Modelling. The excellence of the School’s research has been confirmed in the last two national research assessment exercises (in 2008 and 2014). In each exercise, 95% of our research was judged to be of international quality, 65% was judged to be internationally leading, and over 20% of our research outputs world-leading. In teaching, we aim to deliver an outstanding student experience, with a wide range of modern undergraduate and postgraduate programmes along with doctoral research, all responsive to a competitive and rapidly changing discipline. Our teaching is founded on strong pedagogical principles, together with a unique approach to staff/student engagement and active learning. We will consider all candidates whose research focuses on one or more of the following areas: o Artificial Intelligence o Autonomous Systems o Dynamics, Guidance and Control Relevant to Space o Software Engineering o Digital Twins, Augmented Reality and Virtual Reality You will conduct high-level research and teaching whilst generating funding through grants, consultancy and knowledge transfer activities. You will give lectures, seminars and tutorials, especially in areas across the School’s undergraduate and postgraduate curriculum. Your research will result in significant contributions to papers in leading international conferences and journals, whilst helping to build your relationships with external partners to support knowledge transfer and impact outside academia. You will work in a very supportive environment with research and teaching mentoring. At the heart of the UK, the University of Leicester is a research-intensive university. Different areas of activity are balanced by a workload model to ensure fair and transparent balance between staff and different areas of activity. About you In addition to being engaged in innovative learning and teaching that engages and inspires students, you will already have an established reputation for research, with a strong record of publications (appropriate to your level of experience) in peer reviewed journals and conferences of substantial international standing. You will have excellent networking skills which you use to seek out opportunities for collaboration and citizenship, both internally and externally. You will also be able to demonstrate the ability to generate external funding through research grants, contracts or other sources. Finally, you will have a track record of engaging with a range of communities related to your research and teaching interests, including external organisations and companies. Additional information For informal enquiries, please contact Professor Lu Liu, Head of School of Informatics on +44 (0)116 252 3813 or l.liu(a)leicester.ac.uk. The University of Leicester has been changing the world, and changing people’s lives, for 100 years. When you join us, you’ll become part of a community of Citizens of Change<https://www.youtube.com/watch?v=2Qh_-e52YRk>, which includes not only our staff and our current students but also thousands of Leicester graduates around the world. As a diverse and forward-thinking employer, we embed the principles of equality, diversity and inclusion into everything we do. That includes not just our core missions of teaching and research, but also our support for staff, students and our local community. We’re committed to the wellbeing of all our staff and to the sustainability of our environment, on our campus and beyond. We offer a competitive salary package, excellent pension scheme and a generous annual leave allowance, along with opportunities to develop your career in a supportive and collaborative environment. On 30/03/2022, 21:45, "Liu, Lu (Prof.)" <l.liu(a)leicester.ac.uk> wrote: Dear colleagues, I hope you are well. As mentioned in the school staff meeting, two Lecturer posts in Computer Science are being advertised: https://jobs.le.ac.uk/vacancies/4930/lecturer-in-computer-science-teaching-… Many thanks. Best wishes, Lu [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Structure meets Power workshop 2022
by Tomáš Jakl 31 Mar '22

31 Mar '22

**************************************** * STRUCTURE MEETS POWER 2022 * * (an ICALP workshop) * * * * Call for Contributions * **************************************** Workshop dates: 4 July 2022 (Paris and online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2022 Scope ----- There is a remarkable divide in the field of logic in Computer Science, between two distinct strands: one focusing on semantics and compositionality (???Structure???), the other on expressiveness and complexity (???Power???). These two fundamental aspects of our field are studied using almost disjoint technical languages and methods, by almost disjoint research communities. We believe that bridging this divide is a major issue in Computer Science, and may hold the key to fundamental advances in the field. The aim this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested on establishing new connections. This is an ICALP 2022 affiliated workshop. This will be a hybrid event, however, on site participation is highly recommended. Important dates --------------- Abstract submission: 20 May 2022 Author notification: 5 June 2022 Registration: 20 June 2022 Invited speakers ---------------- * Libor Barto (Charles University) * Sandra Kiefer (RWTH Aachen University) * Bartek Klin (University of Oxford) Submissions ----------- Those wishing to speak at the workshop are invited to submit an Extended Abstract of up to three pages (including references) describing the content of the contributed presentation. Submissions should only have a single author -- the speaker. The co-authors are required to be clearly indicated in the abstract and later also in the slides. For submissions please use the EasyChair conference system: https://easychair.org/conferences/?conf=smp2022 We encourage talks of all levels of progress, including novel contributions, already published results, work in progress, as well as survey-type contributions. However, original contributions might be considered for a subsequent special issue, consisting of journal versions of selected extended abstracts. Depending on the number of submissions, contributed talks will be 20-30 minutes long. Registration ------------ TBA later Organising and Programme Committee: ----------------------------------- * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
by Marco Maggesi 30 Mar '22

30 Mar '22

We are pleased to announce the School on Univalent Mathematics 2022, to be held at the Palazzone di Cortona (https://www.sns.it/en/palazzone-di-cortona) Cortona, Italy, July 17-23, 2022 (https://unimath.github.io/cortona2022/) Overview ======== Homotopy Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics based on ideas from homotopy theory, such as the Univalence Principle. The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. It is based on the computer proof assistant Coq. In this school, we aim to introduce newcomers to the ideas of Univalent Foundations and mathematics therein, and to the formalization of mathematics in UniMath (https://github.com/UniMath/UniMath) a library of Univalent Mathematics based on the Coq proof assistant. Format ======= Participants will receive an introduction to Univalent Foundations and to mathematics in those foundations. In the accompanying problem sessions, they will formalize pieces of univalent mathematics in the UniMath library. Prerequisites ========== Participants should be interested in mathematics and the use of computers for mathematical reasoning. Participants do not need to have prior knowledge of logic, Coq, or Univalent Foundations. Application and funding ======================= For information on how to participate, please visit https://unimath.github.io/cortona2022. The application deadline is 15 April 2022. Best regards, The organizers Benedikt Ahrens and Marco Maggesi [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Final Call for Papers -- Mathematics of Program Construction 2022
by Daggitt, Matthew 29 Mar '22

29 Mar '22

====================================================================== *** FINAL CALL FOR PAPERS -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction<https://www.macs.hw.ac.uk/mpc22/> 26th-28th of September 2022, Tbilisi, Georgia Co-located with the Computational Logic Autumn Summit<http://viam.science.tsu.ge/clas2022/> (CLAS'22) ====================================================================== TIMELINE: Abstract submission 10th April 2022 Paper submission 17th April 2022 Author notification 27th May 2022 Camera ready copy 24th June 2022 Conference 26th-28th September 2022 BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the Computational Logic Autumn Summit<http://viam.science.tsu.ge/clas2022/> (CLAS'22). Previous conferences were held in Porto, Portugal (2019); Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 10th April 2022. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 17th April 2022. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2022 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2022 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Ekaterina Komendantskaya <ek19(a)hw.ac.uk> or publicity chair Matthew Daggitt <M.Daggitt(a)hw.ac.uk> KEYNOTE SPEAKERS: Daniela Petrisan University Paris Diderot, France Conor McBride University of Strathclyde, UK PROGRAMME COMMITTEE: Georg Struth University of Sheffield, UK Ana Sokolova University of Salzburg, Austria Annabelle McIver Macquerie University, Australia Jacques Carette McMaster University, Canada Shin-Cheng Mu Academia Sinica, Taiwan Jose Oliveira University of Minho, Portugal Johan Jeuring Utrecht University, Netherlands Ambrus Kaposi Eötvös Loránd University, Hungary Henning Basold Leiden University, Netherlands Peter Hoefner Australian National University, Australia Grant Passmore Imandra, USA Kathrin Stark Princeton University, USA Philip Saville University of Oxford, UK William Byrd University of Arizona, USA Andrea Costea National University of Singapore, Singapore Radu Mardare University of Strathclyde, UK Patricia Johann Appalachian State University, USA Aurore Alcolei University of Bologna, Italy Abdulaziz Mohammad TU Munich, Germany CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State University (TSU), which is the oldest and largest educational and research institution not only in Georgia, but also in the South Caucasus. The venue is located in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) within walking distance. Tbilisi International Airport is 15 km away from the city and offers direct connections to more than 30 destinations in Europe, Asia, and the Middle East. From the airport, the city can be reached by bus or taxi. Another option is to fly to Kutaisi in the west of Georgia, where low budget air companies (such as WizzAir) are operating. A shuttle bus from the Kutaisi airport to Tbilisi takes about 3 hours. Georgia allows visa-free entry for nearly 100 countries around the world. Further details may be found at <https://www.geoconsul.gov.ge/HtmlPage/Html/View?id=956&lang=Eng> LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besik Dundua <bdundua(a)ibsu.edu.ge>. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PLP 2022 - Call for Papers
by V??ctor P??rez 29 Mar '22

29 Mar '22

================================================================================ PLP 2022 The 9th Workshop on Probabilistic Logic Programming Collocated with ICLP 2022 Haifa, Israel, 1 August 2022 http://stoics.org.uk/~plp2022/ ================================================================================ Call for Papers =============== Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory as well as algorithms that operate over programs in these formalisms. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be run over programs that represent highly structured probability spaces. Partly due to logic programming's strong theoretical underpinnings, PLP is fast becoming a very well founded area of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of a large number of possible states before any answers can be produced thus breaking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. It aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. Interactions between theoretical and applied minded researchers are encouraged. Topics of Interest ------------------ This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to probabilistic logic programming; including, but not limited to: * probabilistic logic programming formalisms * probabilistic logic programming languages * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * neuro-symbolic representation and reasoning * constraints in statistical inference * PLP applications, such as bioinformatics, semantic web, robotics,... * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software along with any other PLP-related topic. Submissions --------------- Submissions will be managed via EasyChair: https://easychair.org/conferences/?conf=plp22. Contributions should be prepared in the 1-column CEURART style (also available as an overleaf project https://www.overleaf.com/project/5e76702c4acae70001d3bc87) A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-15 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Important Dates --------------- Paper submission deadline: June 10th, 2022 Notification: July 10th, 2022 Camera Ready: July 20th, 2022 Workshop: August 1st, 2022 (the deadline for all dates is intended Anywhere on Earth (UTC-12)) Program Chairs --------------- * Roberta Calegari <roberta.calegari(a)unibo.it> * Luke Dickens <l.dickens(a)ucl.ac.uk> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TACL 2022: Abstract submission deadline/ Registration is open
by TACL2022 29 Mar '22

29 Mar '22

=================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022) Abstract submission deadline: March 31/ Registration is open =================================================== Conference: June 20-24, 2022 in Coimbra School: June 13-18, 2022 in Praia de Mira https://www.mat.uc.pt/~tacl2022 Organized by the Centre for Mathematics (CMUC) and the Department of Mathematics (DMUC) of the University of Coimbra CONFERENCE Important dates --------------------- Contributed talks: Submission deadline: March 31, 2022 Notification to authors: April 22, 2022 Registration is now open. The registration fee includes the welcome reception, coffee-breaks, lunches, excursion, and the conference dinner at S??o Marcos Palace (https://www.portugalfinest.pt/places/palacio-sao-marcos) Academic registration: 150 euros (early registration: until May 15); 200 euros (after May 15) Student registration: 100 euros (early registration: until May 15); 150 euros (after May 15) SCHOOL Registration is now open. The registration fee (260 euros) includes shared accommodation in double rooms in Flag Hotel Miravillas, the welcome dinner, lunches, coffee-breaks and the transport from Coimbra to Praia de Mira (note that the number of spaces in the school is limited). In case you want to book another type of accommodation, please send an email to <tacl(a)mat.uc.pt> before register. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PSSL106 - Second announcement
by bourkej 28 Mar '22

28 Mar '22

Dear friends and colleagues, I am just writing to remind you that the deadline for submitting a talk at the upcoming PSSL in Brno is this Friday, April 1st. The PSSL 106 (in honour of Jiri Rosicky in his 75th year) will be held at Masaryk University, Brno in the Czech Republic on the weekend of May 14th-15th, 2022. The meeting will be in hybrid form - as well as taking place in-person, there will also be the opportunity to attend / give a talk online. Talks are invited on any topic related to category theory and its applications, and in keeping with the tradition of the PSSL, we encourage talks by young researchers. Further information about registration, transport and accommodation can be found on the webpage http://www.math.muni.cz/~bourkej/PSSL106.html and we will add further updates there. We look forward to seeing you in Brno! On behalf of the organisers, John Bourke. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

post-doc & programmer positions in Tokyo, Japan
by Ichiro Hasuo 25 Mar '22

25 Mar '22

Dear all, We have two open positions (post-doc and a scientific programmer) at NII, Tokyo, Japan. The scope is the combination of logic and optimization metaheuristics. They are funded by the ERATO MMSD project (extended till March 2025). Please find further details at https://group-mmm.org/eratommsd/open-positions/ Thanks a lot for your consideration. Best, Ichiro ====== 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