Students Chapter of UMinho http://blog.acm.org/uminho/ en 2008-03-17T00:00:00-05:00 Concurso JOIN'08 http://blog.acm.org/archives/uminho/2008/03/concurso_join08.html Não percas esta oportunidade de mostrares o que vales!

Participa num concurso que te pode abrir as portas para um novo mundo!!

Concurso aberto para todos os alunos que frequentem exclusivamente* um curso de 1º ciclo da Universidade do Minho (alunos que frequentem antigas licenciaturas como LESI, MCC entre outras incluídos).

Os 3 melhores projectos serão apresentados nas JOIN'08, a qual contará com diversos profissionais de empresas informáticas!

Prémios**:

1º Prémio***: Carta de curso da licenciatura, inscrição e primeiro ano de propinas no Mestrado em Informática do Departamento de Informática da Universidade do Minho pagos!

2º Prémio: Carta de curso da licenciatura e inscrição no Mestrado em Informática do Departamento de Informática da Universidade do Minho pagos!

3º Prémio: Inscrição no Mestrado em Informática do Departamento de Informática da Universidade do Minho pago!

]]> Events uminho 2008-03-17T00:00:00-05:00 Researchers Created Model Checking Technique for Hardware and Software Designers http://blog.acm.org/archives/uminho/2008/02/researchers_cre.html ACM 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. Their innovations transformed this approach from a theoretical technique to a highly effective verification technology that enables computer hardware and software engineers to find errors efficiently in complex system designs.

http://www.acm.org/news/featured/turing-2007

]]> News uminho 2008-02-05T00:00:00-05:00 Bolsa de Investigação no âmbito do projecto "SPAM Telescope Miner: detecção a nível mundial de correio electrónico" http://blog.acm.org/archives/uminho/2007/12/bolsa_de_invest.html Encontra-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.

Mais informações

]]> News uminho 2007-12-10T17:58:24-05:00 Imagine Cup 2008 http://blog.acm.org/archives/uminho/2007/12/imagine_cup_200.html No 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

]]> News uminho 2007-12-05T14:30:00-05:00 Karting http://blog.acm.org/archives/uminho/2007/11/karting.html Gostas 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!

Corrida:60 minutos
Treinos:15 minutos
Preço:90 € *
Inscrições:Gabinete 2.20, Departamento de Informática, Campus de Gualtar, Universidade do Minho até 5 de Novembro
Dúvidas:acmssc@di.uminho.pt

* A inscrição implica o pré-pagamento de 40% do valor total.
Inscrições na última semana (29 Out a 5 Nov) acresce 20 €.
Número mínimo de inscrições: 10.

Novembro 14, 2007 (16:00)
KIB, Palmeira, Braga

]]> Events uminho 2007-11-14T16:00:00-05:00 Sessão de Projectos http://blog.acm.org/archives/uminho/2007/10/sesso_de_porjec.html O 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.

Estas tarefas devem ser concebidas para serem realizadas em regime de part-time e preferencialmente com uma duração inferior a 3 meses.

Outubro 17, 2007 (14:00)
Laboratório de Sistemas Operativos (0.05), Departamento de Informática, Campus de Gualtar, Universidade do Minho

]]> Events uminho 2007-10-17T14:00:00-05:00 Outstanding Chapter Activities 2006/07 Award http://blog.acm.org/archives/uminho/2007/08/outstanding_cha.html You 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.

Official announcement

]]> News uminho 2007-08-28T11:06:50-05:00 Substitution - surprising challenges with inductive families http://blog.acm.org/archives/uminho/2007/05/substitution_su.html Substitution 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]]> News uminho 2007-05-29T14:00:00-05:00 Ericsson Seminary http://blog.acm.org/archives/uminho/2007/05/ericsson_semina.html
  • Mobile Access Evolution towards 4G, Eng. Luis Muchacho
  • Broadband Everywhere / Full Service Broadband, Eng. Luis Muchacho
  • IPTV over IMS: Interactive Personalized TV, Eng. João Reis

    • May 11, 2007 (14:30 - 18:00)
    Amphitheatre 2, Department of Informatics, Gualtar Campus, University of Minho

    ]]>     uminho 2007-05-11T14:30:09-05:00     JOIN'07 http://blog.acm.org/archives/uminho/2007/05/join07.html Nos 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...

    ]]>     News uminho 2007-05-10T09:00:00-05:00     TutLESI 04 http://blog.acm.org/archives/uminho/2007/05/tutlesi_04.html O Processo de Desenvolvimento de Software — diferentes abordagens.
    Modelação de Sistemas de Informação em UML.

    António Nestor Ribeiro

    9 de Maio de 2007, 14:30-18:00.
    Anfiteatro B2, Complexo Pedagógico II, Campus de Gualtar, Universidade do Minho

    ]]>     News uminho 2007-05-09T14:30:00-05:00     From Light Fields to Sound Fields: Rendering, Recognition and Numerics http://blog.acm.org/archives/uminho/2007/05/from_light_fiel.html
  • Learn about Light field rendering
  • Using 3D holographic systems
  • Combining object entry, physical modelling and visualization with OpenGL
  • HowTo: Modeling sound

    • David Olivieri, Universidade de Vigo

    May 7, 2007 (16:00)
    Meetings Room, Department of Informatics, Gualtar Campus, University of Minho

    ]]>     Events uminho 2007-05-07T16:00:00-05:00     Desenvolvimento para dispositivos móveis Symbian e J2ME http://blog.acm.org/archives/uminho/2007/04/desenvolvimento.html Neste seminário irão ser introduzidas as tecnologias Symbian e J2ME e apontadas algumas diferenças que existem entre desenvolver aplicações para dispositivos móveis e desktop/server. O participante irá tomar contacto com os modelos de programação utilizados nestas tecnologias e com algumas das várias ferramentas de desenvolvimento disponiveis para o efeito. Para consolidar os conceitos apresentados irão ser analisadas aplicações de "Hello World".

    Eng. Luís Fraga e Eng. Ernesto Silva (Mobicomp)

    27 de Abril de 2007 (14:00-18:00)
    Anfiteatro 2, Departamento de Informática, Campus de Gualtar, Universidade do Minho

    ]]>     News uminho 2007-04-27T14:00:00-05:00     Rough Sets, a tool for representing imprecise knowledge http://blog.acm.org/archives/uminho/2007/04/rough_sets_a_to.html Rough Set Theory was introduced in the early 1980's by Zdzislaw Pawlak. The main purpose of this theory is the "automated transformation of data into knowledge." The methodology is concerned with the classificatory analysis of imprecise, uncertain or incomplete information or knowledge expressed in terms of data acquired from experience. It has a wide range of uses, such as medical data analysis, stock market prediction and financial data analysis, information retrieval systems, voice recognition, and image processing.

    Fernando Díaz Gómez, Universidad de Valladolid

    26 de Abril de 2007 (11:00)
    Sala de Reuniões (Piso 3), Departamento de Informática, Campus de Gualtar, Universidade do Minho

    ]]>     Events uminho 2007-04-26T11:00:00-05:00     TutLESI'2007 - Tutorial III http://blog.acm.org/archives/uminho/2007/04/tutlesi2007_tut.html Projecto, Implementação e Exploração de Sistemas de Bases de Dados
    Orlando Belo

    18 de Abril de 2007 (14:30-18:00) e 2 de Maio de 2007 (14:30-18:00)
    Anfiteatro A5, Complexo Pedagógico I, Campus de Gualtar, Universidade do
    Minho

    ]]>     News uminho 2007-04-17T12:38:54-05:00