Regulamento

Quem pode concorrer

1.1. Só serão admitidas a concurso equipas compostas por dois elementos.

1.2. Cada elemento da equipa deverá frequentar um curso do Ensino Superior, de grau nunca superior à Licenciatura.

Processamento e validação das inscrições

	2.1. Cada equipa deverá efectuar uma pré-inscrição, a qual será analisada pela Comissão Organizadora, vulgo Organização.
	2.2. A Pré-inscrição será ser efectuada seguindo as indicações disponíveis neste site, até à data estabelecida no calendário.
	2.3. A Organização notificará as equipas seleccionadas por correio electrónico (ver calendário).
	2.4. Cada equipa seleccionada deverá enviar para CeNPLf'2006 a/c Prof. Doutor Luís Paulo Reis FEUP - Faculdade de Engenharia da Universidade do Porto Dep. Eng. Electrotécnica e de Computadores Rua Dr. Roberto Frias s/n 4200-465 Porto, Portugal um comprovativo da matrícula de cada um dos elementos, assim como fotocópia do Bilhete de Identidade; estes elementos deverão ser recebidos pela Organização até à data estabelecida.
	2.5. Após recepção dos elementos descritos no ponto anterior, a Organização enviará por correio electrónico a confirmação final para participação no concurso.
	2.6. As equipas seleccionadas e devidamente inscritas terão de comparecer a este evento na data indicada, excepto por motivos de força maior; neste caso, a ausência deverá ser devidamente justificada.
	2.7. Cada equipa participante deverá pagar à Organização um valor correspondente ao custo de inscrição (25€ por equipa participante).

Comissão Científica

3.1. A Comissão Cientifica (CC) é constituída por Professores Universitários com reputação na área da Programação, Programação em Lógica, Programação Funcional e Inteligência Artificial.

3.2. Os elementos da Comissão Científica são convidados pela Organização do CeNPLf, todos os anos, sendo a escolha dos seus elementos efectuada tendo em consideração os seguintes critérios:

	3.2.1. Os elementos devem ser peritos na matéria e em matérias afins.
	3.2.2. A distribuição geográfica da CC deve ser a melhor possível (respeitando o critérios anterior).

3.3. É função da Comissão Científica elaborar e avaliar os problemas que serão colocados aos concorrentes do CeNPLf.

Elementos do Júri

	4.1. São parte do Júri, por inerência, os elementos da Comissão Científica.
	4.2. O Presidente do Júri é o Presidente da Comissão Científica.
	4.3. Em casos extraordinários, poderão fazer parte do Júri elementos não pertencentes à Comissão Científica, no máximo de dois.
	4.4. É função do Júri avaliar e classificar as provas efectuadas pelas equipas.
	4.5. Em caso de empate na classificação de uma prova, o Presidente do Júri tem poder de decisão.
	4.6. Da decisão final do júri não haverá lugar a recurso.

Realização das provas

5.1. A prova consiste na elaboração de programas utilizando os paradigmas da Programação em Lógica e Programação Funcional (em linguagem PROLOG, Haskell, ML e/ou Scheme), que resolvam os problemas colocados.

5.2. A prova será realizada por todas as equipas, em simultâneo, na data, hora e local indicados pela Organização.

5.3. São consideradas irregularidades:

	5.3.1. O uso de telemóveis ou de qualquer outro meio de comunicação com o exterior, durante a realização da prova.
	5.3.2. O uso de bibliografia não fornecida.
	5.3.3. Qualquer tentativa de identificação das equipas perante o júri.
	5.3.4. Qualquer outra situação não especificada nos pontos anteriores, que venha a falsear a avaliação.

5.4. Caso se verifique alguma irregularidade, reserva-se à Organização o direito a excluir a equipa do concurso, com a consequente perda de todas as regalias inerentes à participação.

5.5. Até ao final do período de tempo estabelecido para a realização da prova:

	5.5.1. Todas as equipas deverão submeter as respostas de que disponham através da aplicação informática disponibilizada para o efeito
	5.5.2. As equipas apenas poderão submeter os ficheiros pedidos nos enunciados, sob pena de desclassificação
	5.5.3. A aplicação informática identificará as equipas concorrentes através de códigos (pseudónimos) que não possibilitarão ao Júri a sua identificação
	5.5.4. Após a deliberação do júri quanto à classificação das equipas, a aplicação informática revelará a associação entre os pseudónimos das equipas e a identificação dos concorrentes.

5.6. A organização declina toda e qualquer responsabilidade no caso de deficiências da aplicação ou da infraestrutura informática que a suporta, pelo que os concorrentes deverão deixar uma cópia no disco do respectivo posto de trabalho

Avaliação das provas

	6.1. A avaliação das provas será efectuada pelo Júri.
	6.2. O Júri não terá acesso à identificação das provas, até estas estarem devidamente avaliadas e classificadas.
	6.3. Os elementos do júri efectuarão a avaliação da forma que julgarem adequada, seguindo os critérios previamente estabelecidos.
	6.4. Os elementos do júri deverão produzir uma lista de classificação, distinguindo o primeiro (1º), o segundo (2º), e o terceiro (3º) lugares. Se a falta de qualidade das provas assim o justificar, o Júri poderá optar por não distinguir nenhuma das equipas com nenhum, ou vários, dos três primeiros lugares.
	6.5. Em reunião a efectuar antes da entrega dos prémios, o presidente do Júri dará a conhecer, aos elementos da Organização, os resultados da classificação.
	6.6. A Organização do CeNPLf identificará as provas classificadas, obtendo assim o resultado final do Concurso.
	6.7. Os resultados serão mantidos em segredo até à cerimónia da entrega dos prémios.

Anúncio das classificações e entrega de prémios

	7.1. Os elementos da Organização darão a conhecer os resultados finais numa cerimónia a efectuar no último dia do encontro.
	7.2. Às equipas classificadas com os três primeiros lugares serão atribuídos os prémios respectivos previstos na página do evento.
	7.3. Todas as equipas terão direito a um diploma e prémio de participação.

Outros

	8.1. A Organização reserva-se o direito de alterar pontualmente este regulamento em qualquer altura, sendo os possíveis interessados informados atempadamente.
	8.2. Qualquer aspecto dúbio ou omisso do regulamento será decidido pela Organização.

Custos

Custo de Inscrição por equipa participante: € 25,00 com direito a alojamento (local a definir pela organização, almoços e jantares durante o evento (locais a definir pela organização) e acesso ao programa social (a definir também).

Linguagens, Editores e Configuração

Sistema Operativo:

Windows XP

__________________________

Prolog:

SICStus Prolog 3.9.1, YAProlog 5.1.1 e SWI-Prolog-Editor 2.15 + SWI-Prolog (Multi-threaded, Version 5.6.12)

ml:

OCamlWinPlus v1.9RC4 (Objective Caml version 3.09.0) The Caml Light system, release 0.74, for Windows

Haskell:

WinHugs (Hugs 98, Version: 20051031) e GHCi (The Glorious Glasgow Haskell Compilation System), Version 6.4.2

Scheme:

DrScheme, versão 301

__________________________

Editores:

Xemacs for Windows [version 21.4.19; January 2006] + tuareg-mode-1.46.0 EditPlus 2 + sintax highlighting for Haskell, Prolog and OCaml

__________________________

Documentação:

	Todos os utilizadores têm acesso à pasta dos compiladores e suas respectivas bibliotecas
	Prolog: sicstus_html, sicstus.pdf, doc\windows.html (swi),refman.pdf (swi), YAProlog.html
	ML: Caml Light Ref, Camlp4 - Reference Manual, ocaml-3.09-refman.pdf
	Haskell: building.pdf, Cabal.pdf, GHC Documentation.url, GHC.lnk, hugs.hlp, hugs98.chm, hugspdf, The Glorious Glasgow Haskell Compilation System User's Guide, Version 6.4.2.url users_guide_GHC.pdf
	Scheme:Revised Report on the Algorithmic Language Scheme PLT MzScheme: Language Manual PLT MrEd: Graphical Toolbox Manual PLT DrScheme: Programming Environment Manual PLT MzLib: Libraries Manual PLT Miscellaneous Libraries: Reference Manual PLT MrLib: Graphical Libraries Manual PLT Framework: GUI Application Framework PLT mzc: MzScheme Compiler Manual PLT Foreign Interface Manual PLT Tools: DrScheme Extension Inside PLT MzScheme Web Server Manual Teach Yourself Scheme in Fixnum Days TeX2page