Category: Posts in English

  • Nerode Prize 2025: Call for Nominations

    Nerode Prize 2025: Call for Nominations

    Nerode Prize 2025 — Call for Nominations

    The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics is presented annually, with the presentation taking place at IPEC (International Symposium on Parameterized and Exact Computation).  The Prize is named in honor of Anil Nerode in recognition of his major contributions to mathematical logic, theory of automata, computability, and complexity theory.

    IPEC 2025 will take place as part of ALGO 2025 on 17–19 September 2025 at University of Warsaw in Warsaw, Poland. 

    The prize was awarded for the first time in 2013.

    Award Committee

    The winning paper(s) is selected by a committee of three members. This year’s committee consists of:

    Deadline for Nominations: Saturday, 31 May, 2025, anywhere on Earth

    Decision, expected: 30 June, 2025.

    The Award Committee is solely responsible for the selection of the winner of the award which may be shared by more than one paper or series of papers. The Award Committee reserves the right to declare no winner at all.

    Eligibility

    The Nerode Prize is given to a research paper or series of research papers by a single author or by a team of authors published in a recognized refereed journal. The research work nominated for the award should be in the area of multivariate algorithms and complexity meant in a broad sense, which encompasses, but is not restricted to, those areas covered by IPEC. The Award Committee has the ultimate authority to decide on the eligibility of a nomination. Papers authored by a member of the Award Committee are not eligible for nomination.  

    Note that the past restrictions that required a certain number of years before/after the publication of the nominated papers have been removed.

    Nominations

    Nominations may be made by any member of the scientific community including the members of the Award Committee. A nomination should contain a brief summary of the technical content of each nominated paper and a brief explanation of its significance. Nominations are done by an email to the Award Committee Chair with copies to the members of the committee. The Subject line of the nomination e-mail should contain the phrase “Nerode Prize Nomination“.

  • Virtual ICM 2022 Invited talks in Combinatorics

    Virtual ICM 2022 Invited talks in Combinatorics

    For convenience, I’ve collected the list of invited speakers for Section 13 Combinatorics at the Virtual ICM 2022 and the schedule of their talks. (I’ve omitted speakers whose primary section is not Combinatorics.) So far there is no convenient website to see the schedule yet, as the previous official website of ICM 2022 (https://icm2022.org) is offline.

    • July 7, 9:15 pm KST / 2:15 pm CEST, Room 2
    • July 9, 9:15 pm KST / 2:15 pm CEST, Room 11
    • July 10, 8:15 pm KST / 1:15 pm CEST, Room 6
    • July 10, 9:15 pm KST / 2:15 pm CEST, Room 6
      • Federico Ardila (San Francisco State University / University of Los Andes, USA / Colombia)
    • July 10, 10:15 pm KST / 3:15 pm CEST, Room 6
    • July 11, 9:15 pm KST / 2:15 pm CEST, Room 9
    • July 12, 8:15 pm KST / 1:15 pm CEST, Room 6
    • July 12, 9:15 pm KST / 2:15 pm CEST, Room 6
    • July 13, 8:15 pm KST / 1:15 pm CEST, Room 8
    • July 13, 9:15 pm KST / 2:15 pm CEST, Room 8
  • My course MAS275 Discrete Mathematics at KAIST in Spring 2022 will be moved to online (Zoom) for the first few weeks

    I’ve decided to move MAS275 Discrete Mathematics online to Zoom for the first few weeks. If you are one of the registered students, then please check the Zoom link at the KLMS.

  • PhD position in Extremal and Probabilistic Combinatorics at Umeå University, Sweden

    I am sharing the following message received by email. The application deadline is March 11, 2022.

    I am advertising a PhD position in extremal and probabilistic combinatorics, see the link below: https://umu.varbi.com/en/what:job/jobID:467679/ . I would be most grateful if you could forward this link to any master’s students of yours at KAIST who may be interested.

    Our combinatorics group has been rather fortunate in recruitment of late — Klas Markström and I have been joined by Maryam Sharifzadeh, Klara Stokes and István Tomon in the past two years — so we can hopefully offer an attractive environment for a PhD student (as well as fun research problems).

  • Postdoc in Discrete Math at Illinois Tech

    I’m sharing a message from Hemanshu Kaul at Illinois Tech.

    We are hiring a postdoc in Discrete Math at IIT (Illinois Tech) to start in Fall 2022. It is a one year position followed by one year extension subject to performance review and funding. In the past every such position has been extended for the second year.

    We are interested in candidates with broad research interests in discrete mathematics and its applications.  In particular, we are interested in all aspects of graph theory: extremal, enumerative, topological, and spectral; and algorithms and models in network and discrete optimization. Connections to machine learning, graph neural nets, and related computational fields are a plus.

    Further details and the link for submitting a short application (cover letter, CV, and references) are available at: https://forms.gle/xza2Gj9eJhMkVzq69

    Hemanshu Kaul
  • Hong Liu is moving to IBS as a Chief Investigator to start the IBS Extremal Combinatorics and Probability Group (ECOPRO) on April 2022 and is hiring up to 5 postdocs (Application Deadline: January 14, 2022)

    Hong Liu is moving to IBS as a Chief Investigator to start the IBS Extremal Combinatorics and Probability Group (ECOPRO) on April 2022 and is hiring up to 5 postdocs (Application Deadline: January 14, 2022)

    News: The Institute for Basic Science (IBS) in Korea is expanding further into discrete mathematics by establishing a new “IBS Extremal Combinatorics and Probability Group (ECOPRO)” led by Hong Liu from the University of Warwick, UK on April 2022. This new group will also be located in the IBS headquarter and is expected to work closely with the IBS Discrete Mathematics Group (DIMAG).

    The IBS Extremal Combinatorics and Probability Group posted the hiring announcement for up to 5 postdocs. The application due is on January 14, 2022.

    Please check their job posting on mathjobs.org: 2021-1 Recruitment Announcement for Postdoctoral Research Associate Positions at the Extremal Combinatorics and Probability Group

    The position is available for individuals who are within the first five years after obtaining their Ph.D at the date of appointment or expecting to obtain a Ph.D. within three months from the date of appointment.

  • List of upcoming conferences and workshops

    Each month I’m compiling a list of upcoming conferences and workshops. Here is the list for November 2021.

    Update in 2022: This post will be no longer updated. Instead, I made a new page that contains a list of upcoming meetings automatically generated from mathmeetings.net.

    Organized by IBS DIMAG

    • November 28-30, 2021: International Conference on Discrete Mathematics and Computer Science, Dalat, Vietnam. http://icdmcs.dlu.edu.vn
      • Tuan Tran is one of the organizers.
      • Invited Speakers: Alexis DROGOUL (IRD, France), HO Tu Bao (VIASM, Vietnam), LE Hoai Bac (HCMUS, Vietnam), Sang-il OUM (IBS and KAIST, South Korea), Ingo SCHIERMEYER (TU Freiberg/Germany), Patrick TALLAINDIER (INRA, France), VU Ha Van (VinBigdata, Vietnam; Yale University/America).
      • A hybrid meeting. (postponed)
    • December 20-22, 2021: 2021 Combinatorics Workshop.
    • March 20-27, 2022: MATRIX-IBS Workshop: Structural Graph Theory Downunder II, Parkville, Australia https://www.matrix-inst.org.au/events/structural-graph-theory-downunder-ll/
      • Will be postponed to November 2022.
    • June 20-24, 2022: Seymour is Seventy, Lyon, France https://dimag.ibs.re.kr/seymour70/ (postponed from 2020)
      • There is some chance of adjusting the format or the schedule.

    In Korea

    • December 2-5, 2021: 2021 KSIAM Annual Meeting, Korean Society for Industrial and Applied Mathematics, Busan. (hybrid meeting). http://ksiam.org/Conference/ConferenceView.asp?AC=0&CODE=CC20210901&CpPage=#CONF
      • Jaehoon Kim at KAIST is organizing a special session on Extremal Combinatorics. The speakers include Hong Liu, Debsoumya Chakraborti, Tuan Tran, Joonkyung Lee, and Linda Cook.
      • Deadline for contributed talks: November 11.
      • Registration for offline attendance: November 18.

    Online

    • November 13-14, 2021: China-Korea Young Scholars’ Symposium on Discrete Mathematics, Statistics and Optimization, Online.
      • Organized by Yongtang Shi (Nankai University) and Suil O (SUNY Korea).
    • December 13-17, 2021: 43rd Australasian Combinatorics Conference (43ACC), Online. https://43acc.ms.unimelb.edu.au/

    Hybrid: In-person + Online

    Out of Korea

    Let me know if you want to add anything to the list next month.

  • Postdoc positions available at the IBS Discrete Mathematics Group, South Korea (Due: December 5, 2021)

    Postdoc positions available at the IBS Discrete Mathematics Group, South Korea (Due: December 5, 2021)

    The IBS Discrete Mathematics Group (DIMAG) in Daejeon, Korea invites applications for two postdoctoral research fellowship positions.

    URL: https://dimag.ibs.re.kr/hiring/

    DIMAG is a research group that was established in December 1, 2018 at the Institute for Basic Science (IBS), led by Prof. Sang-il Oum. DIMAG is located at the headquarters of the Institute for Basic Science (IBS) in Daejeon, South Korea, a city of 1.5 million people. 

    The position is available for individuals who are within the first five years after obtaining their Ph.D. at the date of appointment or expecting to obtain a Ph.D. within three months from the date of appointment. Successful candidates for postdoctoral research fellowship positions will be new or recent Ph.D.’s with outstanding research potential in all fields of discrete mathematics with emphasis on structural graph theory, extremal graph theory, combinatorial optimization, matroid theory, or fixed-parameter tractable algorithms.

    This appointment is for two years, and the starting salary is no less than KRW 57,000,000. The appointment is one time renewable up to 3 years in total contingent upon the outstanding performance of the researcher. The expected appointment date is September 1, 2022. This is a purely research position and will have no teaching duties.

    A complete application packet should include:

    1. AMS standard cover sheet (preferred) or cover letter (PDF format)
    2. Curriculum vitae including a publication list (PDF format)
    3. Research statement (PDF format)
    4. Consent to Collection and Use of Personal Information (PDF file)
    5. At least 3 recommendation letters

    For full consideration, applicants should email items 1, 2, 3, and 4 and arrange their recommendation letters emailed to dimag@ibs.re.kr by December 5, 2021, Sunday

    Recommendations letters forwarded by an applicant will not be considered.

    DIMAG encourages applications from individuals of diverse backgrounds.

  • Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    Professorships at KAIST

    The Department of Mathematical Sciences at KAIST invites applications for a tenured and tenure-track faculty position beginning from Spring 2022 to Spring 2023.

    In recent years, KAIST, one of the top research universities in Korea, has been recruiting distinguished scholars of both Korean and foreign nationalities. KAIST is located in Daejeon, a city with a population of 1.5 million, and its operation is financially supported by the Korean government. Most of the courses at KAIST are taught in English.

    Applications are accepted from any areas of pure, applied, and interdisciplinary mathematics including artificial intelligence (AI) and data science. Successful applicants must demonstrate outstanding accomplishments or potential in research and teaching.

    An internationally competitive salary commensurate with qualifications will be offered with attractive remuneration packages including relocation assistance, a start-up grant for research, health insurance, and housing benefit. The regular teaching load is two courses for the first year, and three courses a year thereafter.

    All applications must include the following:

    • KAIST faculty application form (A separate paper for major achievements, teaching plan, and research accomplishments is acceptable.) 
    • Cover letter (An AMS standard cover sheet is acceptable. The names of three (3) recommenders must be listed therein.)
    • Curriculum vitae with a publication list
    • Research statement of previous work and future plans
    • Teaching statement of previous work and future plans
    • A minimum of three (3) recommendation letters (Recommenders should send their letters directly to the email address below.)

    After the screening process, candidates may need to submit additional documents.

    All applications should be sent to recruit@mathsci.kaist.ac.kr or to the mailing address below by Thursday, September 30, 2021


    Jaeyoung Byeon
    Head of the Department of Mathematical Sciences
    KAIST
    291 Daehak-ro, Yuseong-gu, 

    Daejeon
    Republic of Korea 
    Zip Code: 34141

    https://mathsci.kaist.ac.kr/home/en/

    For any inquiries, please contact Lan Yoon at +82-42-350-2703 or recruit@mathsci.kaist.ac.kr.

  • How to configure Perl to run latexindent on Mac OS Catalina

    How to configure Perl to run latexindent on Mac OS Catalina

    The “latexindent” is a Perl script that indents a LaTeX file to make it easier to read, and is included in MacTeX. As most of us install the MacTeX, it should be easy to use latexindent. However, the default installation does not work because it requires extra configuration on Perl. To make it worse, this install isn’t trivial at all. You can find questions on Stackoverflow. Here’s what I did in order to set up the latexindent on MacOS without using brew to install Perl again.

    Install xcode command line tools

    In order to use C compilers or git on Mac, it is necessary to install command line tools. On the terminal, run this command.

    xcode-select --install

    Configure the CPATH environment

    Due to some weird reasons, some necessary files for compiling some packages are hidden on Mac OS Catalina. In order to make some header files to be available for compilers, we need to set up the CPATH variable. Otherwise, there will be an error message saying “Fatal error: ‘EXTERN.h’ file not found”.

    To find this file, one can run the following command.

    find /Library/Developer/CommandLineTools/SDKs -name EXTERN.h -print

    There may be many versions; you can choose the one that matches the version of Perl installed on Mac. In my case, the version of Perl was v5.18.4. The version of Perl can be found by “perl -v”. On my Mac, EXTERN.h for this version was in /Library/Developer/CommandLineTools/SDKs/MacOSX11.0.sdk/System/Library/Perl/5.18/darwin-thread-multi-2level/CORE/EXTERN.h. Thus, I set the CPATH environment as follows.

    export CPATH=/Library/Developer/CommandLineTools/SDKs/MacOSX11.0.sdk/System/Library/Perl/5.18/darwin-thread-multi-2level/CORE

    Install Perl packages by cpan

    The latexindent requires a few Perl packages to be installed. Here is the command to run.

    cpan -i Log::Log4perl Log::Dispatch::File YAML::Tiny File::HomeDir Unicode::GCString

    Like me, most of you will see many questions, because in its first run, it requires to configure itself. Here’s what I chose.

    What approach do you want?  (Choose 'local::lib', 'sudo' or 'manual')
     [local::lib] sudo

    After all this, latexindent should be ready. If not, then you can try to install missing Perl packages again by using “cpan -i”.

    I use latexindent on Visual Studio Code. The standard extension for LaTeX, LaTeX Workshop, uses latexindent to indent a LaTeX file.