Mensagem da Silvia Ghilezan que muitos conheceram no Unilog no mes passado.
---------- Forwarded message ---------- > LAP 2013 CONFERENCE ANNOUNCEMENT > > LOGIC AND APPLICATIONS - LAP 2013 > September 16-20, 2013, Dubrovnik, Croatia > > http://imft.ftn.uns.ac.rs/**math/cms/LAP2013<http://imft.ftn.uns.ac.rs/math/cms/LAP2013> > > The conference brings together researchers from various fields of logic > with applications in computer science. > Topics of interest include, but are not restricted to: > - Formal systems of classical and non-classical logic; > - Category theory; > - Proof theory; > - Lambda calculus; > - Process algebras and calculi; > - Behavioural types; > - Systems of reasoning in the presence of incomplete, imprecise and/or > contradictory information; > - Computational complexity; > - Interactive theorem provers. > > The first conference Proof Systems was held in Dubrovnik on June 28, 2012, > co-located with the conference LICS 2012. > > IMPORTANT DATES > Abstract Submission: June 21, 2013 > Author Notification: June 30, 2013 > > SUBMISSION > Authors should submit an abstract in LaTeX format, not exceeding three > pages, to > [email protected] > (with the subject "LAP 2013"). > > LOCATION: > IUC - Inter University Center Dubrovnik > http://www.iuc.hr/ > > COURSE DIRECTORS > - Zvonimir ·ikiç, University of Zagreb > - Andre Scedrov, University of Pennsylvania > - Silvia Ghilezan, University of Novi Sad > - Zoran Ognjanoviç, Mathematical Institute SANU, Belgrade > -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
