MatisseProjecto Matisse: Que Matemática para a Sociedade da Informação?
|
NavegaçãoNovidades20 Abril, 2010 — Lançamento da inicitiva Computação sem fronteiras ... Matemática em movimento para alunos do Ensino Secundário integrado no Verão no Campus 2010, detalhes aqui 20 Fevereiro, 2010 — Artigo Designing an Algorithmic Proof of the Two-Squares Theorem aceite na MPC'10 (Tenth International Conference on Mathematics of Program Construction), detalhes aqui 9 Janeiro, 2010 — Artigo Should Mathematics remain invisible? aceite na EIMI Study Conference “Educational Interfaces between Mathematics and Industry, detalhes aqui 4 Janeiro, 2010 — Artigo On Euclid's Algorithm and Elementary Number Theory aceite aceite para publicação na Science of Computer Programming, detalhes aqui 1 Julho, 2009 — Artigo Which Mathematics for the Information Society? aceite na TMF'09 (2nd Int. FME Conference on Teaching Formal Methods), detalhes aqui 22 Junho, 2009 — Artigo Galois: A Language for Proofs Using Galois Connections and Fork Algebras aceite na PLMMS'09(ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems), detalhes aqui 24 Abril, 2009 — Artigo Students' Feedback on Teaching Mathematics Through The Calculational Method aceite na Frontiers in Education 2009, detalhes aqui 2 Março, 2009 — Call pública para 2 BI (bolsas de investigação FCT)no âmbito do projecto MathIS 1 Janeiro, 2009 — Comunicação da homolgação e início oficial do MathIS 14 Abril, 2008 — Primeira versão da página do projecto disponível. |
Como participar no Projecto MatisseSe deseja participar no Projecto Matisse, por favor contacte Luis Soares Barbosa (lsb AT di uminho pt). -- JoaoFerreira - 14 Apr 2008 |
