CICM 2025 - Call for Doctoral Programme    

            18th Conference on Intelligent Computer Mathematics
                                - CICM 2025 -
                             October 6-10, 2025
                               Brasilia, Brazil 
                     http://www.cicm-conference.org/2025

----------------------------------------------------------------------------------------
 ROOM: Multiuso CIC
---------------------------------------------------------------------------------------- 

CICM is an excellent opportunity for graduate students to meet established researchers from
the areas of Computer Algebra, Automated Deduction, and Mathematical Knowledge Management.

The doctoral programme aims at providing PhD students a forum to present ideas, early
results, work in progress and their research programme in an open and friendly environment.
Selected participants are expected to deliver a 5-to-7 minutes description of their research
work, and to elaborate a poster presentation to get constructive feedback, advice, and
suggestions from the research advisory board and other participants. Each selected student
will be assigned to an experienced researcher from the research advisory board who will act
as a mentor and who will provide detailed feedback and advice on their intended and ongoing
research.

Candidates are requested to submit a two-page abstract, focusing on research questions of
the expected PhD thesis; details on partially completed research tasks and remaining
research plans should be given. In addition to the abstract, a two-pages CV of the applicant
should also be submitted, detailing background information (name, university, supervisor),
education (sought degree, previous degrees), employments and relevant research experience
(publications, attended conferences/workshops).

Candidates are required to be registered for the CICM conference.

Submissions will be handled via Easychair:

https://easychair.org/conferences?conf=cicmdp2025

The doctoral programme will be chaired by Claudia Nalon, UnB Brasilia, and Marcelo Finger,
University of Sao Paulo.

Important dates
===============
  
Submission deadline: August 15, 2025 September 30, 2025
Notification to candidates: September 15, 2025 October 5, 2025

Posters

• Formalizing an Algorithm in PVS for Anti-Unification modulo (AC) (A) (C).
  Marcos Mercandeli-Rodrigues (pdf)
• Anti-Unification in λP.
  Gabriela Ferreira (pdf)
• SAT Solving for Discrete Mathematics.
  Bernardo Subercaseaux (pdf)
• Llama-PVS: A Lightweight decoder-only LLM for Proof Recommendation system.
  Nikson Bernardes Fernandes Ferreira (pdf)