Call for Papers and Other Useful Academic Information

Appologies for multiple copies *********************************************************************** * * * Complexity, Expressibility, and Decidability in Automated Reasoning * * (CEDAR’08) * * http://www.mpi-inf.mpg.de/~sofronie/cedar08.html * * * * Affiliated with IJCAR 2008 Sydney, Australia, 10-15 August 2008 * * http://www.ijcar.org/2008/ * * * *********************************************************************** Decidability, and especially complexity and tractability of logical theories is extremely important for a [...]

————————————————————————— Prague Stringology Conference 2008 13th event of the Prague Stringology Club http://www.stringology.org Call for Papers Prague, Czech Republic, September 1-3, 2008 ————————————————————————— PSC’08 is the 13th event of the Prague Stringology Club. It is an international conference focusing on stringology and related areas. It is organized annually by the Prague Stringology Club, a research [...]

We apologize if you receive multiple copies. ========================================================================= CALL FOR PAPERS (see also the associated calls for posters, tutorials, and workshops, on the conference Web site) 2nd International Conference on Self-adaptive and Self-organizing Systems (SASO 2008) Venice, Italy, October 20-24, 2008 www.saso-conference.org Sponsored by IEEE Computer Society, Technical Committee on Autonomous and Autonomic System (approval [...]

CALL FOR PAPERS ICLP’08 24th International Conference on Logic Programming Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CONFERENCE SCOPE —————- Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers, position papers, and posters) are sought in all areas of logic programming [...]

The Center of Informatics and Information Technology (CITI) at the Department of Informatics of FCT/Universidade Nova de Lisboa welcomes applications for one (1) post-doctoral scholarship position in the areas of programming languages and logic in computer science. *** DEADLINE 15 JUNE 08 **** The position is funded in the context of the CMU-Portugal research / [...]

3rd SIPTA School on Imprecise Probabilities: last announcement [All our apologies for cross-posting.] Third school of the Society for Imprecise Probability: Theories and Applications (SIPTA), July 2-8, 2008, Montpellier, France. Dear colleagues, The Society for Imprecise Probability: Theories and Applications (SIPTA) organizes the 3rd edition of its school in Montpellier, France, during 2-8 July 2008, [...]

Graph-Based Tools Contest: Call for Cases ========================================= 12-13 September, Leicester, UK Satellite workshop of ICGT 2008 http://www.fots.ua.ac.be/events/grabats2008/ Tools are crucial for the promotion of graph transformation in industry. Currently, a variety of tool environments exist for different graph transformation approaches. However, for potential users, working in application domains where graph transformation may be a useful [...]

————————————————————————————————————– Please find enclosed the annoucement for the Summer School MOVEP’08. We apologize if you received multiple copies of this mail. Please forward this information to your colleagues and other interested people as well. Thank you. ———————————————————————————————————– MOVEP 2008 8th International Summer School on MOdelling and VErifying parallel Processes 23-27 June 2008, Orléans, France http://www.univ-orleans.fr/evenements/movep2008 [...]