[Logica-l] JOB 16 PhD Positions on Logical Methods in Computer Science
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 the Austrian Science Fund. http://logic-cs.at/phd/ THE PROGRAM LogiCS focuses on logic and its applications in computer science. Successful applicants will work on interdisciplinary research topics covering (i) computational logic, (ii) databases and artificial intelligence, (iii) computer-aided verification, and (iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy. FACULTY MEMBERS Austria has a vibrant and highly active and successful logic in computer science community. Students are supervised by leading researchers in their fields: E. Bartocci A. Biere R. Bloem A. Ciabattoni G. Gottlob T. EiterR. Grosu L. Kovacs M. Maffei M. Ortiz U. Schmid M. Seidl S. SzeiderG. Weissenbacher S. Woltran Details are provided on http://logic-cs.at/faculty/ POSITIONS AND FUNDING We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/). Additional positions will be available through other funding. HOW TO APPLY Detailed information about the application process is available on the LogiCS web-page http://logic-cs.at/phd/admission/ The applicants are expected to have completed an excellent master's degree in computer science, mathematics, or a related field. Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. Applications by the candidates need to be submitted electronically. The positions will be filled on continuous basis till October 2018. STUDYING AND LIVING IN AUSTRIA Austria has a vibrant and highly active and successful logic in computer science community. Vienna, Graz, and Linz, located close to the Alps, are surrounded by beautiful nature. Vienna is constantly ranked the city with the highest quality of life in the world. Austria has an exciting cultural scene, world-famous historical sites, a large international community, varied cuisine, and famous coffee houses. For further information please contact: i...@logic-cs.at -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 3215-3820 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BWBsW6MkiAiyn8POx8zpUfg3dGuFyU5aYkVcF%3D9v9Gm6g%40mail.gmail.com.
[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?
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 dizem " não PDF", é uma bela confusão. Alguém conseguiu se inscrever, pode me dar uma dica como foi feito esse milagre? Abraço, Walter -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/8811C130-4E25-4400-86FB-03A61EBBA7EB%40gmail.com.
[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?
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é []s Samuel -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0d0b6202-6ee7-426c-a117-d33c55cd1b00%40dimap.ufrn.br.
Re: [Logica-l] Alguém conseguiu fazer inscrição no UCM2018?
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 17:02, 'Samuel Gomes' via LOGICA-L > escreveu: > > 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é > > []s Samuel > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/0d0b6202-6ee7-426c-a117-d33c55cd1b00%40dimap.ufrn.br. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D175AAA1-854A-467E-8C29-8BD24F40D76D%40gmail.com.
