[DMANET] CASC 2026 - Call for Participation - Registrations Are Open

REGISTRATIONS ARE OPEN The 28th International Workshop in            Computer Algebra in Scientific Computing                          CASC  2026                         Bath, UK                  31 August - 4 September 2026                 http://www.casc-conference.org ############################################################ The tools of Scientific Computing play an important role in the natural sciences and engineering. Computer Algebra Systems and the underlying algorithms for Symbolic Computation play an increasingly important role within Scientific Computation. The CASC workshop series has been running for two and a half decades to explore the interaction of these topics, their implementation, and their application. The 28th CASC workshop will be held in Bath, UK from 31st August - 4th September 2026.  There will be three invited talks, along with a program of contributed talks. Registration for the conference is now open. All registrations must be completed online. More details about the registration and the registration link can be found at https://casc-conference.org/registration.html CASC 2026 also welcomes posters. Participants who wish to present a poster during the conference are encouraged to bring one for display. ##################################### SCOPE ##################################### The topics addressed in the workshop cover the following. (1) The theory of symbolic computation and its implementation in computer algebra systems. This includes, but is not limited to: - new methods in exact computation; - symbolic algorithms and their complexity; - automated reasoning in algebra and geometry; - parallel symbolic / symbolic-numeric computation; - symbolic / symbolic-numeric methods for differential, differential-algebraic and difference equations; - symbolic / symbolic-numeric methods for polynomial equations and inequalities; and - the embedding of computer algebra technology within different software and hardware environments. (2) All other areas of scientific computing in regards to their benefit from or use  of computer algebra methods and software. This includes, but is not limited to: - the use of computer algebra in approximate computation; - computer algebra methods in big data analytics; and - computer algebra methods for simulation and modelling. (3) Applications of the above throughout the natural sciences and engineering. We welcome papers on both fundamental research and implementation issues. We also accept survey papers but these MUST BE CLEARLY LABELLED as such in the title. ##################################### CONFERENCE PARTICIPATION OPTIONS ##################################### We encourage wide participation at the workshop. In light of this, and that the conference scope spans computer science and mathematics (with their different publication traditions), we offer a variety of participation options. 1. Participation with an accompanying paper in LNCS: CASC has a long running relationship with the Springer book series Lecture Notes in Computer Science to publish conference proceedings. Work submitted here should contain an original research result Submissions should be prepared in the LNCS style and not exceed 20 pages. Survey papers may have up to 25 pages. 2. Participation with abstract only: Participants may opt to submit an extended abstract instead. These should have at least 2 and at most 4 pages in the LNCS style. They must contain the main results of the talk (without proofs). They will be lightly reviewed and distributed locally at the conference. We see three main audiences for this option: - Those who wish to talk on previously published work (in which case that work should be clearly cited in the abstract). - Those whose work is not yet ready for publication, but wish to receive feedback. - Those who plan to submit a journal paper on the work shortly. For the second group, there will be a subsequent journal special issue call after the conference (see below). ##################################### SUBMISSION LINK ##################################### All submissions should be done via easychair: https://www.easychair.org/conferences/?conf=casc2026 Submissions must be prepared in the LNCS style and within the declared page count. ##################################### IMPORTANT DATES ##################################### Paper submission deadline: May 4th, 2026. Submission of extended abstracts will be open until May 11. Notification to Authors: May 31st, 2026 Submission of Final Version: June 5th, 2026 Conference: August 31 – September 4, 2026 ##################################### ACCOMPANYING SPECIAL ISSUE OF MATHEMATICS IN COMPUTER SCIENCE ##################################### CASC has formed a relationship with the Springer Birkhäuser journal Mathematics in Computer Science (MCS) for an ongoing series of special issues on topics presented at CASC. Work submitted here must be of journal quality and will be reviewed to the usual standards of MCS. Submission will be opened after the conference for authors of extended abstracts presented at that year’s conference. There is no a priori page limit, but the length must be justified by the contents of the paper. At notification authors may be asked to revise their paper for a secondary deadline. Deadline for MCS Special Issue submission: Autumn 2026 MCS submission is only open if an extended abstract is presented at the conference - eligible authors will be sent a separate submission link for this after the conference. ##################################### INVITED TALKS ##################################### Carsten Schneider, Director of Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria Joseph Tooby-Smith, University of Bath, UK Thi Xuan Vu - Université de Lille, France ##################################### COMMITTEES ##################################### Program Committee Chairs     Ali Kemal Uncu - University of Bath, UK     Chenqi Mou - Beihang University, China Program Committee     Francois Boulier - Université de Lille, France     Florent Bréhard – Laboratoire CRIStAL, France     Changbo Chen - Chinese Academy of Sciences, China     Victor F. Edneral - Lomonosov Moscow State University, Russia     Matthew England - Coventry University, UK     Jonathan Hauenstein - University of Notre Dame, USA     Rui-Juan Jing - Jinagsu University, Chin     François Lemaire – Laboratoire CRIStAL, France     Fatemeh Mohammadi – KU Leuven, Belgium     Michael Monagan - Simon Fraser University, Canada     Marc Moreno Maza - University of Western Ontario, Canada     Chenqi Mou - Beihang University, China     Katsusuke Nabeshima - Tokyo University of Science, Japan     Sonia Perez-Diaz - Universidad de Alcala, Spain     Daniel Robertz - RWTH Aachen University, Germany     Timur Sadykov - Plekhanov Russian University, Russia     Éric Schost - University of Waterloo, Canada     Thomas Sturm - CNRS, France     Sergue Vinitsky - Joint Institute for Nuclear Research, Russia     Victor Selivanov - A.P. Ershov Institute of Informatics Systems, Russian Academy of Sciences, Russia     Svetlana Selivanova - KAIST, South Korea     Akira Terui - University of Tsukuba, Japan     Ali Kemal Uncu - University of Bath, UK General Chairs     François Boulier – University of Lille, France     Timur Sadykov - Plekhanov Russian University, Russia Publicity Chairs     Thi Xuan Vu - Université de Lille, France     Dmitry Lyakhov - KAUST, Saudi Arabia Advisory Board     Wolfram Koepf - University of Kassel, Germany     Ernst W. Mayr - Technical University of Munich, Germany     Werner M. Seiler - University of Kassel, Germany     Evgenii V. Vorozhtsov - Khristianovich Institute of Theoretical and Applied Mechanics, Russia Local Organisation     James Davenport - University of Bath, UK     Ali Kemal Uncu - University of Bath, UK ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] LPNMR 2026: Call for Participation

*** Please accept our apologies if you receive multiple copies of this Call for Participation *** ==================================================== LPNMR 2026: Call for Participation 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026) Klagenfurt, Austria | September 7-11, 2026 Website: https://lpnmr2026.aics.aau.at Contact us: lpnmr2026@easychair.org ==================================================== We are pleased to invite you to participate in the 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026). The conference will take place at the University of Klagenfurt, Austria, from September 7 to September 11, 2026. The event will include: - 3 Invited Talks given by Chitta Baral, Elena Bellodi and Thomas Eiter - 33 Paper Presentations (28 regular papers, 4 short papers, 1 recently published research paper) - 6th International Workshop on the Resurgence of Datalog in Academia and Industry (DATALOG 2.0): https://sites.google.com/view/datalog-2-0-2026 - 5th International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA): https://sites.google.com/unical.it/hydra-2026 - Doctoral Consortium: https://sites.google.com/unical.it/dclpnmr2026 The (preliminary) conference program is available at EasyChair: https://easychair.org/smart-program/LPNMR2026/ Registration to LPNMR 2026, with early registration by *August 16*, is open at: https://conference3.aau.at/event/316/registrations/328/ Limited NSF support to attend LPNMR 2026 will be provided to *US-based students*. If eligible, please complete the following form: https://forms.gle/mmGX1tEB621LkJFZA ==================================================== AIMS AND SCOPE ==================================================== LPNMR 2026 is the eighteenth in the series of international conferences on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2026 aims to bring together researchers from LPNMR and neighboring areas in order to share research experiences, promote collaboration and identify directions for joint future research. ==================================================== VENUE ==================================================== LPNMR 2026 will be held on the campus of the University of Klagenfurt in September 2026. Klagenfurt is the capital of the state Carinthia in the south of Austria. The name Klagenfurt was first mentioned in the late 12th century and legend has it that Klagenfurt was founded after a couple of brave men had slain the abominable Lindwurm, a winged dragon. The city is located next to the lake Woerthersee, one of the most beautiful lakes in Austria, surrounded by several forest-covered hills and mountains. Being a small city, with a Renaissance-style city center reflecting 800 years of history and with an Italian influence, Klagenfurt is a pleasant place to live and work. ==================================================== ORGANISING COMMITTEE ==================================================== General Chair: Wolfgang Faber, University of Klagenfurt, Austria Program Co-chairs: Martin Gebser, University of Klagenfurt, Austria Yanhong Annie Liu, Stony Brook University, USA -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000> ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] GeMAIHc 2027: early registration August 5

******************************************************** 1st INTERNATIONAL SCHOOL ON GENERATIVE & MULTIMODAL AI FOR HEALTHCARE GeMAIHc 2027 Milan, Italy February 1-5, 2027 https://gemaihc.irdta.eu/2027/ ******************************************************** Co-organized by: Human Technopole IRDTA – Institute for Research Development, Training and Advice ****************************************************** Early registration: August 5, 2026 ****************************************************** SCOPE AI is rapidly redefining biomedical research, clinical decision-making, and healthcare delivery worldwide. GeMAIHc 2027 will provide participants with a comprehensive overview of state-of-the-art AI methodologies. Topics will include generative modelling, multimodal data integration and augmentation, large language models and clinical NLP, medical image synthesis and analysis, as well as evaluation, robustness, validation, ethical considerations, and regulatory aspects of AI systems in healthcare. GeMAIHc 2027 aims to become a leading international forum at the intersection of generative AI, multimodal learning, and healthcare innovation. The program will emphasize both methodological foundations and real-world clinical applications, combining theoretical insights with practical perspectives. This interdisciplinary event will feature 18 monographic three-hour courses, 2 keynote lectures, 1 symposium, 4 local presentations, and hands-on activities with a hackathon. Leading academics and industry pioneers will share their expertise and perspectives with attendees. In-person interaction and networking will be central components of the event, while full remote participation will also be possible. ADDRESSED TO The program is open to PhD students and postdoctoral researchers in AI, data science, and biomedical disciplines, clinicians and healthcare professionals, industry practitioners and innovators, and policymakers and stakeholders in digital health. There are no formal academic prerequisites for participation. Researchers and professionals at all career stages are welcome. An international audience is expected, with backgrounds spanning computer science, medicine, engineering, mathematics, statistics, physics, and the social sciences. GeMAIHc 2027 will offer a unique opportunity to gain in-depth knowledge of a rapidly evolving field, to interact with experts across disciplines, to establish collaborations and expand professional networks, and to explore how AI is reshaping the future of healthcare. VENUE GeMAIHc 2027 will take place in Milan, one of Europe’s leading international centers for science, industry, fashion, and finance. The venue will be: Human Technopole Viale Rita Levi-Montalcini, 1 20157 Milan, Italy https://humantechnopole.it/en/ STRUCTURE Three parallel courses will run throughout the event. Participants will be free to choose the sessions they wish to attend and may move between courses at any time. A symposium will offer participants and companies the opportunity to present ongoing research or industrial developments through 10-minute oral presentations. The school will include a hackathon, during which participants will work in teams to tackle challenges in generative and multimodal AI for healthcare. All lectures will be video recorded and made available to participants for 45 days after the event. Full live online participation will be possible. Nevertheless, the organizers emphasize the importance of in-person interaction and networking in research training events of this kind. KEYNOTE SPEAKERS Deborah Estrin (Cornell University), Transforming Longitudinal Care with Digital Biomarkers and Therapeutics Lyle Palmer (Adelaide University), Deep Learning in Medicine: Some Lessons from Epidemiology and Genomics PROFESSORS AND COURSES (list to be completed) Pierre Baldi (University of California Irvine), [introductory/advanced] The AI-driven Healthcare of the Future Alejandro Frangi (University of Manchester), [intermediate/advanced] Virtual Patient Populations for In Silico Trials Using Generative AI Based on Multimodal Real-World Data Charles Friedman (University of Michigan), [introductory] Synergizing AI and Learning Health Systems to Transform Health Judy Wawira Gichoya (Emory University), [introductory/advanced] Combination in a Hands on Lab for Harmonizing Radiology Datasets Maryellen Giger (University of Chicago), [introductory/intermediate] Role of Data & Algorithms in Trustworthy Medical Imaging AI Casey Greene (University of Colorado), [introductory/advanced] Translating Generative AI into Healthcare from Pharmacogenomics to Foundation Models Tina Hernandez-Boussard (Stanford University), [intermediate/advanced] The AI Lifecycle in Healthcare: Evaluation, Deployment, and Responsible Implementation Jianying Hu (IBM Thomas J. Watson Research Center), [intermediate/advanced] Advanced Computing for Biomedical Research and Discovery Jayashree Kalpathy-Cramer (University of Colorado), [introductory] Toward Digital Twins: Multimodal AI for Imaging and Precision Medicine Alex John London (Carnegie Mellon University), [intermediate/advanced] Ethical and Scientific Challenges to Unlocking the Clinical Value of Artificial Intelligence Tom Pollard (Massachusetts Institute of Technology), tba Hoifung Poon (Microsoft Research), [advanced] Toward Virtual Patient: AI for Accelerating Medical Discovery Jian Tang (Mila-Québec AI Institute), [introductory/advanced] Generative AI for Protein Design Peter van Ooijen (University of Groningen), [intermediate] Multimodal AI for Adaptive Radiotherapy: Tumor Segmentation, Uncertainty, and Explainability Karin Verspoor (Royal Melbourne Institute of Technology), [introductory/intermediate] AI Scientists and beyond: Roles for GenAI in Biomedical Research and Discovery Jelmer M. Wolterink (University of Twente), [intermediate/advanced] Data Representations in Health Digital Twinning: From Features to Foundation Models SYMPOSIUM A symposium will feature voluntary 10-minute oral presentations on ongoing research projects and industrial developments. Participants interested in presenting should submit a one-page abstract including title, authors, and summary to david@irdta.eu by January 8, 2027. HANDS-ON ACTIVITIES Hands-on team activities will be organized around challenges in generative and multimodal AI for healthcare. The challenges will be released two weeks before the beginning of the school. A jury will evaluate the submissions, and the winners will be announced at the end of February 2027. Winning teams will receive a modest monetary prize, while runners-up will receive certificates of recognition. ORGANIZING COMMITTEE Jan Funke (Milan) Ilaria Guerini (Milan) Francesca Ieva (Milan) Carlos Martín-Vide (Tarragona, program chair) Michela Carlotta Massi (Milan, local chair) Santiago Montes (Tarragona, webpage) Sara Morales (Luxembourg, finances) David Silva (London, organization chair) REGISTRATION Registration is available at: https://gemaihc.irdta.eu/2027/registration/ The selection of six courses requested during registration is tentative and non-binding. This information will help estimate demand for logistical planning purposes. As venue capacity is limited, registrations will be processed on a first-come, first-served basis. Registration will close once capacity has been reached. Early registration is strongly recommended. FEES Registration fees include access to all school activities and lunches. Several early registration deadlines are available, and fees vary depending on the registration period. Fees are identical for on-site and online participation. ACCOMMODATION Accommodation suggestions will be provided in due time at: https://gemaihc.irdta.eu/2027/accommodation/ CERTIFICATE Participants will receive a certificate indicating 40 hours of academic activities. This certificate should be suitable for participants seeking ECTS recognition from their home institutions. SPONSORS Companies, institutions, and organizations interested in sponsoring the event may download the sponsorship leaflet from: https://gemaihc.irdta.eu/2027/sponsors/ QUESTIONS AND FURTHER INFORMATION david@irdta.eu ACKNOWLEDGMENTS Human Technopole Universitat Rovira i Virgili IRDTA – Institute for Research Development, Training and Advice ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Professorship (W2) in Algorithms and Complexity at University of Kaiserslautern-Landau

============================================================================== W 2 Professorship in Computer Science with a focus on "Algorithms and Complexity" (m/f/d) RPTU University Kaiserslautern-Landau ============================================================================== POSITION DETAILS: Term: Lifetime civil servant Start: At the next possible date Location: Kaiserslautern Scope: Full time Salary: W 2 LBesG Faculty: Computer Science ============================================================================== ABOUT THE INSTITUTION: With about 15,000 students, more than 300 professorships and around 160 degree programs, the RPTU University Kaiserslauterns-Landau is the technical university of the state of Rhineland-Palatinate. As a place of top international research, it offers excellent working conditions and career opportunities. Those who study, research or work at RPTU experience a cosmopolitan environment and shape the future. Kaiserslautern is one of the most important computer science locations in Germany. The Department of Computer Science at RPTU at campus Kaiserslautern (until 2022 TU Kaiserslautern) combines fundamentals in research and education with excellence in application and regularly achieves top positions in relevant rankings. There are many opportunities for cooperation with affiliated research institutes such as the German Research Center for Artificial Intelligence (DFKI), the Fraunhofer Institute for Experimental Software Engineering (IESE), and the Max Planck Institute for Software Systems (MPI-SWS). ============================================================================== YOUR TASKS: The successful candidate should represent the field of "Algorithms and Complexity" in research and teaching. The department of computer science is seeking qualified candidates for a professorship in the area of algorithms and complexity, where connection to algorithmic verification is desirable. The position is a tenured professorship at the salary level W2, equivalent to an associate professorship, and is to be filled as soon as possible. Suitable candidates should have a track record of recognized, internationally visible scientific achievements. Research areas of specific interest include, among others: • Quantum Algorithms and Complexity • Randomized Algorithms • Approximate Algorithms • Computational Learning Theory • Complexity Theory • Algorithmic Algebra • Fine-Grained Complexity • Algorithms in connection to formal verification • Algorithms in connection to software engineering ============================================================================== YOUR PROFILE: We expect excellent and internationally visible research performance, expressed through publications of high-rated conferences and journals (e.g., FOCS, STOC, SODA, ICALP, LICS, POPL, PODS, PODC, COLT). In addition to outstanding scientific qualifications, experience in acquiring and implementing third-party funded projects is highly desirable. We expect applicants to outline how their research experiences and future plans will complement or augment existing expertise present at the chairs of the department of computer science and related research institutes at the RPTU campus in Kaiserslautern. Successful candidates are expected to develop independent and creative research programs. Applicants are further expected to have excellent didactic skills and teaching experience. Courses in the Bachelor's program are held in German, while courses in the Master's program are typically taught in English. In particular, we expect candidates to be willing to teach both introductory lectures and advanced courses, especially in the areas of algorithms and complexity, in support of the department's Bachelor and Master programs in Computer Science. Initial knowledge of the German language is optional, but it is expected that professors are able to hold courses in German within 1-2 years after their hiring. The state of Rhineland-Palatinate and RPTU advocate a supervision concept in which a high level of presence of teaching staff at the university location is expected. In addition to the general employment requirements, the employment requirements set out in Section 49 of the Rhineland-Palatinate Higher Education Act apply. RPTU stands for the diversity of all employees. We welcome applications from all interested parties, regardless of their ethnic and social origin, age, religion, gender, disability and sexual orientation or identity. Severely disabled persons and persons with equivalent status will be given preference if they are suitably qualified and suitable (please enclose proof of severe disability/equal status with your application). RPTU strives to increase the proportion of women in areas in which women are underrepresented. Applications from female and male scientists from abroad are expressly encouraged. ============================================================================== YOUR APPLICATION: We look forward to receiving your detailed application no later than 17.08.2026. Application talks are planned to be held at the end of August till beginning of October, 2026. Please submit your application via the 'Online Application' button below or through our application portal (https://jobs.rptu.de), including a curriculum vitae, a description of past and future research interests, information on previous teaching experience and third-party funding acquisition, as well as a list of publications and up to four original research papers. If you have any questions, please contact Prof. Dr. Anthony Lin (lin@cs.uni-kl.de) ============================================================================= ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] PhD Position in Mathematical Phylogenetics at the University of Auckland, New Zealand

PhD Scholarship in Mathematical Phylogenetics One full-time PhD scholarship is available in the School of Computer Science at the University of Auckland, New Zealand. The successful applicant will work on combinatorial and algorithmic questions related to phylogenetic networks, which are used to analyse and represent the evolutionary histories of biological entities such as species, viruses, and populations. A particular focus of the project are phylogenetic networks with directed and undirected edges. The exact questions to be investigated will be discussed with the PhD student to suit their interest and skillset. Requirements. A successful applicant has a Masters or Honours degree in mathematics or computer science, and a strong background in at least one of graph theory, combinatorics, algorithms, and theoretical computer science. Some knowledge of phylogenetics would be helpful, but is not a strict requirement. Candidates must also be eligible for admission to the PhD program at the University of Auckland. For more information on postgraduate studies at the University of Auckland, see the following link: https://www.auckland.ac.nz/en/study/study-options/find-a-study-option/doctor-of-philosophy-phd.html. Scholarship. The PhD scholarship is funded by the New Zealand Marsden Fund and available from January 2027 onwards. The scholarship is for three years, and covers tuition fees and an annual tax-free allowance of NZ$35,000. The successful applicant will be supervised by Dr Simone Linz. Application. To apply, please email your CV and academic transcript, a short statement of research interests, and names and contact details of two referees to Simone Linz (s.linz@auckland.ac.nz). Informal inquiries can be directed to the same email address. Applications will be accepted until the position is filled. Dr Simone Linz School of Computer Science University of Auckland, New Zealand s.linz@auckland.ac.nz https://simonelinz.wordpress.com ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: Computable90, UK, 16-18 September 2026

Dear all, We are pleased to announce that Computable90, a conference in honor of the 90th anniversary of Alan Turing's article "On Computable Numbers, with an Application to the Entscheidungsproblem," will take place 16-18 September 2026 at Bletchley Park. The Computable90 website is https://www.tnmoc.org/computable90-conference The Computable90 conference is the flagship launch for the Computable90 program of events, exhibitions, talks, challenges, workshops and more presented by The National Museum of Computing. See https://www.tnmoc.org/computable90 for more information. The Computable90 conference consists of: * A public lecture, "Reading Alan Turing," by Prof Avi Wigderson (Abel Prize and ACM Turing Award winner), on the evening of Thursday 17 September * Plenary lectures * Panel sessions on Turing's mathematical impact and on his historical impact * A poster session * Admission to Bletchley Park and The National Museum of Computing Confirmed speakers include: * Prof Verónica Becher (Universidad de Buenos Aires) * Prof Rod Downey (Victoria University of Wellington) * Prof Juliet Floyd (Boston University) * Prof Julia Knight (University of Notre Dame) * Prof Michael Rathjen (University of Leeds) * Prof Avi Wigderson (Institute for Advanced Study, Princeton) The full program, including speakers' abstracts, is available on the conference website. Key dates and deadlines: * 31 July 2026: Early bird registration deadline * 16-18 September 2026: Computable90 conference Registration links: * Conference: https://www.eventbrite.com/e/1837259555789 * Public lecture: https://www.eventbrite.com/e/1987092132058 Proximate event: Computable90 is proximate to the conference Computability, Complexity, and Randomness 2026, which will be held 7-11 September 2026 at the University of Leeds. The CCR 2026 website is https://www.computability.org/ccr2026/ Computable90 is supported by the London Mathematical Society, the Bletchley Park Trust, The National Museum of Computing, and the Heilbronn Institute for Mathematical Research. With best wishes, John Lapinskas on behalf of the Computable90 organizers ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Assistant Professor position at the Jagiellonian University in Krakow

The Jagiellonian University in Krakow (Poland) announces a call for the position of Assistant Professor (Adiunkt) in the Theoretical Computer Science Department at the Faculty of Mathematics and Computer Science. The department brings together researchers working in diverse areas of discrete mathematics and theoretical computer science; see: https://tcs.uj.edu.pl/en_GB/ The call is open to individuals who meet the requirements of the Law on Higher Education and Science (Act of July 20, 2018, Art. 113 and 116, par. 2) and the following qualification criteria: * hold at least a doctoral degree; * have relevant academic achievements; * actively participate in academic life; * have teaching experience. Required application documents: 1. Resume; 2. Personal questionnaire; 3. Copy of the master's, doctoral, or habilitation diploma, whichever is applicable; 4. Information on the candidate's scientific, teaching, and organizational achievements; 5. A statement that the Jagiellonian University will be the candidate's primary place of employment if selected; 6. A statement pursuant to Art. 113 of the Law on Higher Education and Science; 7. Declaration of knowledge and acceptance of the principles of intellectual property management and commercialization at the Jagiellonian University; 8. Research plan; 9. List of publications (including publisher information and page counts); 10. Information on past teaching activities; 11. Review(s) of the doctoral or habilitation dissertation, if applicable; 12. At least one reference letter sent directly to: wmii-konkursy@uj.edu.pl. The personal questionnaire template (no. 2) and declaration forms (no. 5-7) are available at: https://cso.uj.edu.pl/en_GB/dokumkandyd The application should be submitted to: wmii-konkursy@uj.edu.pl Deadline for applications: August 8, 2026 Estimated announcement of results: August 31, 2026 Estimated start date: October 1, 2026 Official call and details: https://euraxess.ec.europa.eu/jobs/452824 Kind regards, Bartosz Walczak ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] LAWCG 2026 - Second call for participation and summarized program

Dear all, We are pleased to invite you to participate in the 12th Latin-American Workshop on Cliques in Graphs (LAWCG 2026), which will take place from October 5 to October 8, 2026, at the Hotel Monte Real in Águas de Lindóia, São Paulo, Brazil. The workshop website with full details is available here: https://www.lawcg.mat.br/lawcg26/ ======================================================== LAWCG is a venue meant to foster interaction among the Latin American Graph Theory and Combinatorics community, whose research interests include cliques, clique graphs, the behavior of cliques and other topics in Graph Theory. Venue and accommodation ======================================================== The event will be held entirely at Hotel Monte Real. Please note that all participants are required to stay at the hotel for the duration of the workshop. Registration ======================================================== The registration fee is all-inclusive and covers the accommodation for all days of the stay, all meals (breakfasts, coffee-breaks, lunches, and dinners), leisure facilities at the hotel, and transportation between USP/GRU Airport (not Congonhas Airport) and the hotel (on Monday and on Thursday). Early registration is open until July 30, 2026. Program ======================================================== A detailed scientific program will be announced in due course. A summarized program is available on the website. We look forward to welcoming you to LAWCG 2026! On behalf of the organizing committee, Carla and Guilherme ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] 2nd CFP of the 3rd NORA Workshop @AACL-IJCNLP 2026

Hi All, Please find below the details of the CFP. *Call for Papers* --------------------------------------------------------------------------------- *3rd* Workshop on KNOwledge GRaphs & Agentic Systems Interplay (*NORA*) 10 November 2026, Hengqin, China Web: https://nora-workshop.github.io/AACL2026/ LinkedIn: https://www.linkedin.com/company/nora-knowledge-graphs-agentic-systems-interplay --------------------------------------------------------------------------------- In conjunction with *AACL-IJCNLP 2026, November 6-10* --------------------------------------------------------------------------------- *Workshop Overview* --------------------------------------------------------------------------------- Agents have experienced significant growth in recent years, largely due to the rapid technological advancements of Large Language Models (LLMs). Although these agents benefit from LLMs’ advanced generation proficiency, they still suffer from catastrophic forgetting and a limited context window size compared to the agents’ needs in terms of contextual information. Knowledge Graphs (KGs) are a powerful paradigm for structuring and managing connected pieces of information while unlocking deeper insights than traditional methods. Their value is immense for tasks that require context, integration, inter-linking, and reasoning. However, this power comes at the cost of significant upfront and ongoing investment in construction, curation, and specialised expertise. The NORA workshop aims at analysing and discussing emerging and novel practices, ongoing research efforts and validated or deployed innovative solutions that showcase the growing synergy between LLMs agents and KGs. --------------------------------------------------------------------------------- *Topics of Interest* --------------------------------------------------------------------------------- We welcome submissions and participation from intradisciplinary, interdisciplinary and multidisciplinary researchers and industry & public sector practitioners in the areas of Knowledge Graphs, Knowledge Engineering and Reasoning, Advanced NLP, GenAI, and AI Agents. We especially welcome contributions that provide theoretical insights, propose new approaches, or introduce new grounded solutions in real-world applications such as enterprise, smart assistance & chat, healthcare, finance, tourism, etc. We invite submissions in this non-exhaustive list of topics of interest, including, but not limited to: - Agents for Complex Reasoning over KGs - Agents and KGs for private and proactive personal assistants & Personalisation - Architectures for Persistent Agent Memory - Benchmarking Agent Memory Performance - Collaborative & Shared Agent Memories - Context Engineering enhanced by KGs - Domain-Specific Memory Architectures - From Unstructured Experience to Structured and Graph-Based Memory - KGs serving agents' memories: Episodic (experiences, events, etc.), Semantic (facts, concepts, etc.), and Procedural (skills, tasks, etc.) - Memory Grounding & Hallucination Mitigation - Memory Indexing & Retrieval for Agents - Multi-Lingual & Multi-modal integrations - Personalization vs. Generalization in Memory ------------------------------------------------------------------------------------ *Important Dates Anywhere on Earth (AoE)* ------------------------------------------------------------------------------------ - Regular Submissions Deadline: September 9th, 2026 - ARR Commitment Deadline: September 14th, 2026 - Notification of Acceptance: October 1, 2026 - Camera-Ready Papers Due: October 12, 2026 - Workshop date: November 10th, 2026 ------------------------------------------------------------------------------------ Submissions Guidelines, Policies, and Awards are available on the website. ------------------------------------------------------------------------------------ --------------------------------------------------------------------------------- *Organization* --------------------------------------------------------------------------------- - Btissam Er-Rahmadi, Independent Researcher, UK - Sebastien Montella, Huawei Technologies R&D UK Ltd, UK - Damien Graux, EcoVadis, UK - Andre Melo, Huawei Technologies R&D UK Ltd, UK - Hajira Jabeen, University Hospital Cologne, Germany Best, Btissam Er-Rahmadi ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [Cryptography] First Webinar – Advances in Post-Quantum Cryptography

I am pleased to share with you the launch of Cryptography's first webinar "Advances in Post-Quantum Cryptography", and we would be honored to invite you to join us for the event. Date & Time: 24 July 2026, 10:00 a.m. (CEST) Webinar page: https://sciforum.net/event/Cryptography-1 Register: https://us02web.zoom.us/webinar/register/6517830700443/WN_nQ4TMkpWSZqnoxEZs-vbDw#/registration This is a FREE webinar. After registering, you will receive a confirmation email containing information on how to join the webinar. This webinar will highlight emerging trends in post-quantum cryptography and showcase recent breakthroughs. It will also provide an excellent opportunity to connect with fellow researchers. Please feel free to share the event with your colleagues, lab members, and professional networks. We look forward to welcoming you online! Any questions about the journal Cryptography, please contact cryptography@mdpi.com. Best regards, Xue Cheng Managing Editor -- MDPI Branch Office, Wuhan Cryptography Editorial Office https://www.mdpi.com/journal/cryptography MDPI, Grosspeteranlage 5, 4052 Basel, Switzerland Twitter: @Cryptogr_MDPI https://twitter.com/Cryptogr_MDPI LinkedIn: Cryptography-MDPI ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Call for Participation TIME 2026

Apologies for multiple copies *** Call for Participation *** 33rd International Symposium on Temporal Representation and Reasoning (TIME 2026) 1-3 September 2026, Cork, Ireland. https://time26.cnr.it/ Co-located with the 37th International Conference on Principles of Diagnosis and Resilient Systems (DX’26) TIME has been for more than twenty years the only yearly multidisciplinary international event dedicated to the topic of time in computer science. The purpose of the symposium is to bring together active researchers in different scientific fields involving temporal and spatio-temporal data, information and/or knowledge management. Such a concern arises in a number of different though often related research domains, namely Artificial Intelligence (both symbolic approaches based on explicit Logic or Constraint-based models, and numerical data-based approaches such as Deep Learning and Large Language Models), Databases and Data Mining, or System Specification and Verification. The list of accepted papers for the 2026 edition of TIME Symposium can be found at https://time26.cnr.it/list-of-accepted-papers Programme available soon Early bird registration July 13-28, 2026 Registration web site https://app.oxfordabstracts.com/register/event/78029? ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CFP: Deadline Extended: 25 July, International Conferences (IUCC, CIT, DSCI, IOI), UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this email] The 24th International Conference on Ubiquitous Computing and Communications (IUCC-2026) https://hpcn.exeter.ac.uk/iucc2026 The 24th International Conference on Computer and Information Technology (CIT-2026) https://hpcn.exeter.ac.uk/cit2026 The 8th International Conference on Data Science and Computational Intelligence (DSCI-2026) https://hpcn.exeter.ac.uk/dsci2026 The 6th International Conference on Internet of Intelligence (IOI-2026) https://hpcn.exeter.ac.uk/ioi2026 To be held in Exeter, UK, 26-28 October 2026 The conference is planned to be hosted in Exeter. Prospective authors are invited to submit papers. All accepted papers are expected to be included in IEEE Xplore and will be indexed by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. IMPORTANT DATES =============== · Submission Deadline: 25 July 2026 (extended) · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference websites with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Accepted will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CFP: Deadline Extended: 25 July, International Conferences (IUCC, CIT, DSCI, IOI), UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this email] The 24th International Conference on Ubiquitous Computing and Communications (IUCC-2026) https://hpcn.exeter.ac.uk/iucc2026 The 24th International Conference on Computer and Information Technology (CIT-2026) https://hpcn.exeter.ac.uk/cit2026 The 8th International Conference on Data Science and Computational Intelligence (DSCI-2026) https://hpcn.exeter.ac.uk/dsci2026 The 6th International Conference on Internet of Intelligence (IOI-2026) https://hpcn.exeter.ac.uk/ioi2026 To be held in Exeter, UK, 26-28 October 2026 The conference is planned to be hosted in Exeter. Prospective authors are invited to submit papers. All accepted papers are expected to be included in IEEE Xplore and will be indexed by Engineering Index (EI). The authors of selected best papers will be invited post conference to extend their contributions for special issues of prestigious journals to be planned in conjunction with the conference. IMPORTANT DATES =============== * Submission Deadline: 25 July 2026 (extended) * Authors Notification: 30 August 2026 * Final Manuscript Due: 30 September 2026 * Registration Due: 30 September 2026 * Conference Date: 26-28 October 2026 PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference websites with PDF format. The materials presented in the papers should not be published or under submission elsewhere. Each paper is limited to 8 pages (or 10 pages with over length charge) including figures and references using IEEE Computer Society Proceedings Manuscripts style (two columns, single-spaced, 10 fonts). Accepted will be included into the IEEE conference proceedings published by IEEE Computer Society Press (indexed by EI). At least one of the authors of any accepted paper is requested to register the paper at the conference. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] [CFP]: ICA3PP-2026, Deadline Extended: 25 July, The 26th International Conference on Algorithms and Architectures for Parallel Processing, UK, 26-28 October 2026

[Please accept our apologies if you receive multiple copies of this message] ************************* ICA3PP-2026 Call for Papers********************** *The 26th International Conference on Algorithms and Architectures for Parallel Processing** (ICA3PP-2026) * https://hpcn.exeter.ac.uk/ica3pp2026/ *Exeter, UK, 26-28 October 2026* INTRODUCTION ============= ICA3PP-2026 is the 26th event in this prestigious series of conferences started in 1995 that are devoted to algorithms and architectures for parallel processing. ICA3PP is a famous event worldwide that covers many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. With the booming computing demands from every aspect of modern society, parallel processing has become increasingly critical and challenging. This conference provides a forum for academics and practitioners from all over the world to exchange ideas on improving the efficiency, performance, reliability, security and interoperability of computing systems and applications. ICA3PP-2026 will be held in Exeter, England, UK. The objective of ICA3PP 2026 is to bring together researchers and practitioners from academia, industry and governments to advance the theories and technologies in parallel and distributed computing. ICA3PP 2026 will focus on two broad areas of parallel and distributed computing, i.e. architectures, algorithms and networks, and systems and applications. ICA3PP-2026 is a CCF Rank-C conference. Accepted papers would be published by Springer and submitted to the EI database. Excellent papers with extension will be recommended for special issues in renowned journals. SCOPE AND TOPICS ================ Topics of interest include, but are not limited to: Track 1: Parallel and Distributed Architectures Track 2: Software Systems and Programming Models Track 3: Parallel and Distributed Algorithms and Applications Track 4: Service Dependability and Security in Distributed and Parallel Systems Track 5: Network Architectures and Algorithms Track 6: Big Data Management and Analysis Track 7: Internet of Things and Cyber-Physical-Social Computing Track 8: Performance Modeling and Evaluation PAPER SUBMISSION GUIDELINE ========================== All papers need to be submitted electronically through the conference submission website (https://hpcn.exeter.ac.uk/ica3pp/) with PDF format. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers will be selected based on their originality, significance, timeliness, relevance, and clarity of presentation. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Papers must be clearly presented in English in Springer LNCS Format <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>. Detailed formatting guidelines are available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . IMPORTANT DATES ================= · Submission Deadline: 25 July 2026 (extended) · Authors Notification: 30 August 2026 · Final Manuscript Due: 30 September 2026 · Registration Due: 30 September 2026 · Conference Date: 26-28 October 2026 For more information, please visit the conference website: https://hpcn.exeter.ac.uk/ica3pp2026/ ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] CCCG 2026 Registration Now Open

Dear colleagues, Registration for CCCG 2026 is now open. The 38th Canadian Conference on Computational Geometry will take place at Lakehead University, Orillia, Ontario, Canada, from August 12–14, 2026. Please visit the conference Registration page for details and the registration link: https://sites.google.com/view/cccg-2026/registration Early-bird registration will remain available until July 23, 2026. Regular registration fees will apply starting July 24, 2026. We look forward to welcoming you to Orillia! Best regards, CCCG 2026 Organizing Committee ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Up to 3 fully funded PhD positions in Mathematics at the Lie-Størmer Center, UiT Tromsø (Norway)

Dear colleagues, The Lie-Størmer Center (LSC) at UiT – The Arctic University of Norway invites applications for up to 3 fully funded PhD positions in mathematics, based in Tromsø. The LSC explores the interface of computational and pure mathematics, addressing foundational challenges relevant to the modern information society and to geometric dynamical control in engineering. The center connects the mathematics departments in Tromsø and Bergen. Candidates should indicate 1–2 of the following thematic areas they are interested in and qualified for (the ability to contribute to more than one area is a plus): 1. Lie Theory – Analysis and Geometry of Nonholonomic Systems: sub-Riemannian and Cartan geometry, vector distributions, supergeometry. 2. Polynomials, Ideals and Algebra: monomial and polynomial ideals, toric and tropical varieties, connections to combinatorics. 3. Magnus Expansions and Signatures in Data Science and Engineering: signatures of curves and surfaces (rough paths), Magnus expansion, Hopf algebras, applications. 4. Algebra, Geometry and Topology for Complex Data Analysis: algebraic methods in data analysis, optimization, topological data analysis, geometric deep learning. The positions are fully funded for the standard Norwegian PhD period, with a competitive salary and excellent working conditions. Tromsø, located north of the Arctic Circle, offers a vibrant international research environment and spectacular surroundings. Application deadline: 31. August 2026 Full details and the online application portal: https://www.jobbnorge.no/en/available-jobs/job/302786/up-to-3-phd-positions-in-mathematics-affiliated-to-the-lie-stoermer-center Please forward this announcement to potentially interested students. Best regards, Cordian Riener Co-Director, Lie-Størmer Center UiT – The Arctic University of Norway ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Senior Researcher Position at the University of Fribourg in Collaboration with SBB

An 80% Senior Researcher (Postdoctoral) position is available from November 2026 to October 2027 at the Department of Informatics, University of Fribourg, within the Decision Support & Operations Research (DS&OR) group. The DS&OR group is affiliated with the Smart Living Lab (SLL) ( https://www.smartlivinglab.ch/en/), a transdisciplinary research initiative bringing together groups from EPFL, HEIA-FR, and the University of Fribourg. *Project Description* The senior researcher will work on a project in collaboration with the Swiss Federal Railways (SBB). The project focuses on the scheduling of on-board ticket inspections in regional trains to deter fare evasion while satisfying operational and contractual constraints. The inspection plans need to be strategically effective in order to avoid predictable inspection patterns and to account for operational uncertainties. The position is funded for one year. The expected starting date is November 1st, 2026 at the latest. The University of Fribourg offers competitive salaries and provides the opportunity to attend national and international conferences. Further information about the group: https://www.unifr.ch/inf/dsor/en/ *Candidate Profile* The candidate must: - ˆ have a PhD in Operations Research, Computer Science, Mathematics, or a related field; - ˆ have a strong background in operations research applied to transportation, and expertise in mathematical programming (including decomposition methods such as column generation), stochastic optimization, and game theory; - ˆ be proactive, collaborative, and willing to work in an interdisciplinary environment with industrial partners. *Application* To apply, please send a CV, motivation letter, and contact details of two references to Dr. Nour Elhouda Tellache (nourelhouda.tellache@unifr.ch). Formal evaluation of the applications will begin on August 17th, 2026. Applications beyond that date might be considered. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************

[DMANET] Two PhD positions in Theory of Algorithms at University of Vienna, Austria

There are two fully funded PhD positions in Theory of Algorithms under Prof. Gramoz Goranci at University of Vienna, Austria. More details about the positions as well as the application can be found here (https://jobs.univie.ac.at/job/2-University-assistants-predoctoral-%28group-Algorithms-and-Optimization%29/1401851233/) Application deadline: *July 11, 2026* For any questions about the positions, please contact Gramoz at gramoz.goranci@univie.ac.at. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * DMANET@zpr.uni-koeln.de * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************