Welcome
This is the webpage of University of Minho ACM Student SIGPLAN Chapter. The Chapter is organized and will be operated exclusively for educational and scientific purposes to promote the following:
- An increased knowledge of and greater interest in the science, design, development, construction, languages, management and applications of modern computing;
- Greater interest in computing and its applications;
- A means of communication between persons having an interest in computing.
The Chapter, chartered by the ACM, will serve students at University of Minho and other interested persons in the Braga and Guimarães communities.
Researchers Created Model Checking Technique for Hardware and Software Designers
Tue, 05/02/2008 - 11:46 — managerACM has named Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis the winners of the 2007 A.M. Turing Award, widely considered the most prestigious award in computing, for their original and continuing research in a quality assurance process known as Model Checking.
Bolsa de Investigação no âmbito do projecto "SPAM Telescope Miner: detecção a nível mundial de correio electrónico"
Mon, 10/12/2007 - 09:46 — managerEncontra-se aberto concurso para atribuição de uma Bolsa de Investigação (BI) no âmbito do projecto PTDC/EIA/64541/2006 – “SPAM Telescope Miner: detecção a nível mundial de correio electrónico não solicitado via técnicas de data mining”, financiado pela Fundação para a Ciência e Tecnologia.
Imagine Cup 2008
Sun, 02/12/2007 - 16:46 — managerNo próximo dia 5 de Dezembro o LabDotNet organiza um evento de apresentação da recentemente lançada plataforma Microsoft .Net 2008 e do concurso Imagine Cup 2008.
As apresentações serão efectuadas por elementos da Microsoft Portugal.
Dezembro 5, 2007 (14:30)
Anfiteatro A1, Departamento de Informática, Campus de Gualtar, Universidade do Minho
Karting
Mon, 05/11/2007 - 12:20 — managerGostas de adrenalina?
Vem acelerar ao volante de um kart no Kartódromo Internacional de Braga!
Forma uma equipa de com alguns amigos e entra nesta corrida muito divertida!
Sessão de Projectos
Sun, 07/10/2007 - 10:32 — managerO grupo ACM da Universidade do Minho realizará no próximo dia 17 de Outubro pelas 14:00 uma actividade que visa aproximar os alunos dos projectos de investigação em curso.
Dois universos que apesar da sua proximidade estão muitas vezes anormalmente desconexos: o universo da comunidade científica e o universo da comunidade estudantil.
O objectivo desta actividade é a apresentação aos alunos de tarefas/projectos no âmbito da investigação científica, que sejam passíveis de serem executadas.
Outstanding Chapter Activities 2006/07 Award
Tue, 28/08/2007 - 13:49 — managerYou are pleased to announce that the ACM Students chapter of University of Minho has been chosen as a co-winner of the Outstanding Chapter Activities 2006/07 award.
The other chapter rewarded was University of Philippines's chapter.
Substitution - surprising challenges with inductive families
Wed, 23/05/2007 - 15:59 — managerSubstitution of expressions for free variables in terms is one of the most basic operations in mathematical practice. As soon as bound variables are present, those variables must not capture free variables of the same name that may have occurred in the expressions that become subexpressions of the result. In pure lambda-calculus, this problem is studied in isolation. Of course, there are already satisfying answers that also allow a formalization on computers. One of them is by using families of inductive datatypes, i. e., a parameterized generation process of lambda-terms, with the set of allowed names of free variables as the parameter. Proving that such a representation
respects the basic properties of substitution dictated by category theory is not trivial and quite recent work, e. g., on the Coq theorem proving environment.
Ralph Matthes , CNRS & Institute for Computer Science of Toulouse
May 29, 2007 (14:00)
Amphitheatre MICA, School of Sciences, Gualtar Campus, University of Minho
JOIN'07
Wed, 09/05/2007 - 03:56 — managerNos próximos dias 10 e 11 de Maio (quinta e sexta-feira) vai realizar-se as JOIN'07, no anfiteatro A1 do CP1, no campus de gualtar da Universidade do Minho.
Neste evento, será apresentado o 2º ciclo de Bolonha, e será discutido o seu impacto no futuro dos alunos de LMCC/LCC e LESI/LEI.
Aparece! É o teu futuro que está em jogo...
TutLESI 04
Mon, 07/05/2007 - 21:52 — managerO Processo de Desenvolvimento de Software — diferentes abordagens.
Modelação de Sistemas de Informação em UML.
9 de Maio de 2007, 14:30-18:00.
Anfiteatro B2, Complexo Pedagógico II, Campus de Gualtar, Universidade do Minho
