From ab101994212d1ee0e543e7cbf7cd54d3e43a7e09 Mon Sep 17 00:00:00 2001 From: Francisco Coelho Date: Tue, 20 Feb 2024 14:50:54 +0000 Subject: [PATCH] ALMOST All Tasks Done (DRAFT) --- pex2024/Tasks and Timeline.gdsheet | 1 + pex2024/candidatura.md | 195 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++- pex2024/documents/Application_Guide_PeX_2023.pdf | Bin 1122892 -> 0 bytes pex2024/documents/Application_Guide_PeX_2023_V2.pdf | Bin 0 -> 985837 bytes pex2024/documents/Aviso_de_Abertura_PEX_2023.pdf | Bin 479233 -> 0 bytes pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacao.pdf | Bin 0 -> 479631 bytes pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacaoII.pdf | Bin 0 -> 559989 bytes pex2024/documents/Data_Protection_PEX_2023.pdf | Bin 246082 -> 0 bytes pex2024/documents/FAQ_PEX_2023_republicacao.pdf | Bin 0 -> 742543 bytes pex2024/documents/MetodologiaAplicacaoCustosSimplificados_MontantesFixos.pdf | Bin 0 -> 287481 bytes pex2024/documents/PeX2023_GuideforPeerReviewers.pdf | Bin 0 -> 798804 bytes pex2024/documents/Protecao_Dados_Pessoais_PEX_2023.pdf | Bin 0 -> 248934 bytes pex2024/documents/Regulamento_5_2024_ProjetosI&D.pdf | Bin 0 -> 2279731 bytes pex2024/documents/Regulation_on_projects_FCT_EN.pdf | Bin 462502 -> 0 bytes pex2024/documents/zz-prev/Application_Guide_PeX_2023.pdf | Bin 0 -> 1122892 bytes pex2024/documents/zz-prev/Aviso_de_Abertura_PEX_2023.pdf | Bin 0 -> 479233 bytes pex2024/documents/zz-prev/Data_Protection_PEX_2023.pdf | Bin 0 -> 246082 bytes pex2024/documents/zz-prev/Ethics_Self_Assessment_Guide.pdf | Bin 0 -> 271755 bytes pex2024/documents/zz-prev/Guiao_CIENCIAVITAE.pdf | Bin 0 -> 928750 bytes pex2024/documents/zz-prev/Regulation_on_projects_FCT_EN.pdf | Bin 0 -> 462502 bytes pex2024/tasks.md | 253 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ zugzwang.code-workspace | 1 + 22 files changed, 449 insertions(+), 1 deletion(-) create mode 100644 pex2024/Tasks and Timeline.gdsheet delete mode 100644 pex2024/documents/Application_Guide_PeX_2023.pdf create mode 100644 pex2024/documents/Application_Guide_PeX_2023_V2.pdf delete mode 100644 pex2024/documents/Aviso_de_Abertura_PEX_2023.pdf create mode 100644 pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacao.pdf create mode 100644 pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacaoII.pdf delete mode 100644 pex2024/documents/Data_Protection_PEX_2023.pdf create mode 100644 pex2024/documents/FAQ_PEX_2023_republicacao.pdf create mode 100644 pex2024/documents/MetodologiaAplicacaoCustosSimplificados_MontantesFixos.pdf create mode 100644 pex2024/documents/PeX2023_GuideforPeerReviewers.pdf create mode 100644 pex2024/documents/Protecao_Dados_Pessoais_PEX_2023.pdf create mode 100644 pex2024/documents/Regulamento_5_2024_ProjetosI&D.pdf delete mode 100644 pex2024/documents/Regulation_on_projects_FCT_EN.pdf create mode 100644 pex2024/documents/zz-prev/Application_Guide_PeX_2023.pdf create mode 100644 pex2024/documents/zz-prev/Aviso_de_Abertura_PEX_2023.pdf create mode 100644 pex2024/documents/zz-prev/Data_Protection_PEX_2023.pdf create mode 100644 pex2024/documents/zz-prev/Ethics_Self_Assessment_Guide.pdf create mode 100644 pex2024/documents/zz-prev/Guiao_CIENCIAVITAE.pdf create mode 100644 pex2024/documents/zz-prev/Regulation_on_projects_FCT_EN.pdf create mode 100644 pex2024/tasks.md diff --git a/pex2024/Tasks and Timeline.gdsheet b/pex2024/Tasks and Timeline.gdsheet new file mode 100644 index 0000000..5717f31 --- /dev/null +++ b/pex2024/Tasks and Timeline.gdsheet @@ -0,0 +1 @@ +{"url": "https://docs.google.com/spreadsheets/d/1rI6KWeT19Wcw7CTuUIyQNenzpTsW4VhBXbRtGVBFn6k/edit?usp=drivesdk", "file_id": "1rI6KWeT19Wcw7CTuUIyQNenzpTsW4VhBXbRtGVBFn6k", "account_email": "mangon@gmail.com"} \ No newline at end of file diff --git a/pex2024/candidatura.md b/pex2024/candidatura.md index a37c24a..a682059 100644 --- a/pex2024/candidatura.md +++ b/pex2024/candidatura.md @@ -1,5 +1,196 @@ # Candidatura PEx - Zugzwang +## Filling Application Form + +### General Data + +- Title: Induction of Stochastic Answer Set Programs by Algebraic Means +- Project Acronym: IAM +- Keywords: (<= 4) +- Main Scientific Area (Sci Domain + Sci Area + Sci sub-area): +- Timetable: (Start date + duration) + +### Institutions + +- Principal Contractor: (NIPC; Research Unit; description; competencies) +- Collaborative Institutions: (All in the Portal de Ciência e Tecnologia?) + +### Research Team + +- Principal Investigator (name; role; ciencia Id; ciencia vitae in english) +- PI narrative CV: + - Contributions to the generation of new ideas, tools, methodologies, or knowledge + - Contributions to the development of individuals and/or research teams + - Contributions to the research community and the broader society + - Selected outputs and/or activities + - Why would this grant be timely for me, at this point in my career path and/or in my research? +- Members: (email; institution) +- Hirings: (type (contract or scholarship); institution associated with the hiring) +- Consultants: (email; framework fo participation) +- Team CV synopsis: (justify the framework and competencies of the research team and its coherence with the proposed work plan) + - team scientific activity last 5 years + - most relevant scientific achievements + - demonstrate competence in the area + +### Work Plan + +- **Abstract.** summary in portugues and english; analysis state of the art; main goals; knowledge and skills in the group; strategy and methodologies; novelty; expected results. +- **State of the art and Objectives.** overview of PI research field; state of the art in connection with ground-breaking nature and potential impact; references to PI previous work: + - To what extent does the proposed research address important challenges? + - To what extent are the objectives ambitious and beyond the state of the art (e.g. novel concepts and approaches or development between or across disciplines)? +- **Research plan and methods.** + - To what extent is the outlined scientific approach feasible bearing in mind the originality and/or ground-breaking potential of the proposed research? + - To what extent are the proposed research methodology and working arrangements appropriate to achieve the goals of the project? + - To what extent are the proposed timelines, resources, and PI´s commitment adequate and properly justified? +- **Bibliographic references.** (references cited in the state of art and in the research plan and methods) +- **Past publications.** (five publications; articles, books or monographs published or accepted for publication, authored or co-authored by the PI and the members of the research team) +- **Tasks.** + - **Task denomination**, concise and self-explanatory + - **Task description and expected results** + - objectives in the context of the project + - methodologies and approaches + - expected results and preconditions to subsequent tasks + - link to other tasks (?) + - role of each partner and institution + - justification for the needed resources (human and material) + - **Assigned** team members. + - **Person*month** person's percentage dedication * task duration in months + - **Start date; duration** (in months) -_no period without tasks_ + - **Deliverables; delivery dates** (essential for effective project monitoring) + - type (report; data management plan; websites; etc) + - _**Lump sums** are paid based on evidence and results showing achieved deliverables and budged_ + - **Budgets.** + - **Overall cost justification of the task** + - breakdown by budget item detail of how this value is obtained + - estimates must meet eligibility criteria of N.4 from "Public Announcement of the Call" + - **Amount requested for the task** + - Include 25% overheads + - Consistent with the _Principal Contractor Budget table in application form_ + - Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" +- **Project timeline and management.** list of milestones, the timeline and the description of the management structure + - **Milestones list** + - milestone = objective achieved; phase completed; result obtained + - include what can be demonstrated or reported on that date + - up to 6 milestones + - select tasks associated with the milestone + - mark milestones on the **timeline**. + - **Timeline** + - start with the available spreadsheet + - upload "timeline.pdf" + - Indicate **partner responsible for task**; **acronyms of partners involved** + - **Management** project management structure: coordination; meetings; reporting structure +- **Ethical issues.** are any ethical issues identified in the project? +- **2030 Agenda.** Sustainable Development Goals (SDGs) + - identify **one, or up to a maximum of three**, of the 17 Sustainable +Development Goals of the United Nations 2030 Agenda and justify how the application fits into the selected SDGs. +- **Other projects.** Projects approved through peer review, led by the PI and started less than 5 years ago, completed or in progress should be listed. Additionally, please detail all projects, led by the PI, submitted and under peer-review evaluation. +- **Attachments.** additional documents corresponding to formulas, schemes, diagrams, graphics, images and support letters. + +### Indicators + +- **Expected Output Indicators.** + - outputs should be realistic and achievable and include publications, communications, reports, organization of seminars, advanced training and others. + - used to evaluate the adequacy of the final results to the results foreseen in the application +- **Dissemination** + - plan for disseminating results and promoting knowledge and scientific dissemination + - plan for disseminating knowledge transfer + - included in the expected indicators and include actions for + - disseminating scientific culture, + - promoting and disseminating knowledge, + - technical/scientific publications, + - conferences, + - seminars, + - forums, and + - actions aimed at target sectors, or + - others + +### Budget + +- filled in by item +- global values and justification of budgetary needs declared for each task +- account the funding limit and the basic eligibility criteria +- Lump Sum budget information will serve exclusively for the evaluation of the reasonableness and feasibility of the project + +- **Principal Contractor** fill in the requested funding for each budget category along with the corresponding justification. +- **Funding Plan** Global Budget and Funding Plan tables that are automatically filled out + +### Statement of Commitment + +- Mark the respective check box. + +### Validate and Submit + +- The presence of errors prevents the submission of the application. + +## After Submission + +> Is this to be done by me? + +### Statement of Commitment from the Principal Contractor + +- available on myFCT for the respective agreement by the highest authority of the institution or someone delegated by them after the deadline for submitting applications and until **5:00 PM, Lisbon time, of March 1st, 2024** - WHAT? +- Portal de Ciência e Tecnologia (PCT) + +### Delegation of Access in the PCT + +### Acceptance of Applications in myFCT + + +## Tarefas + +- [ ] Prepare the application carefully and timely. +- [ ] Read carefully the instructions provided in this Guide and in the Application form. +- [ ] Learn about the structure of the Application form before beginning filling it in. Read all the sections of the Application form in advance, in order to have an idea of what is being asked and to have the necessary time to gather all the information required for submission. +- [ ] Make sure that all the institutions to be included in the application are available on the Application form. If they are not on the list, they have to be added through the Registration of Institutions form via the Portal de Ciência e Tecnologia (available only in Portuguese). It can take up to two working days for a new institution to become available once the form is filled. +- [ ] Contact the researchers to be included in the application team in advance and ask them to register on the CIÊNCIA ID platform and to provide the applicant with the CIÊNCIA ID registration email address. +- [ ] Make sure an updated version of CIÊNCIAVITAE is available and ensure that the same goes for all members associated to the research team of the project. +- [ ] Make sure that each Institution selected in the application form has a team member associated. +- [ ] Prepare the Lump Sum funding of the application carefully and adequately. +- [ ] Ensure that the URL addresses of bibliographical references or other relevant material remain active throughout the decision-making process. +- [ ] Do not assume that the form and rules for submission of this application are the same as those used in other FCT programs or by other funding Agencies. +- [ ] Do not wait until the last minute to validate and make any corrections to the application. There is a myFCT validation process, to detect possible errors in your application, which can implicate corrections and the need for extra time. Please repeat this validation process regularly. +- [ ] Plan and complete the application process as early as possible. Only in this way FCT will be able to provide the best possible assistance. +- [ ] Visit the FCT website regularly for updated information regarding the Call. +- [ ] Write the application in such a way as to convince the panel of experts that the ideas presented deserve to be funded.Write the application in such a way as to convince the panel of experts that the ideas presented deserve to be funded. +- [ ] It is important to describe the institutions involved in the project and their respective skills and contribution to the development of the project. +- [ ] Remember that the application represents a commitment, not only from the Principal Investigator, but also from the entire research team. +- [ ] Be realistic in terms of expectations and, if the proposal is approved, make sure that the research team is able to carry it out as planned in the application. +- [ ] Read the Guide for Peer Reviewers carefully to understand how the application will be evaluated and make sure that the application addresses those crucial points. +- [ ] Avoid repeating the same text or entire paragraphs in different sections. + +## Testemunhos + +- [ ] Comprovativo de Doutoramento do PI +- [ ] Vínculo Laboras com o Principal Contractor () + +## Agenda + +```gantt +title Zugzwang +dateformat YYYY-MM-DD + +section Milestones + milestone1 :ms1, 1d + milestone2 : after ms1, 1d +``` +## Avaliação + +1. Qualidade científica (A1) e carácter inovador (A2) do projeto numa ótica internacional. +2. Mérito científico do/a IR e da equipa de investigação (B1), incluindo impacto da execução do projeto no desenvolvimento da carreira do IR e/ou da sua investigação (B2). +3. Exequibilidade do programa de trabalhos e dos indicadores de realização propostos (C1), assim como razoabilidade orçamental (C2). + +O mérito do projeto é obtido através de: + +``` +MP = 0,40 (0,50 A1 + 0,50 A2) + + 0,35 (0,60 B1 + 0,40 B2) + + 0,25 (0,50 C1 + 0,50 C2)​​​ +``` + +## Questões + +- O _Principal Contractor_ é a UÉvora ou o NOVALINCS? +- ## 2024-01-05 - Next Research Lines @@ -45,6 +236,8 @@ Consider: ##### Line 1c - The equivalence relation +Previous work defines one specific equivalence relation in the events associated to a ASP program to score that program but other equivalence relations can provide more effective scoring algorithms. + Consider the cases where only $s \subseteq e$ and $e \subseteq s$. Or other refinements. Also consider the inconsistent and independent events. ##### Line 1d - Stability of the error function @@ -103,7 +296,7 @@ Scoring programs, as described in our paper, is just a step into **Inductive Log - [ ] Submeter - [ ] Redigir - [ ] Preparar - - [ ] Consultar documentação + - [-] Consultar documentação - [ ] Reunir requisitos - [ ] Delinear proposta diff --git a/pex2024/documents/Application_Guide_PeX_2023.pdf b/pex2024/documents/Application_Guide_PeX_2023.pdf deleted file mode 100644 index cfca14f..0000000 Binary files a/pex2024/documents/Application_Guide_PeX_2023.pdf and /dev/null differ diff --git a/pex2024/documents/Application_Guide_PeX_2023_V2.pdf b/pex2024/documents/Application_Guide_PeX_2023_V2.pdf new file mode 100644 index 0000000..c646a91 Binary files /dev/null and b/pex2024/documents/Application_Guide_PeX_2023_V2.pdf differ diff --git a/pex2024/documents/Aviso_de_Abertura_PEX_2023.pdf b/pex2024/documents/Aviso_de_Abertura_PEX_2023.pdf deleted file mode 100644 index a460546..0000000 Binary files a/pex2024/documents/Aviso_de_Abertura_PEX_2023.pdf and /dev/null differ diff --git a/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacao.pdf b/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacao.pdf new file mode 100644 index 0000000..944e259 Binary files /dev/null and b/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacao.pdf differ diff --git a/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacaoII.pdf b/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacaoII.pdf new file mode 100644 index 0000000..6443de6 Binary files /dev/null and b/pex2024/documents/Aviso_para_Apresentacao_Candidaturas_PeX_2023_republicacaoII.pdf differ diff --git a/pex2024/documents/Data_Protection_PEX_2023.pdf b/pex2024/documents/Data_Protection_PEX_2023.pdf deleted file mode 100644 index 8e0d76e..0000000 Binary files a/pex2024/documents/Data_Protection_PEX_2023.pdf and /dev/null differ diff --git a/pex2024/documents/FAQ_PEX_2023_republicacao.pdf b/pex2024/documents/FAQ_PEX_2023_republicacao.pdf new file mode 100644 index 0000000..5b6d727 Binary files /dev/null and b/pex2024/documents/FAQ_PEX_2023_republicacao.pdf differ diff --git a/pex2024/documents/MetodologiaAplicacaoCustosSimplificados_MontantesFixos.pdf b/pex2024/documents/MetodologiaAplicacaoCustosSimplificados_MontantesFixos.pdf new file mode 100644 index 0000000..0eea4cc Binary files /dev/null and b/pex2024/documents/MetodologiaAplicacaoCustosSimplificados_MontantesFixos.pdf differ diff --git a/pex2024/documents/PeX2023_GuideforPeerReviewers.pdf b/pex2024/documents/PeX2023_GuideforPeerReviewers.pdf new file mode 100644 index 0000000..e2f116e Binary files /dev/null and b/pex2024/documents/PeX2023_GuideforPeerReviewers.pdf differ diff --git a/pex2024/documents/Protecao_Dados_Pessoais_PEX_2023.pdf b/pex2024/documents/Protecao_Dados_Pessoais_PEX_2023.pdf new file mode 100644 index 0000000..fa21aa0 Binary files /dev/null and b/pex2024/documents/Protecao_Dados_Pessoais_PEX_2023.pdf differ diff --git a/pex2024/documents/Regulamento_5_2024_ProjetosI&D.pdf b/pex2024/documents/Regulamento_5_2024_ProjetosI&D.pdf new file mode 100644 index 0000000..e6095a4 Binary files /dev/null and b/pex2024/documents/Regulamento_5_2024_ProjetosI&D.pdf differ diff --git a/pex2024/documents/Regulation_on_projects_FCT_EN.pdf b/pex2024/documents/Regulation_on_projects_FCT_EN.pdf deleted file mode 100644 index faac185..0000000 Binary files a/pex2024/documents/Regulation_on_projects_FCT_EN.pdf and /dev/null differ diff --git a/pex2024/documents/zz-prev/Application_Guide_PeX_2023.pdf b/pex2024/documents/zz-prev/Application_Guide_PeX_2023.pdf new file mode 100644 index 0000000..cfca14f Binary files /dev/null and b/pex2024/documents/zz-prev/Application_Guide_PeX_2023.pdf differ diff --git a/pex2024/documents/zz-prev/Aviso_de_Abertura_PEX_2023.pdf b/pex2024/documents/zz-prev/Aviso_de_Abertura_PEX_2023.pdf new file mode 100644 index 0000000..a460546 Binary files /dev/null and b/pex2024/documents/zz-prev/Aviso_de_Abertura_PEX_2023.pdf differ diff --git a/pex2024/documents/zz-prev/Data_Protection_PEX_2023.pdf b/pex2024/documents/zz-prev/Data_Protection_PEX_2023.pdf new file mode 100644 index 0000000..8e0d76e Binary files /dev/null and b/pex2024/documents/zz-prev/Data_Protection_PEX_2023.pdf differ diff --git a/pex2024/documents/zz-prev/Ethics_Self_Assessment_Guide.pdf b/pex2024/documents/zz-prev/Ethics_Self_Assessment_Guide.pdf new file mode 100644 index 0000000..ce1f2a5 Binary files /dev/null and b/pex2024/documents/zz-prev/Ethics_Self_Assessment_Guide.pdf differ diff --git a/pex2024/documents/zz-prev/Guiao_CIENCIAVITAE.pdf b/pex2024/documents/zz-prev/Guiao_CIENCIAVITAE.pdf new file mode 100644 index 0000000..14126e5 Binary files /dev/null and b/pex2024/documents/zz-prev/Guiao_CIENCIAVITAE.pdf differ diff --git a/pex2024/documents/zz-prev/Regulation_on_projects_FCT_EN.pdf b/pex2024/documents/zz-prev/Regulation_on_projects_FCT_EN.pdf new file mode 100644 index 0000000..faac185 Binary files /dev/null and b/pex2024/documents/zz-prev/Regulation_on_projects_FCT_EN.pdf differ diff --git a/pex2024/tasks.md b/pex2024/tasks.md new file mode 100644 index 0000000..3596fff --- /dev/null +++ b/pex2024/tasks.md @@ -0,0 +1,253 @@ +# Tasks + +## Task List + +### Task LPSP + +- **Denomination** + - Logic Programs Structure and Properties +- **Description and expected results:** + - **Objectives**: Clarify the role of logic program structure, eg stratified, or recursive programs or functional symbols, in the equivalence relation of events classes. + - **Methods**: Investigate the types of logic program structures, how they affect known ILP systems and what is the relationship with our approach. + - **Expected Results**: Two papers accepted in A* or A international conferences or Q1 journals. + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: Members should present the results in international conferences, requiring support for registration, travel, accommodation and food. +- **Assigned team members:** + - Francisco Coelho, Universidade de Évora + - Bruno Dinis, Universidade de Évora + - Salvador Abreu, Universidade de Évora +- **Person*Month:** + - [TODO] +- **Deliverables:** + - Paper ONE in International Conference: M08 +- **Budget** + - Registration, travel, accommodation and food for conference ONE: 3000,00€ + - Total, including 25% overheads: 3750,00€ + +### Task LPEQ + +- **Denomination** + - The Role of Equivalence Relations in Scoring Programs +- **Description and expected results** + - **Objectives**: Clarify the role of the equivalence relation, used to partition the event space, in the performance of methods and applications. + - **Methods**: Investigate variations of the equivalence relation, eg considering only super-events instead of super- and sub-events, and the resulting effects. + - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal. + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food. +- **Assigned team members** + - Francisco Coelho, Universidade de Évora + - Bruno Dinis, Universidade de Évora +- **Person*Month** + - [TODO] +- **Deliverables** + - Paper TWO in International Conference: M09 - M17 +- **Budget** + - Registration, travel, accommodation and food for conference TWO: 3000,00€ + - Total, including 25% overheads: 3750,00€ + +### Task LPERR + +- **Denomination** + - The Role of the Error Function +- **Description and expected results** + - **Objectives**: Explore the role of the error function, used to score a probabilistic ASP wrt observations, in the performance of methods and applications. + - **Methods**: Investigate variations of the error function, eg Kullback-Leibler divergence instead of the L2 used, observation sets form various domains, and the resulting effects. + - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal. + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food. +- **Assigned team members** + - Francisco Coelho, Universidade de Évora + - Ligia Henriques-Rodrigues, Universidade de Évora +- **Person*Month** + - [TODO] +- **Deliverables** + - Paper THREE in International Conference: M01 - M08 +- **Budget** + - Registration, travel, accommodation and food for conference THREE: 3000,00€ + - Total, including 25% overheads: 3750,00€ + +### Task ISASTSE + +- **Denomination** + - Inductive Stochastic Answer Set Programs by Space Exploration +- **Description and expected results** + - **Objectives**: Proceed from scoring programs to induce ASP programs using genetic algorithms or other program space exploration methods. + - **Methods**: Investigate program transformation and program space exploration methods and rules. + - **Expected Results**: One paper accepted in A* or A international conference or Q1 journal. + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: A member should present the results in an international conference, requiring support for registration, travel, accommodation and food. +- **Assigned team members** + - Francisco Coelho, Universidade de Évora + - Salvador Abreu, Universidade de Évora +- **Person*Month** + - [TODO] +- **Deliverables** + - Paper FOUR in International Conference: M01 - M09 +- **Budget** + - Registration, travel, accommodation and food for conference FOUR: 3000,00€ + - Total, including 25% overheads: 3750,00€ + +### Task ISF + +- **Denomination** + - Integration with existing ASP and ILP software frameworks +- **Description and expected results** + - **Objectives**: Exploit and contribute to existing ASP frameworks, such as Potassco. + - **Methods**: Implement a library to parse the ASP language extended with probabilistic annotations; utilize existing ASP frameworks to compute stable models; compute the event classes and respective probabilities. + - **Expected Results**: A library, and the respective API, to parse extended ASP; interface with existing ASP frameworks; compute event classes and respective probabilities. + - **Links to other tasks**: + - Result: Task HPC; deliverable: Library API + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: + - The implementation amount and complexity requires a fulltime PhD student working over a year, using a suitable laptop. +- **Assigned team members** + - Francisco Coelho, Universidade de Évora + - BI Scholarship fellow, Universidade de Évora +- **Person*Month** + - [TODO] +- **Deliverables** + - Software Library Repository: M03 - M15 + - Library API: M06 + - Implementation Report: M16 +- **Budget** + - Laptop computer: 2600,00€ + - BI Scholarship: 13735,68€ = 1144,64€ x 12 months + - Total, including 25% overheads: 20419,60€ + +### Task HPC + +- **Denomination** + - High Performance Computing for Induction and Use of SASP +- **Description and expected results** + - **Objectives**: Use High Performance Computing systems to speedup and scale-up applications of our methods. + - **Methods**: Benchmark the benefits of data and process distribution on High Performance Computing systems. + - **Expected Results**: Report on the performance of the distributed versions of the programs to interface with existing ASP frameworks and compute event classes and respective probabilities. + - **Links to other tasks**: + - Precondition: Task ISF; Deliverable: Library API + - **Partners and Institution Roles**: + - Universidade de Évora [ROLES] + - High Performance Computing Chair [ROLES] + - **Justification for the needed resources**: [TODO] +- **Assigned team members** + - Francisco Coelho, Universidade de Évora + - Miguel Avillez, High Performance Computing Chair +- **Person*Month** + - [TODO] +- **Deliverables** + - Software Library Repository: M06 - M18 + - Implementation Report: M18 +- **Budget** + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call") + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" + +### Task APPT + +- **Denomination** + - Applications of Stochastic ASP in Theoretic Scenarios +- **Description and expected results** + - **Objectives**: [TODO] + - **Methods**: [TODO] + - **Expected Results**: [TODO] + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: [TODO] +- **Assigned team members** + - [TODO] Member +- **Person*Month** + - [TODO] +- **Deliverables** + - [TODO]Type and Description; evidences and results +- **Budget** + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call") + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" + +### Task APPS + +- **Denomination** + - Applications of Stochastic ASP in Statistic Tasks +- **Description and expected results** + - **Objectives**: [TODO] + - **Methods**: [TODO] + - **Expected Results**: [TODO] + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: [TODO] +- **Assigned team members** + - [TODO] Member +- **Person*Month** + - [TODO] +- **Deliverables** + - [TODO]Type and Description; evidences and results +- **Budget** + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call") + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" + +### Task APPW + +- **Denomination** + - Applications of Stochastic ASP in Real World Cases +- **Description and expected results** + - **Objectives**: [TODO] + - **Methods**: [TODO] + - **Expected Results**: [TODO] + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: [TODO] +- **Assigned team members** + - [TODO] Member +- **Person*Month** + - [TODO] +- **Deliverables** + - [TODO]Type and Description; evidences and results +- **Budget** + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call") + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" + +### Task TaskID + +- **Denomination** + - [TODO] concise and self-explanatory +- **Description and expected results** + - **Objectives**: [TODO] + - **Methods**: [TODO] + - **Expected Results**: [TODO] + - **Links to other tasks**: [TODO] (preconditions and results) + - **Partners and Institution Roles**: Universidade de Évora [TODO] [ROLES] + - **Justification for the needed resources**: [TODO] +- **Assigned team members** + - [TODO] Member +- **Person*Month** + - [TODO] +- **Deliverables** + - [TODO]Type and Description; evidences and results +- **Budget** + - [TODO] Item justification (criteria of N.4 from "Public Announcement of the Call") + - [TODO] Amount requested for the task: Include 25% overheads; Consistent with the _Principal Contractor Budget table in application form_; Ensure "total amount of funding requested by institution" = "total costs of the tasks in which the institution participates" + +## Project Timeline + +```gantt +title IAM +dateFormat YYYY-MM-DD + +section Tasks + + task1 :a1, 2024-09-01, 30d +``` + +- **Project timeline and management.** list of milestones, the timeline and the description of the management structure + - **Milestones list** + - milestone = objective achieved; phase completed; result obtained + - include what can be demonstrated or reported on that date + - up to 6 milestones + - select tasks associated with the milestone + - mark milestones on the **timeline**. + - **Timeline** + - start with the available spreadsheet + - upload "timeline.pdf" + - Indicate **partner responsible for task**; **acronyms of partners involved** + - **Management** project management structure: coordination; meetings; reporting structure \ No newline at end of file diff --git a/zugzwang.code-workspace b/zugzwang.code-workspace index 89e2e1a..1367a5d 100644 --- a/zugzwang.code-workspace +++ b/zugzwang.code-workspace @@ -14,6 +14,7 @@ "cSpell.words": [ "biblatex", "CREDAL", + "Hirings", "interpretability", "println", "stablecore", -- libgit2 0.21.2