[Haskell] LPNMR 2022: First call for Doctoral Consortium

cfp cfp at mat.unical.it
Mon Jun 20 12:47:55 UTC 2022


Call for Contributions


LPNMR Doctoral Consortium 2022

Genova, Italy

September 5-8, 2022

https://sites.google.com/view/lpnmr2022/doctoral-consortium

Topic and Objective
*******************

The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment.

The 16th International Conference 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, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning.

During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields.

Target Audience
***************

The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):

- Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity
- Implementation of LPNMR systems, including new systems and algorithms
- Applications of LPNMR

The DC allows participants to interact with established researchers and fellow students, through presentations, a poster session, question-answer sessions and social interactions. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued research presentation, present a poster at the main event and attend a lunch in small groups with their mentor/senior researcher.

Application Process
*******************

Students at both the PhD and late stage masters level are encouraged to apply. However, preference will be given to students in PhD programs. Submissions will be selected based on the assessment of the organizing committee. We will give preference to students who have settled on a research topic or direction but still have some way to go in their studies.

Applications to the LPNMR DC should consist of:

1. Cover Sheet: This is a one-page information sheet which should include:
- Your full name, gender, contact details, official affiliation, and home page (if any);
- Your expected graduation date and the number of years in your current program;
- Your thesis advisor's full name and contact details;
- A list of up to 5 people within the LPNMR community you feel would be good mentors or are people you want to talk to;
- A list of up to 5 keywords that you would use to describe your research.

2. Extended Abstract: This should be a thesis summary, no longer than 6 pages (including references) formatted according to Springer's guidelines and technical instructions available at:

https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

Please give a brief background for your thesis research, explain the central questions of your research and the work you have accomplished so far. Be sure to clearly describe your work (e.g., what you have done and what you plan to work on), while emphasizing the contributions and their significance. This should not be a reduced version of a single paper, but be about your dissertation. Please use the first person where appropriate.

3. Vita: A CV not to exceeded 3 pages that includes your background and a brief statement of your research interests; relevant experience in research, education, or employment; and any publications (accepted or pending) for conferences or journals.

4. Advisor/Supervisor Statement: A signed supporting statement from your advisor or supervisor explaining why she/he thinks it is a good idea for you to participate in this event.

Please submit all application materials as one PDF per e-mail to DC organization chair:

Martin Gebser
University of Klagenfurt
martin.gebser at aau.at

Applications will be reviewed based on several criteria including the quality of the work submitted, stage of research, evidence of research progress, the committee's assessment of the student's contribution to and benefit from participating in the DC, and input from the student's advisor. Details regarding publication of extended abstracts and financial support will be published on the DC website at a later date.

Important Dates
***************

Application Submission: Jul 6, 2022
Notification: Jul 20, 2022
Camera-ready Version: Aug 10, 2022
Doctoral Consortium: Sep 5, 2022 (tentative)

Committee
*********

Organization Chair:

Martin Gebser, University of Klagenfurt

Program Committee:

TBA

Call for Contributions


LPNMR Doctoral Consortium 2022

Genova, Italy

September 5-8, 2022

https://sites.google.com/view/lpnmr2022/doctoral-consortium

Topic and Objective
*******************

The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th 
International Conference on Logic Programming and Non-monotonic 
Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC 
provides a forum for doctoral students working in all areas related to 
logic programming and non-monotonic reasoning. The DC gives students the 
opportunity to present and discuss their research and to obtain feedback 
from peers as well as world-renowned experts in a supportive environment.

The 16th International Conference 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, implementation and 
application of logic-based programming languages and database systems, 
and those who work in the area of knowledge representation and 
non-monotonic reasoning.

During the DC, there will be significant time for students to present 
their work, and meet mentors from their own and closely related fields.

Target Audience
***************

The DC is designed for students currently enrolled in a PhD program, 
though we are also open to exceptions (e.g., students currently in a 
masters program and interested in doctoral studies). Students at any 
stage in their doctoral studies are encouraged to apply for 
participation in the DC, but preference will be given to students who 
have settled on a research topic or direction but still have some way to 
go in their studies. Applicants are expected to conduct research in 
areas related to logic and constraint programming; topics of interest 
include (but are not limited to):

- Theoretical Foundations of LPNMR systems, including semantics of new 
or existing languages, new language extensions, and computational complexity
- Implementation of LPNMR systems, including new systems and algorithms
- Applications of LPNMR

The DC allows participants to interact with established researchers and 
fellow students, through presentations, a poster session, 
question-answer sessions and social interactions. The Doctoral 
Consortium will provide the possibility to reflect - through short 
activities, information sessions, and discussions - on the process and 
lessons of research and life in academia. Each participant will give a 
short, critiqued research presentation, present a poster at the main 
event and attend a lunch in small groups with their mentor/senior 
researcher.

Application Process
*******************

Students at both the PhD and late stage masters level are encouraged to 
apply. However, preference will be given to students in PhD programs. 
Submissions will be selected based on the assessment of the organizing 
committee. We will give preference to students who have settled on a 
research topic or direction but still have some way to go in their studies.

Applications to the LPNMR DC should consist of:

1. Cover Sheet: This is a one-page information sheet which should include:
- Your full name, gender, contact details, official affiliation, and 
home page (if any);
- Your expected graduation date and the number of years in your current 
program;
- Your thesis advisor's full name and contact details;
- A list of up to 5 people within the LPNMR community you feel would be 
good mentors or are people you want to talk to;
- A list of up to 5 keywords that you would use to describe your research.

2. Extended Abstract: This should be a thesis summary, no longer than 6 
pages (including references) formatted according to Springer's 
guidelines and technical instructions available at:

https://www.springer.com/gp/authors-editors/conference-proceedings/conference-proceedings-guidelines

Please give a brief background for your thesis research, explain the 
central questions of your research and the work you have accomplished so 
far. Be sure to clearly describe your work (e.g., what you have done and 
what you plan to work on), while emphasizing the contributions and their 
significance. This should not be a reduced version of a single paper, 
but be about your dissertation. Please use the first person where 
appropriate.

3. Vita: A CV not to exceeded 3 pages that includes your background and 
a brief statement of your research interests; relevant experience in 
research, education, or employment; and any publications (accepted or 
pending) for conferences or journals.

4. Advisor/Supervisor Statement: A signed supporting statement from your 
advisor or supervisor explaining why she/he thinks it is a good idea for 
you to participate in this event.

Please submit all application materials as one PDF per e-mail to DC 
organization chair:

Martin Gebser
University of Klagenfurt
martin.gebser at aau.at

Applications will be reviewed based on several criteria including the 
quality of the work submitted, stage of research, evidence of research 
progress, the committee's assessment of the student's contribution to 
and benefit from participating in the DC, and input from the student's 
advisor. Details regarding publication of extended abstracts and 
financial support will be published on the DC website at a later date.

Important Dates
***************

Application Submission: Jul 6, 2022
Notification: Jul 20, 2022
Camera-ready Version: Aug 10, 2022
Doctoral Consortium: Sep 5, 2022 (tentative)

Committee
*********

Organization Chair:

Martin Gebser, University of Klagenfurt

Program Committee:

TBA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20220620/93087e7e/attachment.html>


More information about the Haskell mailing list