RAMiCS 2015 - the 15th International Conference on Relational and Algebraic Methods in Computer Science
Onde: Hotel Park, Braga
Quando: segunda-feira, 28-09-2015 a quinta-feira, 01-10-2015
O quê: O programa da conferência inclui tópicos tais como álgebra relacional e álgebras de Kleene, álgebra de processos, fixed point calculi, semianéis idempotentes, quantales, allegories, álgebras dinâmicas, álgebras cilíndricas, entre outros.
Quem: A organização do evento está a cargo do HASLab, do INESC/TEC e da U. Minho
Mais informações:
http://ramics2015.di.uminho.pt/
Quando: segunda-feira, 28-09-2015 a quinta-feira, 01-10-2015
O quê: O programa da conferência inclui tópicos tais como álgebra relacional e álgebras de Kleene, álgebra de processos, fixed point calculi, semianéis idempotentes, quantales, allegories, álgebras dinâmicas, álgebras cilíndricas, entre outros.
Quem: A organização do evento está a cargo do HASLab, do INESC/TEC e da U. Minho
Mais informações:
http://ramics2015.di.uminho.pt/