Starting Calls

Francisco Coelho
1 parent b6e04759
Showing 13 changed files with 151 additions and 0 deletions Show diff stats
biblio/sota/Answer set programming and plan generation.pdf
biblio/sota/Explanations as Programs in Probabilistic Logic Programming.pdf
biblio/sota/Statistical Statements in Probabilistic Logic Programming.pdf
projecto-NovaLincs/00-Application_Form-FINAL.md
projecto-NovaLincs/00-Application_Form-FINAL.pdf
projecto-NovaLincs/00-Call-TEMPLATE.md
projecto-NovaLincs/00-Call-TEMPLATE.pdf
projecto-NovaLincs/01-Call-DRAFT.md
projecto-NovaLincs/01-Call-DRAFT.pdf
projecto-NovaLincs/NOVA LINCS.UE TRA Application Form | Zugzwang.docx
projecto-NovaLincs/TdOS-JasonMAllen.jpg
projecto-NovaLincs/demo-markdown.md
projecto-NovaLincs/demo-markdown.pdf
@@ -0,0 +1,53 @@
+# Zugzwang | Logic and Artificial Intelligence
+
+## Team
+
+- Francisco Coelho
+- Salvador Abreu (PI)
+- Bruno Dinis (External Collaborator)
+
+## Research Questions
+
+How to extend probability annotations on an ASP program to a distribution over the possible observations? In general, the association of probabilities to some facts is not enough to uniquely define a probability of stable models. This lack of information must be carefully expressed and handled, to avoid biased results.
+
+Once made explicit, how to use such distribution, together with an empiric distribution from a dataset, to do general probabilistic tasks such as the estimation of a marginal or of the joint probability? Having a probability on a set of observations, including the stable models, might not cover all the sample space. Again, information and structure entailed from the ASP program must guide unbiased extensions to the sample space.
+
+How to use distribution measures to score ASP programs? We view ASP programs as formalized knowledge about an observable system. Some of those programs will be "better" than others, as determined by a quantitative, objective, measure, rooted on well-known functions such as the Kullback–Leibler divergence.
+
+This last question leads to the application of evolutionary algorithms to inductive logic programming and to a bridge with common machine learning methods, where a model is scored by a dataset. Other important questions lie behind the scope of this project. For example, how to deal with latent, unobserved, variables? 
+
+## Novelty/Impact
+
+ASP has some key advantages over Prolog, most of which result from ASP being a truly declarative language and modern APS systems, such as CLASP, apply efficient optimisation techniques. Other systems, like ILASP, learn ASP programs with normal rules, choice rules, and hard and weak constraints. Moreover, ASP can use recent important advances concerning SAT solvers to ILP tasks. However, the assumption that the knowledge base (BK) is perfect, leaving no room for uncertainty, poses here a major limitation. 
+
+One approach to overcome this restriction on logic programs is Statistical Relationship Learning (StarAI), that extends the BK with probabilities in order to setup a distribution representation. The formal setting for this approach rests on Sato's Distribution Semantics and frames systems such as Problog and PRISM. But these systems are oriented towards Prolog-like programs and semantic and leave out ASP program learning.
+
+One important ongoing research question is the precise semantic of an ASP program annotated with probabilities. Sato's semantic specify an unique probability distribution over Prolog-like program's atoms, but this uniqueness fails for ASP programs. Efforts to address this problem are either based on Credal sets or on selecting one probability over others, such as the P-log, the LP^MLN or the PrASP languages.
+
+The novelty of this research is to define the semantic of an ASP program + probability annotated facts + observations from the following process: (a) parametrise the uncertainty on stable models and annotations, (b) setup a partition of the sample space around on the stable models and (c) use observations to estimate the value of the uncertainty parameters of step (a).
+If successful, it would have an impact on how logic programs express and are used to deal with real-world problems, where both uncertainty and formal KB are required ingredients. Also, when used in ILP problems the resulting models are logic programs, much simpler to understand than numeric models. 
+
+## Expected Results / Demonstrators
+
+Our aim is to develop a set of software tools to apply and evaluate the theoretical results on well-known, and relevant, problems. The initial target framework is the Potassco suite, that provides a Python API to state-of-the-art grounding (CLASP) and solving (CLINGO) tools, as well as ASP-Core-2 Language support.
+
+The researchers will do the theoretical study and supervise one to three undergraduate, master or Ph.D. students on the implementation tasks. Theoretical work includes formalization and assessment of methods; The students will implement the tools required to experiment, explore and test those methods. The degree of complexity of the implementation tasks must be adapted to the individual competences and interests of the students.
+
+The theoretical work is to be reported in one or two papers with intermediate results and a final comprehensive paper for a conference.
+
+## Relationship of activity w/ NOVA LINCS strategic program and Research Group work plan
+
+This project involves two members from the NOVA LINCS "Knowledge-Based Systems" research group, from the Universidade de Évora pole and a member of the CIMA center from the Universidade de Évora.
+
+Part of the proposed research and software is currently being developed.
+
+## Resources required and justification
+
+Students are expected to benefit from a BIC or a BI scholarship. Depending on the candidates the respective durations can range from 3 to 12 months and the respective amounts from 486.12€ to 1144.64€ per month.
+
+Considering one undergraduate student with a 3 month scholarship:
+
+- 972.24 € = 3 months x 486.12 €/month;
+- TOTAL: 972.24 €
+
+
@@ -0,0 +1,54 @@
+# Concurso Bolsa | TEMPLATE
+
+- _centro de investigação ou departamento_
+
+- _identificação da tipologia de bolsa oferecida e número de vagas_
+
+- _dia_ de _mês_ de 2023
+
+Encontra-se aberto concurso para a atribuição de _número_ Bolsas _tipo_ no âmbito do projeto _título do projeto_, _referência_, financiado por fundos nacionais através da _…_ exemplo: FCT/MCTES e cofinanciado pelo Fundo Europeu de Desenvolvimento Regional _FEDER_ através do COMPETE – Programa Operacional Fatores de Competitividade _POFC_ _quando aplicável_, nas seguintes condições:
+
+- **Área Científica:** …
+
+- **Requisitos de admissão:** _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
+Escolher uma opção: 
+
+  - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 3º e 6º, os candidatos a BI _Bolsas de Investigação_ devem cumprir como condição para a atribuição da bolsa, a inserção efetiva em ciclos de estudos conducentes à atribuição de graus académicos ou em cursos não conferentes de grau académico. Os cursos não conferentes de grau académico correspondem aos cursos previstos na alínea e_ do nº 3 do artigo 4º do Decreto-Lei nº74/2006 de 24 de março e deverão ser desenvolvidos numa instituição de ensino superior em associação a pelo menos uma unidade de I&D, incluindo-se o plano do curso numa ou em várias áreas de investigação da unidade.
+  - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 5º, — As BII _Bolsas de Iniciação à Investigação_ não podem ser atribuídas a quem já tenha beneficiado de bolsas de investigação direta ou indiretamente financiadas pela FCT, atribuídas nos termos do Estatuto do Bolseiro de Investigação.
+  - Relativamente às BIPD _Bolsas de Investigação Pós-doutoral_, ao nível dos requisitos a verificar para atribuição das mesmas _artigo 7º do Regulamento de Bolsas de Investigação da FCT nº950/2019_ destaca-se a necessidade do grau de doutor ter sido obtido nos 3 anos anteriores à data de submissão da candidatura à bolsa e, ao nível da sua execução, o facto de apenas poder ser renovada até ao prazo máximo de 3 anos.
+
+- **Plano de trabalhos:** _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
+
+- **Legislação e regulamentação aplicável:** A concessão da Bolsa de Investigação será realizada mediante a celebração de um contrato entre a Universidade de Évora e o bolseiro conforme minuta <https://www.fct.pt/apoios/Minuta_Contrato_Bolsa.docx> , nos termos do Estatuto do Bolseiro de Investigação _Lei nº40/2004 de 18 de agosto e decreto-lei nº 123/2019 de 28 de agosto_ e de acordo com a legislação e Regulamento de Bolsas de Investigação da Fundação para a Ciência e a Tecnologia, I.P em vigor, regulamento nº950/2019 de 16 de dezembro de 2019: <https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt> e demais normas aplicáveis.
+
+- **Local de trabalho:** O trabalho será desenvolvido no(a) _denominação da unidade de investigação_ da Universidade de Évora, sob a orientação científica do Professor(a)/Doutor(a) ………
+
+- **Duração da(s) bolsa(s):** A bolsa terá a duração de ..... meses, com início previsto em ..... _mês_ de .......... _ano_. O contrato de bolsa poderá ser renovado até _ex._ ao máximo de ….. meses ou até ao final da dotação orçamental do projeto de financiamento _…_.
+
+- **Valor do subsídio de manutenção mensal:** O montante da bolsa corresponde a €………., conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País _http://fct.pt/apoios/bolsas/valores_, sendo os pagamentos efetuados mensalmente, através de cheque ou transferência bancária.
+
+- **Métodos de seleção:** Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
+
+- **Composição do Júri de Seleção:** _identificação do Presidente do Júri e dos vogais efetivos e suplentes_
+
+- **Forma de publicitação/notificação dos resultados:** Os resultados finais da avaliação serão publicitados, através de lista ordenada _alfabeticamente, por nota final obtida ou outra_ afixada em local visível e público do(a) _indicar local da instituição_, sendo o candidato(a) aprovado(a) notificado através de _email, ofício ou outro_.
+Nos termos de direito de audiência prévia dos interessados o projeto de Classificação Final será anunciado por qualquer meio escrito a todos os interessados.
+Após comunicação da lista provisória dos resultados da avaliação, os candidatos dispõem de um período de 10 dias úteis para, querendo, se pronunciarem em sede de audiência prévia de interessados. 
+
+- **Prazo de candidatura e forma de apresentação das candidaturas:** O concurso encontra-se aberto no período de ......................... a ......................... de 2022 e os resultados da seleção serão publicados até………………..de………………….de 2022. _O prazo de apresentação de candidaturas não deve ser inferior a 10 dias úteis_.
+
+- **As candidaturas devem ser formalizadas**, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.
+  - Para efeitos de candidatura os comprovativos podem ser substituídos por declaração de honra do candidato, mas a não demonstração, em fase de contratualização, da posse do grau exigido à data limite da candidatura ou a não apresentação dos comprovativos de matrícula ou inscrição em ciclo de estudos ou curso não conferente de grau, para as bolsas com essa componente, implicam a anulação da avaliação do candidato. 
+  - Os graus académicos obtidos em países estrangeiros necessitam de registo por uma Instituição Portuguesa de acordo com o Decreto-lei nº. 66/2018, de 16 de agosto e a Portaria nº. 33/2019, de 25 de janeiro. A apresentação do certificado é obrigatória para a assinatura do contrato. 
+  Mais informação poderá ser obtida em:  <https://www.dges.gov.pt/pt/pagina/reconhecimento?plid=374>
+
+
+- **As candidaturas deverão ser remetidas por e-mail para:**
+    - Prof. Doutor(a)………………….
+    - _Centro/Dep._……………………………….. da Universidade de Évora
+    - e-mail: 
+
+
+
+_logos do programa de financiamento quando aplicável_
+
@@ -0,0 +1,12 @@
+# Concurso Bolsa | Zugzwang | DRAFT
+
+> A minuta das candidatura define vários campos a preencher. Quase todos são triviais mas os restantes são **críticos**. Estes necessitam de consenso entre nós.
+> 
+> Além disso, no projeto ficou em aberto o número e tipologia de bolsas. Agora temos de concretizar essas opções: **Exatamente,** quantas bolsas de que tipo?
+
+## Campos Críticos
+
+- **Requisitos de admissão:** _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
+- **Plano de trabalhos:** _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
+- **Métodos de seleção:** Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.  
+- **As candidaturas devem ser formalizadas**, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.<<<>>>
 \ No newline at end of file
@@ -0,0 +1,32 @@
+# Título
+
+> O `markdown` permite formatar um documento seguindo algumas convenções facilmente legíveis, ao contrário, por exemplo, do `LaTeX`. 
+> 
+> Este fragmento de texto é uma "citação" e pode ter vários parágrafos.
+> Como no `LaTeX`, é precisa uma linha de intervalo entre parágrafos.
+
+A formatação de `markdown` é muito simples: usam-se dois `**` para **negrito** e um `_`  para _itálico_. Para `fonte fixa` usa-se o acento agudo, "\`".
+
+Não há muito mais formatação:
+- As listas consistem em linhas que começam por `-` e podem ter sub-listas:
+  - Como esta.
+- É possível, em certos casos, usar os comandos `LaTeX` para fórmulas, que podem ser _inline_ $e^{i\pi} = -1$ ou _display_:
+$$\alpha = \sum_{i=1}^{\infty} a_i.$$
+
+As listas _numeradas_ também são visualmente definidas:
+1. Mexer os ovos.
+2. Derreter a manteiga na frigideira.
+3. Quando a manteiga estiver a ferver, deitar os ovos na frigideira.
+   1. <span style="color:red">Cuidado!</span> Não deixe a manteiga queimar! 
+4. Deixar cozinhar a gosto. 
+
+## Organização de Documentos
+
+Usam-se os `#` no início das linhas para indicar o nível da divisão:
+- Um `#` é o _título_ do documento.
+- Dois `##`  é um "_capítulo_", três uma "_secção_", _etc._
+
+---
+
+Ah! Podem-se incluir _links_ para a [_web_](https://en.wikipedia.org/wiki/Markdown) e também imagens: ![
+Théâtre d’Opéra Spatial](TdOS-JasonMAllen.jpg)
...	...	@@ -0,0 +1,53 @@
	1	+# Zugzwang \| Logic and Artificial Intelligence
	2	+
	3	+## Team
	4	+
	5	+- Francisco Coelho
	6	+- Salvador Abreu (PI)
	7	+- Bruno Dinis (External Collaborator)
	8	+
	9	+## Research Questions
	10	+
	11	+How to extend probability annotations on an ASP program to a distribution over the possible observations? In general, the association of probabilities to some facts is not enough to uniquely define a probability of stable models. This lack of information must be carefully expressed and handled, to avoid biased results.
	12	+
	13	+Once made explicit, how to use such distribution, together with an empiric distribution from a dataset, to do general probabilistic tasks such as the estimation of a marginal or of the joint probability? Having a probability on a set of observations, including the stable models, might not cover all the sample space. Again, information and structure entailed from the ASP program must guide unbiased extensions to the sample space.
	14	+
	15	+How to use distribution measures to score ASP programs? We view ASP programs as formalized knowledge about an observable system. Some of those programs will be "better" than others, as determined by a quantitative, objective, measure, rooted on well-known functions such as the Kullback–Leibler divergence.
	16	+
	17	+This last question leads to the application of evolutionary algorithms to inductive logic programming and to a bridge with common machine learning methods, where a model is scored by a dataset. Other important questions lie behind the scope of this project. For example, how to deal with latent, unobserved, variables?
	18	+
	19	+## Novelty/Impact
	20	+
	21	+ASP has some key advantages over Prolog, most of which result from ASP being a truly declarative language and modern APS systems, such as CLASP, apply efficient optimisation techniques. Other systems, like ILASP, learn ASP programs with normal rules, choice rules, and hard and weak constraints. Moreover, ASP can use recent important advances concerning SAT solvers to ILP tasks. However, the assumption that the knowledge base (BK) is perfect, leaving no room for uncertainty, poses here a major limitation.
	22	+
	23	+One approach to overcome this restriction on logic programs is Statistical Relationship Learning (StarAI), that extends the BK with probabilities in order to setup a distribution representation. The formal setting for this approach rests on Sato's Distribution Semantics and frames systems such as Problog and PRISM. But these systems are oriented towards Prolog-like programs and semantic and leave out ASP program learning.
	24	+
	25	+One important ongoing research question is the precise semantic of an ASP program annotated with probabilities. Sato's semantic specify an unique probability distribution over Prolog-like program's atoms, but this uniqueness fails for ASP programs. Efforts to address this problem are either based on Credal sets or on selecting one probability over others, such as the P-log, the LP^MLN or the PrASP languages.
	26	+
	27	+The novelty of this research is to define the semantic of an ASP program + probability annotated facts + observations from the following process: (a) parametrise the uncertainty on stable models and annotations, (b) setup a partition of the sample space around on the stable models and (c) use observations to estimate the value of the uncertainty parameters of step (a).
	28	+If successful, it would have an impact on how logic programs express and are used to deal with real-world problems, where both uncertainty and formal KB are required ingredients. Also, when used in ILP problems the resulting models are logic programs, much simpler to understand than numeric models.
	29	+
	30	+## Expected Results / Demonstrators
	31	+
	32	+Our aim is to develop a set of software tools to apply and evaluate the theoretical results on well-known, and relevant, problems. The initial target framework is the Potassco suite, that provides a Python API to state-of-the-art grounding (CLASP) and solving (CLINGO) tools, as well as ASP-Core-2 Language support.
	33	+
	34	+The researchers will do the theoretical study and supervise one to three undergraduate, master or Ph.D. students on the implementation tasks. Theoretical work includes formalization and assessment of methods; The students will implement the tools required to experiment, explore and test those methods. The degree of complexity of the implementation tasks must be adapted to the individual competences and interests of the students.
	35	+
	36	+The theoretical work is to be reported in one or two papers with intermediate results and a final comprehensive paper for a conference.
	37	+
	38	+## Relationship of activity w/ NOVA LINCS strategic program and Research Group work plan
	39	+
	40	+This project involves two members from the NOVA LINCS "Knowledge-Based Systems" research group, from the Universidade de Évora pole and a member of the CIMA center from the Universidade de Évora.
	41	+
	42	+Part of the proposed research and software is currently being developed.
	43	+
	44	+## Resources required and justification
	45	+
	46	+Students are expected to benefit from a BIC or a BI scholarship. Depending on the candidates the respective durations can range from 3 to 12 months and the respective amounts from 486.12€ to 1144.64€ per month.
	47	+
	48	+Considering one undergraduate student with a 3 month scholarship:
	49	+
	50	+- 972.24 € = 3 months x 486.12 €/month;
	51	+- TOTAL: 972.24 €
	52	+
	53	+
...	...
...	...	@@ -0,0 +1,54 @@
	1	+# Concurso Bolsa \| TEMPLATE
	2	+
	3	+- _centro de investigação ou departamento_
	4	+
	5	+- _identificação da tipologia de bolsa oferecida e número de vagas_
	6	+
	7	+- _dia_ de _mês_ de 2023
	8	+
	9	+Encontra-se aberto concurso para a atribuição de _número_ Bolsas _tipo_ no âmbito do projeto _título do projeto_, _referência_, financiado por fundos nacionais através da _…_ exemplo: FCT/MCTES e cofinanciado pelo Fundo Europeu de Desenvolvimento Regional _FEDER_ através do COMPETE – Programa Operacional Fatores de Competitividade _POFC_ _quando aplicável_, nas seguintes condições:
	10	+
	11	+- Área Científica: …
	12	+
	13	+- Requisitos de admissão: _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
	14	+Escolher uma opção:
	15	+
	16	+ - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 3º e 6º, os candidatos a BI _Bolsas de Investigação_ devem cumprir como condição para a atribuição da bolsa, a inserção efetiva em ciclos de estudos conducentes à atribuição de graus académicos ou em cursos não conferentes de grau académico. Os cursos não conferentes de grau académico correspondem aos cursos previstos na alínea e_ do nº 3 do artigo 4º do Decreto-Lei nº74/2006 de 24 de março e deverão ser desenvolvidos numa instituição de ensino superior em associação a pelo menos uma unidade de I&D, incluindo-se o plano do curso numa ou em várias áreas de investigação da unidade.
	17	+ - Conforme o Regulamento de Bolsas de Investigação da FCT nº950/2019 de 16 de dezembro de 2019, artigo 5º, — As BII _Bolsas de Iniciação à Investigação_ não podem ser atribuídas a quem já tenha beneficiado de bolsas de investigação direta ou indiretamente financiadas pela FCT, atribuídas nos termos do Estatuto do Bolseiro de Investigação.
	18	+ - Relativamente às BIPD _Bolsas de Investigação Pós-doutoral_, ao nível dos requisitos a verificar para atribuição das mesmas _artigo 7º do Regulamento de Bolsas de Investigação da FCT nº950/2019_ destaca-se a necessidade do grau de doutor ter sido obtido nos 3 anos anteriores à data de submissão da candidatura à bolsa e, ao nível da sua execução, o facto de apenas poder ser renovada até ao prazo máximo de 3 anos.
	19	+
	20	+- Plano de trabalhos: _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
	21	+
	22	+- Legislação e regulamentação aplicável: A concessão da Bolsa de Investigação será realizada mediante a celebração de um contrato entre a Universidade de Évora e o bolseiro conforme minuta <https://www.fct.pt/apoios/Minuta_Contrato_Bolsa.docx> , nos termos do Estatuto do Bolseiro de Investigação _Lei nº40/2004 de 18 de agosto e decreto-lei nº 123/2019 de 28 de agosto_ e de acordo com a legislação e Regulamento de Bolsas de Investigação da Fundação para a Ciência e a Tecnologia, I.P em vigor, regulamento nº950/2019 de 16 de dezembro de 2019: <https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt> e demais normas aplicáveis.
	23	+
	24	+- Local de trabalho: O trabalho será desenvolvido no(a) _denominação da unidade de investigação_ da Universidade de Évora, sob a orientação científica do Professor(a)/Doutor(a) ………
	25	+
	26	+- Duração da(s) bolsa(s): A bolsa terá a duração de ..... meses, com início previsto em ..... _mês_ de .......... _ano_. O contrato de bolsa poderá ser renovado até _ex._ ao máximo de ….. meses ou até ao final da dotação orçamental do projeto de financiamento _…_.
	27	+
	28	+- Valor do subsídio de manutenção mensal: O montante da bolsa corresponde a €………., conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País _http://fct.pt/apoios/bolsas/valores_, sendo os pagamentos efetuados mensalmente, através de cheque ou transferência bancária.
	29	+
	30	+- Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
	31	+
	32	+- Composição do Júri de Seleção: _identificação do Presidente do Júri e dos vogais efetivos e suplentes_
	33	+
	34	+- Forma de publicitação/notificação dos resultados: Os resultados finais da avaliação serão publicitados, através de lista ordenada _alfabeticamente, por nota final obtida ou outra_ afixada em local visível e público do(a) _indicar local da instituição_, sendo o candidato(a) aprovado(a) notificado através de _email, ofício ou outro_.
	35	+Nos termos de direito de audiência prévia dos interessados o projeto de Classificação Final será anunciado por qualquer meio escrito a todos os interessados.
	36	+Após comunicação da lista provisória dos resultados da avaliação, os candidatos dispõem de um período de 10 dias úteis para, querendo, se pronunciarem em sede de audiência prévia de interessados.
	37	+
	38	+- Prazo de candidatura e forma de apresentação das candidaturas: O concurso encontra-se aberto no período de ......................... a ......................... de 2022 e os resultados da seleção serão publicados até………………..de………………….de 2022. _O prazo de apresentação de candidaturas não deve ser inferior a 10 dias úteis_.
	39	+
	40	+- As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.
	41	+ - Para efeitos de candidatura os comprovativos podem ser substituídos por declaração de honra do candidato, mas a não demonstração, em fase de contratualização, da posse do grau exigido à data limite da candidatura ou a não apresentação dos comprovativos de matrícula ou inscrição em ciclo de estudos ou curso não conferente de grau, para as bolsas com essa componente, implicam a anulação da avaliação do candidato.
	42	+ - Os graus académicos obtidos em países estrangeiros necessitam de registo por uma Instituição Portuguesa de acordo com o Decreto-lei nº. 66/2018, de 16 de agosto e a Portaria nº. 33/2019, de 25 de janeiro. A apresentação do certificado é obrigatória para a assinatura do contrato.
	43	+ Mais informação poderá ser obtida em: <https://www.dges.gov.pt/pt/pagina/reconhecimento?plid=374>
	44	+
	45	+
	46	+- As candidaturas deverão ser remetidas por e-mail para:
	47	+ - Prof. Doutor(a)………………….
	48	+ - _Centro/Dep._……………………………….. da Universidade de Évora
	49	+ - e-mail:
	50	+
	51	+
	52	+
	53	+_logos do programa de financiamento quando aplicável_
	54	+
...	...
...	...	@@ -0,0 +1,12 @@
	1	+# Concurso Bolsa \| Zugzwang \| DRAFT
	2	+
	3	+> A minuta das candidatura define vários campos a preencher. Quase todos são triviais mas os restantes são críticos. Estes necessitam de consenso entre nós.
	4	+>
	5	+> Além disso, no projeto ficou em aberto o número e tipologia de bolsas. Agora temos de concretizar essas opções: Exatamente, quantas bolsas de que tipo?
	6	+
	7	+## Campos Críticos
	8	+
	9	+- Requisitos de admissão: _indicar a habilitação académica necessária, bem como a experiência exigida em investigação e outros requisitos de admissão, incluindo fatores preferenciais_
	10	+- Plano de trabalhos: _apresentar um resumo dos trabalhos a desenvolver e dos objetivos a atingir_
	11	+- Métodos de seleção: Os métodos de seleção a utilizar serão os seguintes: _avaliação curricular, entrevista, provas de conhecimento, ou outros_, com a respetiva valoração de _indicar os valores atribuídos a cada critério ou item avaliado e sua ponderação percentual_.
	12	+- As candidaturas devem ser formalizadas, obrigatoriamente, através do envio de carta de candidatura acompanhada dos seguintes documentos: _ex: Curriculum Vitae, certificado de habilitações, cartas de referência ou recomendação e outros documentos comprovativos considerados relevantes_.<<<>>>
0	13	\ No newline at end of file
...	...
...	...	@@ -0,0 +1,32 @@
	1	+# Título
	2	+
	3	+> O `markdown` permite formatar um documento seguindo algumas convenções facilmente legíveis, ao contrário, por exemplo, do `LaTeX`.
	4	+>
	5	+> Este fragmento de texto é uma "citação" e pode ter vários parágrafos.
	6	+> Como no `LaTeX`, é precisa uma linha de intervalo entre parágrafos.
	7	+
	8	+A formatação de `markdown` é muito simples: usam-se dois `` para negrito** e um `_` para _itálico_. Para `fonte fixa` usa-se o acento agudo, "\`".
	9	+
	10	+Não há muito mais formatação:
	11	+- As listas consistem em linhas que começam por `-` e podem ter sub-listas:
	12	+ - Como esta.
	13	+- É possível, em certos casos, usar os comandos `LaTeX` para fórmulas, que podem ser _inline_ $e^{i\pi} = -1$ ou _display_:
	14	+$$\alpha = \sum_{i=1}^{\infty} a_i.$$
	15	+
	16	+As listas _numeradas_ também são visualmente definidas:
	17	+1. Mexer os ovos.
	18	+2. Derreter a manteiga na frigideira.
	19	+3. Quando a manteiga estiver a ferver, deitar os ovos na frigideira.
	20	+ 1. <span style="color:red">Cuidado!</span> Não deixe a manteiga queimar!
	21	+4. Deixar cozinhar a gosto.
	22	+
	23	+## Organização de Documentos
	24	+
	25	+Usam-se os `#` no início das linhas para indicar o nível da divisão:
	26	+- Um `#` é o _título_ do documento.
	27	+- Dois `##` é um "_capítulo_", três uma "_secção_", _etc._
	28	+
	29	+---
	30	+
	31	+Ah! Podem-se incluir _links_ para a [_web_](https://en.wikipedia.org/wiki/Markdown) e também imagens: ![
	32	+Théâtre d’Opéra Spatial](TdOS-JasonMAllen.jpg)
...	...