Acontecerá em junho deste ano, nos dias 10 e 11, no Thompson Conference Center – Austin – TX, o 25th Workshop on Logic and Synthesis. O Prof. André Reis é o Program Committee Chair e membro do Steering Committee do Workshop, o doutorando Jody Matos (PPGC-UFRGS) é o Publicity Chair, o professor Renato Ribas (UFRGS) é um dos membros do comitê de programa, assim como o Prof. Leomar da Rosa Jr. (UFPel), egresso do mestrado (PPGC) e do doutorado (PGMICRO) da UFRGS.
É a vigésima quinta edição do workshop mais importante da área de síntese lógica. O workshop tem importância histórica, e por ele passaram e ainda passam os mais relevantes trabalhos e pesquisadores de síntese lógica.
Para os organizadores, não é exagero dizer que algoritmos, ferramentas e métodos apresentados neste workshop foram usados direta ou indiretamente para conceber todos os circuitos digitais aos quais se tem acesso hoje em dia.
A edição do IWLS do ano passado (2015), foi realizada no museu da história da computação em Mountain View na Califórnia. O general chair foi o Professor Andre Reis, que na ocasião recebeu um prêmio de Recognition of Services Award da ACM (Association for Computing Machinnery) pelo sucesso na organização do evento.
Mais informações sobre o evento e prazos para submissão de trabalhos: http://www.iwls.org/iwls2016