[Logica-l] JOB 16 PhD Positions on Logical Methods in Computer Science

2018-03-05 Por tôpico Elaine Pimentel
Repassando (via Agata Ciabattoni) TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). The doctoral positions are funded for a period of 4 years according to the funding scheme of

[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

2018-03-05 Por tôpico Walter Alexandre Carnielli
Car@s, Estou tentando fazer o upload de uma apresentação oral (short Communication ) de 300 palavras para o ICM 2018, mas estou encontrando grandes problemas de coerência . Eles não dizem se eh para mandar um arquivo Tex completo, com preâmbulos ou não, de um lado pedem o PDF junto, do outro d

[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

2018-03-05 Por tôpico 'Samuel Gomes' via LOGICA-L
Oi Walter, Estou de férias e longe do meu escritório (sem acesso aos meus arquivos), Mas se não me engano o que se submete é um arquivo .zip com ambos, o .pdf e o "editável" (.doc ou .tex), Se não me engano foi isso que eu fiz (só que há mais de dois meses, então a memória pode falhar). Até

Re: [Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

2018-03-05 Por tôpico Walter Alexandre Carnielli
Prezado Samuel, muito obrigado , foi exatamente isso que eu intui em meio aa linguagem confusa do sistema, antes mesmo da sua resposta, e deu certo. Mas sua resposta confirma que "chute" acertou. Fica aqui a sugestão para quem quiser fazer o mesmo, Abraços, Walter > Em 5 de mar de 2018, às