[DMANET] IPCO 2022 Conference and Summer school -- Second Call for participation

*IPCO 2022 -- SECOND CALL FOR PARTICIPATION*

*CONFERENCE*
The 23rd Conference on Integer Programming and Combinatorial
Optimization (IPCO XXIII) will take place from June 27–29, 2022 at
Eindhoven University of Technology, Eindhoven, The Netherlands.
https://www.ipco2022.com/home

*SUMMER SCHOOL*
The conference will be preceded by a Summer school (June 25-26). We are
excited to announce that the lecturers will be
Shipra Agrawal (Columbia University),
Title: An introduction to reinforcement learning with applications to
integer programming
Shayan Oveis Gharan (University of Washington),
Title: Maximum entropy rounding and applications to combinatorial
optimization
Stefan Weltge (TU Munich)
Title: Determinants in IPCO
https://www.ipco2022.com/home/summer-school

*POSTER SESSION:*
The IPCO 2022 conference will hold a poster session, which includes a
best poster award. We particularly welcome posters from Ph.D. students
and Postdocs on research in any topic of interest of IPCO. The poster
session will be held on Monday, June 27, in the afternoon.
https://www.ipco2022.com/home/posters

*EARLY REGISTRATION DEADLINE IS MAY 1st*
Please follow this link to register
https://www.ipco2022.com/home/wiki/668324/registration

*CHILDCARE:*
Note that IPCO 2022 will offer free childcare to the participants.

Best,

Laura Sanita
(On behalf of the IPCO 2022 local organization 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] CALL FOR PAPERS - COCOON 2022

COCOON 2022
The 28th International Computing and Combinatorics Conference
Shenzhen, China, October 22-24, 2022

CALL FOR PAPERS
http://cocoon-conference.org/2022/
-------------------------------------------------------
Welcome to COCOON 2022!

The 28th International Computing and Combinatorics Conference (COCOON 2022) will be held in Shenzhen, China during October 22-24, 2022. Original research papers in the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing are solicited. In addition to theoretical results, we are also interested in submissions that report on experimental and applied research of general algorithmic interest. Special consideration will be given to research that is motivated by real-world problems. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the algorithms discussed in a practical setting. Although the conference prefers face-to-face presentations, online presentation is also allowed based on current situation about Covid-19.

All papers will be published to the symposium in Springer-Verlag's Lecture Notes in Computer Science. Papers of high quality will be invited to special issues of some journals including Algorithmica, Theoretical Computer Science, Journal of Combinatorial Optimization, etc.

-------------------------------------------------------
The topics of interest include (but are not limited to) the following:

- Algorithms and Data Structures
- Algorithmic Game Theory
- Approximation Algorithms and Online Algorithms
- Automata, Languages, Logic, and Computability
- Complexity Theory
- Computational Learning Theory and Knowledge Discovery
- Cryptography, Reliability and Security, and Database Theory
- Computational Biology and Bioinformatics
- Computational Algebra, Geometry, and Number Theory
- Graph Drawing and Information Visualization
- Graph Theory, Communication Networks, and Optimization
- Parallel and Distributed Computing
- Fault Tolerant Computing and Fault Diagnosis

-------------------------------------------------------
Keynote Speakers:

-Prof. Pinyan Lu, ITCS@SUFE, China
-Professor Leslie Ann Goldberg, University of Oxford, UK

-------------------------------------------------------
Important Dates:

Paper Submission Due: June 30, 2022
Notification of Acceptance: August 15, 2022
Camera-ready and Registration: August 31, 2022
Conference Dates: October 22-24, 2022

-------------------------------------------------------
Submission Instructions:

Authors are invited to submit an extended abstract of original research on Computing and Combinatorics. Submissions must contain a scholarly exposition of the ideas, techniques, and a full description of the results achieved. A clear indication of the motivation and comparison with prior related work should be presented. Simultaneous submission to a journal or another conference with refereed proceedings is not allowed.

Submissions must adhere to the following guidelines. Papers must be formatted using the LNCS style file without altering margins or the font point. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. Proofs omitted due to space constraints must be placed in an appendix to be read by the program committee members at their discretion. Papers that deviate from these guidelines risk being rejected without consideration of their merits.

Submission page: https://equinocs.springernature.com/service/COCOON2022
Contact us by: COCOON 2022 <cocoon2022@siat.ac.cn>

**********************************************************
*
* 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] 3RD WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL REASONING (PCCR 2022)

**********************************************************************************

PCCR-2022: 3RD WORKSHOP ON PARAMETERIZED COMPLEXITY OF COMPUTATIONAL
REASONING
-- co-located with FLoC/IJCAR 2022 --

July 31 - August 1, 2022, Haifa, Israel

Web-site: https://algorithms.leeds.ac.uk/pccr2022/
Submission link: https://easychair.org/conferences/?conf=pccr2022
Submission deadline: May 10, 2022
Theme: Parameterized complexity of problems in Logic, AI, and ML.

**********************************************************************************

--------------------------------- AIMS AND SCOPE
---------------------------------

This workshop aims to support a fruitful exchange of ideas between the
research on parameterized complexity (PC) on one side and the research
on problems in computational reasoning (Logic and probabilistic
reasoning), Artificial Intelligence (AI), and Machine Learning (ML) on
the other.

Topics of interest include but are not limited to:

- Parameterized complexity of problems in Logic, AI, Computational Social
Choice, and ML.
- Recent developments in PC and the above areas plus introduction of new
problems that might benefit from the PC approach.
- Various (structural) parameteriziations such as decompositions, backdoor
sets, and hybrid parameterizations.
- Theory and practice of parameterized algorithms.

The workshop will feature invited and contributed talks with surveys
and new technical results, an open problem session, and a panel
discussion on future research directions. Apart from talks on
parameterized complexity we are also interested in presentations that
highlight structural parameters that have not been studied within the
framework of parameterized complexity so far.

--------------------------------- CALL FOR PAPERS
---------------------------------

If you would like to give a talk at the workshop, please submit a
short abstract of your talk via Easychair by the submission deadline
in PDF format. The abstract and talk can be based on published or
unpublished results, and we welcome overview and survey talks, besides
regular technical talks. Contributed talks are expected to be around
30 minutes each.

--------------------------------- IMPORTANT DATES
---------------------------------

- Green light physical conference: 1 May 2022
- Early registration starts: 1 May 2022
- Workshop paper submission deadline: 10 May 2022
- Workshop accepted paper notifications: 15 June 2022

--------------------------------- INVITED SPEAKERS
--------------------------------

- Stefan Szeider, TU Wien, Austria
- Gregory Gutin, Royal Holloway University of London, UK
- Saket Saurabh, University of Bergen, Norway

------------------------------ WORKSHOP ORGANIZATION
------------------------------

- Sebastian Ordyniak, University of Leeds, United Kingdom (
sordyniak@gmail.com)
- M.S. Ramanujan, University of Warwick, United Kingdom (
R.Maadapuzhi-Sridharan@warwick.ac.uk)
- Ronald de Haan, University of Amsterdam, Netherlands (me@ronalddehaan.eu)

**********************************************************
*
* 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] [fm-announcements] MOVEP: Early-bird rate ends April 30th

IMPORTANT DATES:

- Early-bird rate ends April 30th
- Submission deadline for student presentations: May 1st

15th Summer School on Modelling and Verification of Parallel Processes (MOVEP)

Aalborg University, Aalborg, Denmark

June 13 - 17, 2022

https://movep2022.cs.aau.dk/

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

==
Speakers
==

Giovanni Bacci (Aalborg University, Denmark): From Bisimulations to Metrics via Couplings

David Baelde (ENS Rennes & IRISA): Formal Proofs of Cryptographic Protocols with Squirrel

Christel Baier (Technische Universität Dresden, Germany): From Verification to Causality-based Explications

Wojciech Czerwiński (University of Warsaw, Poland): The Reachability Problem for Vector Addition Systems

Bartek Klin (Oxford University, United Kingdom): Computation Theory over Sets with Atoms

Laura Kovacs (Vienna University of Technology, Austria): First-Order Theorem Proving and Vampire

Anca Muscholl (LaBRI & Université Bordeaux, France): A View on String Transducers

Nir Piterman (Chalmers University of Technology, Sweden): Reactive Synthesis

Amaury Pouly (IRIF, France): Linear Dynamical Systems: Reachability and Invariant Generation

Renaud Vilmart (LMF & Inria): How to Verify Quantum Processes

==
Registration
==

Please visit https://movep2022.cs.aau.dk/registration.html

==
Committees
==

Organising committee

* Peter G. Jensen (Aalborg University, Denmark)
* Florian Lorber (Aalborg University, Denmark)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Program committee

* Saddek Bensalem (Université Grenoble Alpes, France)
* Patricia Bouyer-DeCitre (LMF, CNRS & ENS Paris-Saclay, France)
* Emmanuel Filiot (Université libre de Bruxelles, Belgium)
* Dana Fisman (Ben-Gurion University, Israel)
* Radu Grosu (Vienna University of Technology, Austria)
* Holger Hermanns (Saarland University, Germany)
* Nils Jansen (Radboud University Nijmegen, Netherlands)
* Marcin Jurdzinski (University of Warwick, United Kingdom)
* Steve Kremer (Inria Nancy - Grand Est, France)
* K Narayan Kumar (Chennai Mathematical Institute, India)
* Denis Kuperberg (ENS Lyon, France)
* Anca Muscholl (LaBRI & Université Bordeaux, France)
* Paritosh K. Pandya (IIT Bombay, India)
* Gabrielle Puppis (Udine University, Italy)
* Nir Piterman (Chalmers University of Technology, Sweden)
* Kristin Rozier (Iowa State University, United States)
* César Sánchez (IMDEA Software Institute, Spain)
* Szymon Torunczyk (University of Warsaw, Poland)
* Martin Zimmermann (chair, Aalborg University, Denmark)

Steering committee

* Nathalie Bertrand (INRIA Rennes, France)
* Benedikt Bollig (LMF, CNRS & ENS Paris-Saclay, France)
* Radu Iosif (CNRS & Verimag, France)
* Didier Lime (Ecole centrale de Nantes, France)
* Christof Löding (RWTH Aachen University, Germany)
* Nicolas Markey (CNRS & INRIA & Univ. Rennes 1, France)

**********************************************************
*
* 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] The 18th Int'l Conf. on Mobility, Sensing and Networking (MSN 2022) Dec 14-16, 2022, Guangzhou, China

Dear All,

[Apologies if you receive multiple copies of this email.]

You are welcome to submit papers to the 18th International Conference on
Mobility, Sensing and Networking (MSN 2022) December 14-16, 2022 ·
Guangzhou, China.
https://ieee-msn.org/2022

MSN 2022 provides a forum for academic researchers and industry
practitioners to present research progresses, exchange new ideas, and
identify future directions in the field of Mobility, Sensing and
Networking. MSN 2022 is technically sponsored by IEEE.

[Scope and Objectives]
Mobility, sensing and networking are the key areas of enabling technologies
for the next-generation networks, Internet of Things and Cyber-Physical
Systems. Recent years have witnessed the increasing convergence of
algorithms, protocols, and applications for mobility, sensing and
networking in a range of applications including connected vehicles, smart
cities, smart manufacturing, smart healthcare, smart agriculture, and
digital twins. Building on the past 17 years of success, the 18th
International Conference on Mobility, Sensing and Networking (MSN 2022)
provides a forum for academic researchers and industry practitioners to
exchange new research ideas, present their progress, and identify future
directions in the field of mobility, sensing and networking.
The conference solicits submissions from all research areas related to
mobility, sensing and networking, as well as their corresponding systems
and applications.
Topics of interests are covered by the following tracks:
• Mobile & Wireless Sensing and Networking
• Edge Computing, IoT and Digital Twins
• Security, Privacy, Trust, and Blockchain
• Big Data and AI
• Systems, Tools and Testbed
• Applications in Smart Cities, Healthcare and Other Areas

[Submission Procedures]
Submitted manuscripts must be prepared according to IEEE Computer Society
Proceedings Format (double column, 10pt font, letter paper) and submitted
in the PDF format. The manuscript submitted for review should be no longer
than 8 pages. After the manuscript is accepted, the camera-ready paper may
have up to 10 pages, subject to an additional fee per extra page.
Manuscripts should be submitted to one of the research tracks. Submitted
manuscripts must not contain previously published material or be under
consideration for publication in another conference or journal at the time
of submission. The accepted papers will be included in IEEE Xplore.

[Important Dates]
Submission due: Jul 1, 2022
Notification: Sep 15, 2022
Camera-ready due: Oct 15, 2022
Conference date: Dec 14-16, 2022

Best Regards,
Lei Yang

**********************************************************
*
* 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: 54th ACM Symposium on Theory of Computing (STOC 2022) - Theory Fest

Call for Participation

54th ACM Symposium on Theory of Computing (STOC 2022) - Theory Fest
<http://acm-stoc.org/stoc2022/>

June 20-24, 2022

Rome, Italy

The 54th ACM Symposium on Theory of Computing (STOC 2022) is sponsored by
the ACM Special Interest Group on Algorithms and Computation Theory and
will be held in Rome, Italy, Monday June 20 – Friday, June 24, 2022.

STOC 2022 - Theory Fest will feature technical talk sessions, 6 workshops
<http://acm-stoc.org/stoc2022/workshops.html> with introductory tutorials,
poster sessions, social events, and a special joint session with "Accademia
Nazionale dei Lincei <https://www.lincei.it/en>", the oldest and most
prestigious Italian academic institution, followed by a reception and a
concert at the Academy historic site
<https://www.lincei.it/en/corsini-palace>.

Registration

STOC 2022 registration is available here
<http://acm-stoc.org/stoc2022/registration.html>.

Early registration deadline: April 30th.

STOC 2022 is sponsored by Algorand, Amazon, Apple, Google, IOHK, Microsoft,
Sapienza University of Rome.

**********************************************************
*
* 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] Combinatorial, Computational, and Applied Algebraic Geometry, Seattle 2022

This is the second and final announcement for the conference:

Combinatorial, Computational, and Applied Algebraic Geometry,
Seattle 2022 (CCAAGS22)

This is an scientific event dedicated to research in the creative
mixture of combinatorial and computational ideas in applied algebraic
geometry. CCAAGS-22 is happening in person at the University of
Washington, Seattle, from June 27 to July 1. A celebration of Bernd
Sturmfels 60th birthday will be part of the event.

Information, including talks, poster sessions, lodging, etc can be found
on the conference webpage: https://sites.google.com/view/ccaaggs-22/home.

Please forward this message to anyone who might be interested,
particularly early career mathematicians.

**********************************************************
*
* 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 PAPERS - COCOON 2022

COCOON 2022
The 28th International Computing and Combinatorics Conference
Shenzhen, China, October 22-24, 2022

CALL FOR PAPERS
http://cocoon-conference.org/2022/
-------------------------------------------------------
Welcome to COCOON 2022!

The 28th International Computing and Combinatorics Conference (COCOON 2022) will be held in Shenzhen, China during October 22-24, 2022. Original research papers in the areas of algorithms, theory of computation, computational complexity, and combinatorics related to computing are solicited. In addition to theoretical results, we are also interested in submissions that report on experimental and applied research of general algorithmic interest. Special consideration will be given to research that is motivated by real-world problems. Experimental and applied papers are expected to show convincingly the usefulness and efficiency of the algorithms discussed in a practical setting. Although the conference prefers face-to-face presentations, online presentation is also allowed based on current situation about Covid-19.

All papers will be published to the symposium in Springer-Verlag's Lecture Notes in Computer Science. Papers of high quality will be invited to special issues of some journals including Algorithmica, Theoretical Computer Science, Journal of Combinatorial Optimization, etc.

-------------------------------------------------------
The topics of interest include (but are not limited to) the following:

- Algorithms and Data Structures
- Algorithmic Game Theory
- Approximation Algorithms and Online Algorithms
- Automata, Languages, Logic, and Computability
- Complexity Theory
- Computational Learning Theory and Knowledge Discovery
- Cryptography, Reliability and Security, and Database Theory
- Computational Biology and Bioinformatics
- Computational Algebra, Geometry, and Number Theory
- Graph Drawing and Information Visualization
- Graph Theory, Communication Networks, and Optimization
- Parallel and Distributed Computing
- Fault Tolerant Computing and Fault Diagnosis

-------------------------------------------------------
Important Dates:

Paper Submission Due: June 30, 2022
Notification of Acceptance: August 15, 2022
Camera-ready and Registration: August 31, 2022
Conference Dates: October 22-24, 2022

-------------------------------------------------------
Submission Instructions:

Authors are invited to submit an extended abstract of original research on Computing and Combinatorics. Submissions must contain a scholarly exposition of the ideas, techniques, and a full description of the results achieved. A clear indication of the motivation and comparison with prior related work should be presented. Simultaneous submission to a journal or another conference with refereed proceedings is not allowed.

Submissions must adhere to the following guidelines. Papers must be formatted using the LNCS style file without altering margins or the font point. The maximum length of the paper (including references, but excluding the optional appendix) is 12 pages. Proofs omitted due to space constraints must be placed in an appendix to be read by the program committee members at their discretion. Papers that deviate from these guidelines risk being rejected without consideration of their merits.

Submission page: https://equinocs.springernature.com/service/COCOON2022
Contact us by: COCOON 2022 <cocoon2022@siat.ac.cn>

**********************************************************
*
* 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] Graph theory summer school SGT, June 7-10 2022, France

SGT summer school on graph theory

The 2022 edition of the SGT summer school on graph theory will take
place on June 7-10 in Murol (near Clermont-Ferrand, France). The school
will consist of the following three lectures:

* Substructures in digraphs, by Pierre Aboulker (ENS Paris) and
Frédéric Havet (CNRS, I3S);
* Algorithmic aspects of minor-closed graph classes, by Ignasi Sau
(CNRS, LIRMM);
* Widths of graphs and induced subgraphs, by Nicolas Trotignon (CNRS,
LIP).

The registration is now open on our website https://sgt2022.limos.fr .
Don't wait before you register: there is a limited number of places, and
the pre-registration ends on may 5th.

SGT is a series of summer schools organized by members of the GT Graphes
(French graph theory community). Former editions were SGT'13 on the
Oléron island, SGT'15 on the Porquerolles island, and SGT'18 in Sète.
The current edition was initially planned in 2020 but had to be
postponed twice because of the pandemic.

More information is available at https://sgt2022.limos.fr .

Looking forward to seeing you in Murol!

Jean-Florent Raymond,
for the 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] CfP TIME 2022: International Symposium on Temporal Representation and Reasoning

Dear colleagues,

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]

****** TIME 2022 ******
29th International Symposium on Temporal Representation and Reasoning
07-09 November, 2022 - Online
https://time2022.time-symposium.org

*** Scope & Key Features ***

* Since 1994, the TIME International Symposium on Temporal Representation and
Reasoning aims to bring together researchers in the area of temporal
representation and reasoning from different disciplines of Computer Science.
* TIME 2022 will be organized as a combination of technical paper presentations
and keynote talks.
* TIME 2022 will be held as an online conference.
* The authors of the top-ranked papers will be invited to submit an extended
version of their contribution to a special issue in Information Systems.

*** Tracks ***

* Time in Artificial Intelligence
* Temporal Databases
* Temporal Logic and Reasoning

*** Topics ***

Topics for TIME 2022 include (but are not limited to):

* Spatial and temporal reasoning
* Time in natural language processing
* Spatio-temporal knowledge representation systems
* Reasoning about actions and change
* Planning and planning languages
* Ontologies of time and space-time
* Belief and uncertainty in temporal knowledge
* Temporal learning and discovery
* Temporal data models and query languages
* Temporal query processing and indexing
* Temporal data mining
* Time series data management
* Stream data management
* Spatio-temporal data management, including moving objects
* Data currency and expiration
* Indeterminate and imprecise temporal data
* Temporal constraints
* Specification and verification of systems
* Verification of software and web applications
* Synthesis and execution
* Model checking algorithms and implementations
* Temporal logics for infinite-state systems
* Runtime verification of temporal properties
* Temporal aspects of agent- and policy-based systems
* Complex event recognition and forecasting
* Temporal Networks

*** Submissions & Publication ***

TIME 2022 accepts submissions in PDF format, no longer than 12 pages excluding
references and appendix. The appendix is limited to 5 pages, and the reviewers
may or may not take it into account for their recommendation.
Submissions must be formatted following the LIPIcs instructions
(https://submission.dagstuhl.de/documentation/authors), and preferably redacted
in LaTex.

Submit your paper here: https://easychair.org/conferences/?conf=time22

TIME policy is single blind, so the names of the authors need not be hidden in
the submitted draft.
Members of the program committee are allowed to submit papers.
Submitted papers will be refereed for quality, correctness, originality, and
relevance to the conference.

Submissions to TIME 2022 must be original; parallel submissions of the same
material to other conferences or journals are not allowed.
Accepted papers will be presented at the symposium and included in the proceedings,
which will be published by LIPIcs-Leibniz International Proceedings in Informatics
(https://www.dagstuhl.de/en/publications/lipics/).
This is a series of high-quality peer-reviewed conference proceedings, and
published according to the principle of OpenAccess.
At least one author of each accepted paper must register at the conference and
present the paper.

The authors of the top-ranked papers will be invited to submit an extended
version of their contribution to a special issue in Information Systems.

*** Registration ***

Registration to TIME 2022 is free.

*** Important Dates ***

* Abstracts due: June 19, 2022
* Papers due: June 26, 2022
* Notification: August 01, 2022
* Final camera-ready version: August 25, 2022
* Conference: November 07-09, 2022

*** Programme Committee Chairs ***

Alexander Artikis (University of Piraeus & NCSR "Demokritos", Greece)
Roberto Posenato (University of Verona, Italy)
Stefano Tonetta (FBK, Italy)

*** Program Committee members (to be completed) ***

Alessandro Artale Free University of Bolzano-Bozen
Jaewook Byun Sejong University
Carlo Combi University of Verona
Clare Dixon University of Manchester
Marco Franceschetti Alpen-Adria-Universitaet Klagenfurt
Rajeev Gore The Australian National University
Gopal Gupta The University of Texas at Dallas
Sylvain Hallé Université du Québec à Chicoutimi
Luke Hunsberger Vassar College
Isak Karlsson Stockholm University
Roman Kontchakov Birkbeck, University of London
Martin Lange University of Kassel
Jianwen Li East China Normal University
Peter Lucas University of Twente
Daniel Neider Carl von Ossietzky University Oldenburg
Dejan Nickovic Austrian Institute of Technology
Paritosh Pandya TIFR
Romeo Rizzi University of Verona
Matteo Rossi Politecnico di Milano
Francesca Zerbato University of St. Gallen

*** Steering Committe ***

Alexander Artikis NCSR "Demokritos", Athens, Greece
Patricia Bouyer CNRS and ENS Paris-Saclay, Cachan Cedex, France
Carlo Combi University of Verona, Italy
Johann Eder Universitaet Klagenfurt, Austria
Thomas Guyet IRISA, Rennes, France
Luke Hunsberger Vassar College, USA
Shankara N. Krishna IIT Bombay, India
Martin Lange University of Kassel, Germany
Angelo Montanari University of Udine, Italy (chair)
Mark Reynolds University of Western Australia, Australia

If you have any questions, please contact the organizers at time2022@time-symposium.org

--
Prof. Roberto Posenato______________________________________
Dipartimento di Informatica-Università degli Studi di Verona
Phone: +39 045 802 7967

**********************************************************
*
* 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 Nominations: The 2022 ACM SIGAI Industry Award for Excellence in Artificial Intelligence

[Sorry for cross posting, please forward to any that may be interested]

Call for Nominations: The 2022 ACM SIGAI Industry Award for Excellence in
Artificial Intelligence

The ACM SIGAI Industry Award for Excellence in Artificial Intelligence (AI)
will be given annually to individuals or teams who have transferred
original academic research into AI applications in recent years in ways
that demonstrate the power of AI techniques via a combination of the
following features: originality of the research novelty and technical
excellence of the approach; importance of AI techniques to the approach;
and actual or predicted societal impact of the application. Awardees
receive a plaque accompanied by a prize of $5,000, and will be recognized
at the International Joint Conference on Artificial Intelligence through an
agreement with the IJCAI Board of Trustees.

After decades of progress in the theory, research and development of AI, AI
applications are increasingly moving into the commercial sector. A great
deal of pioneering application-level work is being done by those
transferring research results into industry—from startups to large
corporations—and this is influencing commerce and the broad public in a
wide variety of ways. This award complements the numerous academic,
best-paper and related awards, in that it focuses on innovators of fielded
AI applications. It is intended especially to recognize those who are not
only active in the academic community, but also playing key roles in AI
commercialization. The award honors these innovators and highlights their
achievements (and thus the benefit of AI techniques) to computing
professionals and the public at large. The award committee will consider
applications that are open-source or proprietary and that may or may not
involve hardware.

Evaluation Criteria: The criteria include the following, but there is no
fixed weighting of them:
Novelty of application area
Novelty and technical excellence of the approach
Importance of AI techniques for the approach
Actual and predicted societal benefits of the fielded application

Eligibility Criteria: Any individual or team, worldwide, is eligible for
the award.

Nomination Procedure: One nomination and three endorsements must be
submitted. The nomination must identify the individual or team members,
describe their fielded AI system, and explain how it addresses the award
criteria. The nomination must be written by a member of ACM SIGAI. Two of
the endorsements must be from members of ACM or ACM SIGAI. Endorsements are
intended to be brief statements of support (typically 1-2 paragraphs and
should not exceed 1000 words) that provide additional perspective on the
nomination itself.

If you are not a member of ACM SIGAI, please join here:
https://sigai.acm.org/main/

Please submit the nomination and endorsements through our Google form:
https://forms.gle/FnHMHuzkQ4EbzYp47

For any questions please contact Craig Boutilier (Award Chair,
cboutilier@google.com) or Nicholas Mattei (SIGAI Vice Chair,
nsmattei@gmail.com).

Timeline:

Nominations Due: May 31, 2021
Award Announcement: June 30, 2021
Award Presentation: July 23 – 29 at IJCAI 2022, https://ijcai-22.org/

--
*Nicholas Mattei*
Assistant Professor, Tulane University
nsmattei@tulane.edu | www.nickmattei.net

Stanley Thomas Hall | 402B
+1 504 862 8391
Department of Computer Science
Tulane University
6823 St Charles Ave
New Orleans, LA 70118

**********************************************************
*
* 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] MFCS 2022 - Abstract Deadline Extension

The abstract deadline for MFCS 2022 has been extended to Sunday, April 24, 2022 (AoE).
The paper deadline remains on Wednesday, April 27, 2022 (AoE).

> On 18.03.2022, at 15:15, Stefan Szeider <stefan@szeider.net> wrote:
>
> MFCS 2022 - SECOND CALL FOR PAPERS
>
> The 47th International Symposium on Mathematical Foundations of Computer Science, August 22-26, 2022, Vienna, Austria
>
> https://www.ac.tuwien.ac.at/mfcs2022/
>
> The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches of Theoretical Computer Science. MFCS is among the conferences with the longest history in the field - the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference has traveled around Europe.
>
> In 2022, at its 50th anniversary, MFCS will be held in Vienna, Austria.
>
> MFCS 2022 will be co-located with MATCH-UP 2022 (https://www.ac.tuwien.ac.at/matchup2022/), the 6th Workshop on Matching Under Preferences.
>
> Barring substantial and unforeseen developments, MFCS will be organized as a physical event. At least one author of each accepted paper must register at the conference. Authors who cannot physically attend the conference will be given the option to present their results via a live video talk.
>
> INVITED SPEAKERS
>
> Fedor V. Fomin (University of Bergen)
> Monika Henzinger (University of Vienna)
> Thomas Henzinger (IST Austria)
> Marta Kwiatkowska (University of Oxford)
> Vijay Vazirani (University of California, Irvine)
>
> IMPORTANT DATES
>
> Abstract Deadline: Friday, April 22, 2022 (Anywhere on Earth)
> Submission Deadline: Wednesday, April 27, 2022 (Anywhere on Earth)
> Notification: Tuesday, June 21, 2022
> Conference: August 22-26, 2022
>
> SUBMISSION GUIDELINES
>
> Papers should be submitted electronically through EasyChair at https://easychair.org/conferences/?conf=mfcs2022
>
> Submissions should be formatted using the LIPIcs style with a length not exceeding 12 pages (excluding references and an optional appendix). References and an optional appendix can go beyond the 12 pages; the appendix will be consulted at the discretion of the program committee. It is mandatory to use the LIPIcs style for submissions.
>
> No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings).
>
> PUBLICATION
>
> As in previous years, MFCS 2022 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open-access license.
>
> LIST OF TOPICS
>
> We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:
>
> - algebraic and co-algebraic methods in computer science
> - algorithms and data structures
> - automata and formal languages
> - bioinformatics
> - combinatorics on words, trees, and other structures
> - computational complexity (structural and model-related)
> - computational geometry
> - computer-aided verification
> - computer assisted reasoning
> - concurrency theory
> - cryptography and security
> - cyber physical systems, databases and knowledge-based systems
> - formal specifications and program development
> - foundations of computing
> - logics in computer science
> - mobile computing
> - models of computation
> - networks
> - parallel and distributed computing
> - quantum computing
> - semantics and verification of programs
> - theoretical issues in artificial intelligence and machine learning
> - types in computer science
>
> PROGRAM COMMITTEE
>
> Christoph Berkholz (Humboldt-Universität zu Berlin)
> René van Bevern (Huawei Technologies)
> Olaf Beyersdorff (Friedrich Schiller University Jena)
> Filippo Bonchi (Computer Science Department, University of Pisa)
> Andrei Bulatov (Simon Fraser University)
> Ugo Dal Lago (Università di Bologna and INRIA Sophia Antipolis)
> Laure Daviaud (City, University of London)
> Anuj Dawar (University of Cambridge)
> Stefan Felsner (TU Berlin)
> Celina Figueiredo (UFRJ)
> Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux)
> Marie Fortin (University of Liverpool)
> Robert Ganian (TU Wien, co-chair)
> Petr Golovach (Department of Informatics, Bergen University)
> Gregory Gutin (Royal Holloway, University of London)
> Sara Kalvala (The University of Warwick)
> Sandra Kiefer (RWTH Aachen University)
> Eun Jung Kim (CNRS - Paris Dauphine)
> Dušan Knop (Czech Technical University in Prague)
> Martin Koutecky (Charles University in Prague)
> Martin Lange (University of Kassel)
> Massimo Lauria (Sapienza University of Rome)
> Karoliina Lehtinen (University of Liverpool)
> Meena Mahajan (The Institute of Mathematical Sciences, HBNI, Chennai)
> Konstantinos Mamouras (Rice University)
> Barnaby Martin (Durham University)
> George Mertzios (Durham University)
> Stefan Milius (FAU Erlangen)
> Neeldhara Misra (Indian Institute of Technology, Gandhinagar)
> Fabrizio Montecchiani (University of Perugia)
> Sebastian Ordyniak (The University of Sheffield)
> Sang-il Oum (Institute for Basic Science (IBS) and KAIST)
> Daniel Paulusma (Durham University)
> Daniela Petrisan (Université de Paris, IRIF)
> Michał Pilipczuk (University of Warsaw)
> Damien Pous (CNRS - ENS Lyon)
> Simon Puglisi (University of Helsinki)
> Paweł Rzążewski (Warsaw University of Technology)
> Alexandra Silva (Cornell University, co-chair)
> Friedrich Slivovsky (Vienna University of Technology)
> Ana Sokolova (University of Salzburg)
> Stefan Szeider (TU Wien, general chair)
> Hellis Tamm (Tallinn University of Technology)
> Florian Zuleger (TU Wien)
>
>
>
> ORGANIZING COMMITTEE
>
> Jan Dreier (TU Wien)
> Robert Ganian (TU Wien)
> Stefan Szeider (TU Wien)

**********************************************************
*
* 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 BlockTEE: First Workshop on Blockchain Technologies and Trusted Execution Environments - Collocated with DISCOTEC - Deadline extended

===============================================================================
===============================================================================
BlockTEE 2022
First Workshop on Blockchain Technologies and Trusted Execution Environments

deadline extended

collocated with DISCOTEC'2022
===============================================================================
===============================================================================

https://www.discotec.org/2022/blocktee <https://www.discotec.org/2022/blocktee>

Blockchains and TEE (trusted execution environments) are popular emerging
\technologies, enabling new or existing use cases to be deployed under stronger
security and trust models. Blockchains and TEEs have been combined in the past to
enhance the performance, security, and applicability for blockchains. In this
workshop, we invite novel combinations of these two technologies. Some of the
topics we are interested in include practical results that show how to combine
these two technologies to operate under stricter security models, offering new
performance results, new proof-of-* systems enabled by TEEs, improvements over
state-of-the-art ledgers exploiting TEEs, mixed or hybrid TEE deployments for
distributed ledgers, or novel partitioning techniques dealing with heterogeneous
TEE setups for blockchains. Real-world results from large-scale deployments
combining TEEs and blockchains are highly encouraged.

===============================================================================
Submission
===============================================================================

We seek contributions in two different formats

* position papers, which should aim at fostering discussion and collaboration and
may summarize research published elsewhere or outline emerging ideas. The
submission must not exceed 4 pages excluding references.
* full papers, which should presenting fleshed out ideas, systems and or
experimental results. The submission must not exceed 12 pages excluding
references.

===============================================================================
Dates
===============================================================================
Paper submission deadline: April 17, 2022 (AoE timezone)
Notification of accepted papers: May 23, 2022
Workshop: June 17, 2022

===============================================================================
Program Committee
===============================================================================

- Valerio Schiavoni (University of Neuchatel), co-chair
- Miguel Matos (INESC-ID & U. Lisboa), co-chair
- Hans P. Reiser (Reykjavik University)
- Francisco Maia (INESC TEC)
- Pierre-Louis Aublin (IIJ Innovation Institute)
- Pierre Sutra (Télécom SudParis)
- Heverson Ribeiro
- Nuno Santos (INESC-ID / Instituto Superior Tecnico)
- Marcus Brandenburger ( IBM Research - Zurich)
- Marcelo Pasin (University of Neuchatel)
- Leander Jehl (TU Braunschweig)
--
Miguel Matos
Assistant Professor @ IST - U. Lisboa
Senior Researcher @ INESC-ID Lisboa
miguel.matos@inesc-id.pt
http://www.gsd.inesc-id.pt/~mm/

**********************************************************
*
* 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] IPCO 2022 -- Call for Posters (Extended Deadline!)

*IPCO 2022 -- Call for Posters*

We would like to extend the call for participation for the poster session of the 23rd Conference on Integer Programming and Combinatorial Optimization (IPCO 2022). The conference will take place at TU Eindhoven on June 27-29 preceded by a summer school on June 25-26 (for more info, see https://www.ipco2022.com/home). The poster session will take place in-person during the afternoon of Monday June 27.

The call is open to all and the posters may be on any topic of interest to IPCO. We particularly welcome posters from Ph.D. students and Postdocs. There will be an award for the best poster, where the winner will be decided by a committee present during the poster session.

In order to present a poster, authors must send an email to ipco@tue.nl by Friday April 29, 2022, with subject line: "IPCO POSTER: FIRSTNAME LASTNAME".

The email must contain the following information:

- Author(s)
- Affiliation(s)
- A title
- A short abstract (a pdf of max 1 page (excluding references))
- The name of the participant presenting the poster (one of the authors)

Notification of acceptance will provided within 2-3 days of receiving the poster. The number of posters accepted is subject to the number of available poster slots. Furthermore, the organizing committee reserves the right to turn down submissions considered out of scope. Details about the poster format will be provided shortly after the notification deadline. Poster presenters are required to register for the conference (note that the IPCO early registration deadline is May 1st, so you are encouraged to submit *before* April 29th).

**********************************************************
*
* 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 Teaching Professor at the University of Victoria

The Department of Mathematics and Statistics at the University of Victoria in
Victoria, BC, Canada invites applications for an Assistant Teaching Professor position,
with eligibility for Continuing Status, to commence August 1, 2022, or as soon as
possible after that date. The Faculty and Librarian Collective Agreement has
provisions for the eventual promotion of Teaching Stream faculty members into a
tenured position. For full details, see the job posting:

https://www.uvic.ca/science/math-statistics/home/home/announcements/current/2022-assistant-teaching-professor.php

Teaching Stream Faculty at the University of Victoria have a workload of 70%
teaching, 20% service, and 10% scholarly activity. Teaching faculty in the department
of mathematics and statistics teach a maximum of seven courses per year. More
information regarding the nature of Teaching Stream Faculty Positions at UVic can
be found in the Collective Agreement of the UVic Faculty Association:

https://www.uvic.ca/vpacademic/assets/docs/Collective%20Agreement.pdf

Applications should be made through Mathjobs at https://www.mathjobs.org/jobs/UVic
and should include: a cover letter detailing interest in and experience pertaining to the
position; a curriculum vitae; a teaching dossier that outlines teaching experience,
philosophy and effectiveness; and at least three letters of reference in support of the
application. Questions about this position are welcomed and can be addressed to the
Chair of Mathematics and Statistics at mschair@uvic.ca.

Review of applications will begin on May 18th, 2022, and will continue until the position
is filled.

The University of Victoria has a thriving Discrete Mathematics Group with 6 research
faculty, 2 teaching faculty, 3 adjunct faculty, an enthusiastic cohort of graduate students
and postdocs and a weekly seminar. See the Discrete Math Group webpage for more
details: www.uvic.ca/science/math-statistics/research/home/discrete-math/index.php
**********************************************************
*
* 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] Post-doctoral position at LIP, ENS de Lyon

The LIP laboratory, located at the ENS de Lyon in France, is offering a 1 year post-doc position in computer science, starting on the 1st September 2022. Candidates should have a PhD and a strong background in one of the subjects studied in the LIP. Please refer to http://www.ens-lyon.fr/LIP/ for details. Topics in the scope of the DMANET list include: discrete mathematics, computer algebra, combinatorial optimization, algorithms, formal proofs, logic, graph theory.

The salary will depend on the successful candidate's prior research experience with a guaranteed minimum of 2300 EUR/month before taxes.

An application consists of a single PDF file containing:
- a CV including a full list of publications; and
- a research project that in particular proposes a mentor in one of the research teams of the LIP.

The application should be sent by email to russell.harmer@ens-lyon.fr and nicolas.trotignon@ens-lyon.fr by the 18th May, 23:59 UT. Reference letters should be sent directly by email to the same addresses with the same deadline.

______________________
Nicolas Trotignon
CNRS, LIP, ENS de Lyon
http://perso.ens-lyon.fr/nicolas.trotignon/index.html

**********************************************************
*
* 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] Lecturer positions in Data Science and Statistics

Dear Colleagues,

There are two new Lecturer positions in Data Science, at the intersection of Computer Science, Data Mining, Machine Learning and AI, Discrete Applied Mathematics and Statistics.
These are now available at The University of Newcastle, Australia (I suggest you to also to check on Instagram @mynewcastle to see the natural beauty of this part of the world!)

The two positions are:

Lecturer in Data Science and Innovation in Statistics<https://uniofnewcastle.secure.force.com/academicext/ts2__JobDetails?jobId=a0N5g000000Ksr8EAC&tSource=>
Lecturer in Data Science and Applied Statistics<https://uniofnewcastle.secure.force.com/academicext/ts2__JobDetails?jobId=a0N5g000000Ksr3EAC&tSource=>

Please refer to the information available from the university website:
https://uniofnewcastle.secure.force.com/academicext

All of them are for Newcastle/Callaghan Campus.

The Computer Science, Software Engineering, and IT academics are working together with the Data Science and Statistic group
towards generating a unique new profile for our recently created School of Information and Physical Sciences
which also hosts Physicists and Mathematicians.

Please share with other interested early career researchers who you think may be interested in this opportunity.

Best regards,

P.

**********************************************************
*
* 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 Student Position in Algorithms/Computational Geometry

PhD Student Position in Computational Geometry
Università della Svizzera italiana (USI), Lugano, Switzerland

A PhD student position in Computational Geometry is available at the
Faculty of Informatics, Università della Svizzera italiana (USI),
Lugano, Switzerland, under the supervision of prof. Evanthia
Papadopoulou. The position is funded by the Swiss National Science
Foundation (SNF) on the topic of generalized Voronoi diagrams in two
and higher dimensions. The candidate is expected to conduct research
in Computational Geometry and Algorithms.

The candidate should have or be close to obtaining a Master's degree
in Computer Science or Mathematics and have an affinity with
Algorithms. The ideal candidate should have a keen interest and a
good background in Discrete Algorithms, Theoretical Computer Science
or Discrete Mathematics, have excellent academic qualifications as
well as good communication and collaboration skills. Experience in
Computational Geometry is very welcome but it is not required. Good
programming skills is a great plus. Fluency in English is required.

Please send your application with the following information to
evanthia.papadopoulou@usi.ch :

- a cover letter
- your curriculum vitae
- a copy of your transcripts
- contact information of your academic references

In addition, please follow the Faculty application procedure described in
https://www.inf.usi.ch/en/study-informatics/phd-doctoral-studies/admission
with deadline May 1st.

For further information please contact prof. Evanthia Papadopoulou,
e-mail: evanthia.papadopoulou@usi.ch,
http://www.inf.usi.ch/faculty/papadopoulou/.

The PhD program regulations are described in
https://www.desk.usi.ch/en/regolamento-degli-studi-di-dottorato-moduli-e-template-facolta-di-scienze-informatiche

The position provides a competitive salary with standard benefits and
includes light obligations of teaching assistantship. The teaching and
working language is English.

--
Evanthia Papadopoulou
Professor, Faculty of Informatics
USI, Lugano, Switzerland
Phone: +41(0)58 6664122
http://www.inf.usi.ch/faculty/papadopoulou/
**********************************************************
*
* 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] Postdoc position at UTSA

Hi!

I want to announce a postdoctoral position at UTSA.

This is a one-year position with no teaching duties. If the candidate is
willing to gain teaching experience, some teaching load can be arranged.

Salary is 55 K + benefits.

San Antonio is a vibrant city in a 2.5 million people metro area, and it is
1.5 hours drive to Austin metro with another 2 million residents.

Despite its large size, San Antonio is quite affordable and the suggested
salary is competitive in local standards.

Candidates with background in one of the following fields are invited to
apply: discrete and convex geometry, high dimensional probability,
algebraic algorithms, computer aided geometric design, convex
optimization, randomized numerical analysis, average-case complexity theory.

Candidates need to send an email to alperen.ergur@utsa.edu before April 30,
2022 including the following items:

1-) CV, 2-) a letter that explains their technical background and research
interests, 3-) two references for recommendation letters.

Please feel free to pass this announcement to anyone who might be
interested.

Many Thanks,
Alperen

**********************************************************
*
* 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] SPECIES Scholarships - Final Call for Host Applications (Deadline 25 April 2022)

(Apologies for cross-posting)

*********************************************************************************
SPECIES Scholarships - Final Call for Host Applications

Website: http://species-society.org/scholarships-2022/
Email: students@species-society.org

Deadline for host applications: 25 April 2022
*********************************************************************************

SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings, is proud to announce the 3rd round of SPECIES scholarships. The scheme will be open to both PhD students and recent PhD graduates, who have graduated in the 24 months prior to the submission deadline. The recipients of the scholarships will receive an allowance of 900 euros per month to cover accommodation and living expenses to spend three months at a hosting institution, working under the supervision of an advisor.

In the first stage, we are inviting worldwide applications for host institutions. Applications for candidates will open in early May 2022.

More information including conditions of the scholarships and details on how to apply can be found on the SPECIES website:

http://species-society.org/scholarships-2022/
students@species-society.org

Deadline for host applications: 25 April 2022

----------------------------------------------------------------------------------------------------------------------
Y Brifysgol orau yn y DU am Ansawdd ei Dysgu a Phrofiad Myfyrwyr
Best University in the UK for Teaching Quality and Student Experience
(The Times and Sunday Times, Good University Guide 2021)
Rydym yn croesawu gohebiaeth yn Gymraeg a Saesneg. Cewch ateb Cymraeg i bob gohebiaeth Gymraeg ac ateb Saesneg i bob gohebiaeth Saesneg. Ni fydd gohebu yn Gymraeg yn arwain at oedi.
We welcome correspondence in Welsh and English. Correspondence received in Welsh will be answered in Welsh and correspondence in English will be answered in English. Corresponding in Welsh will not involve any delay.

**********************************************************
*
* 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/
*
**********************************************************