[LOGIC] List Mailing Archive 2006
Subscribe
to
the [LOGIC] list in order to receive information about conferences, job
advertisements and logic-related news.
Archived years:
2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all
Received: 2006-12-19:
Received: 2006-12-17:
Received: 2006-12-16:
Received: 2006-12-15:
Received: 2006-12-14:
Received: 2006-12-13:
Received: 2006-12-12:
- Postdoctoral Positions in Algorithms and Complexity, Max-Planck-Institute for Informatics, Saarbr?cken (Germany)
- Boise Extravaganza in Set Theory (BEST2007), 25-27 March 2007, Idaho City, U.S.A.
- Combining Probability and Logic (PROGIC07), 5-7 September 2007, Canterbury, U.K.
- Kurt G?del Centenary Prize Fellowships, predoctoral, postdoctoral and senior fellowships
- Professor/Reader/Lecturer positions in philosophy, Manchester (U.K.)
Received: 2006-12-11:
Received: 2006-12-10:
- Bonn International Workshop on Ordinal Computability (BIWOC), 21-25 January 2007, Bonn, Germany
- 10th Symposium on Formal Methods, 29-31 August 2007, Ouro preto, Brazil
- Satisfiability Modulo Theories '07, 1-2 July 2007, Berlin, Germany
- 8th Conference on Information Retrieval (RIAO 2007), Pittsburgh PA (U.S.A.), 30 May to June 1, 2007
- PhD student positions in Algorithms and Complexity, Waterloo ON (Canada)
Received: 2006-12-04:
- Topics in Computability, 21-22 January 2007, Cambridge MA, U.S.A.
- ASL Annual Meeting (with associated satellite workshop), Gainesville FL (U.S.A.), 5-13 March 2007 [deadline for student travel grants: Dec 22, 2006]
- International Conference on Order, Algebra and Logics, 12-16 June 2007, Nashville TN, U.S.A.
- CALCULEMUS 2007, 27-30 June 2007, Castle of Hagenberg, Austria
- "Concept Types and Frames in Language, Cognition and Science", 20-22 August 2007, Duesseldorf, Germany
- Conference "Gehirne und Personen" (Brains and Persons), 7-9 June 2007, Graz, Austria
- Call for Nominations: 8th Donald E Knuth Prize for outstanding contributions to the foundations of computer science (deadline: Jan 31)
- 2nd World Congress and School on Universal Logic, Xi'an (China), 16-22 August 2007
- Conference on Modeling and Using Context (CONTEXT 07), 20-24 August 2007, Roskilde, Denmark
- Postdoctoral positions in algorithms & complexity (including quantum), Paris (France)
Received: 2006-12-01:
- 2nd World Congress and School on Universal Logic, Xi'an (China), 16-22 August 2007
- "A Day of Books and People", Handbook of Modal Logic Event, 18 December 2006, Amsterdam, The Netherlands
- Special issue of Journal of Logic and Computation: "Belief revision, belief merging and social choice"
- Conference "Social cognition, emotion, and self-consciousness", 8-10 March 2007, Delmenhorst, Germany
- Two distinguished professor positions in philosophy, Rice University, Houston (U.S.A.)
Received: 2006-11-30:
Received: 2006-11-29:
- "Knowledge of the Early Universe" (Fr?hjahrstagung des AK Phil), Heidelberg, deadline: 2006-12-15, 5-8 March 2007
- Postdoctoral position in "Mathematics for Information", CalTech, Pasadena CA (U.S.A.)
- Logical Foundations of Computer Science (LFCS'07), 4-7 June 2007, New York NY, U.S.A.
- Status belli: Neo-Fregeans and Their Critics, 8-10 December 2006, St Andrews, Scotland
- Various positions at the new Tilburg Center for Logic and Philosophy of Science, The Netherlands
- Postdoctoral position in theoretical philosophy (BAT IIa-O), Jena, Germany
- New journal: Logica Universalis (Birkhaeuser)
Received: 2006-11-26:
- CfP special issue of the journal "Studia Logica" on Vagueness; Deadline: Feb 28, 2007
- 28th International Conference on Application and Theory of Petri Nets and other Models of Concurrency (Petri Nets 2007), 25-29 June 2007, Siedlce, Poland
- Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 14-16 May 2007, Tempe AZ, U.S.A.
- Computability and Complexity in Analysis (CCA 2007), 16-18 June 2007, Siena, Italy
- Workshop "Logic, Rationality and Interaction", 5-9 August 2007, Beijing, China
- Postdoctoral position in graph theory and applications of graph theory, University of Southern Denmark
Received: 2006-11-23:
Received: 2006-11-22:
- AutoMathA 2007, June 18-22, 2007, Palermo, Italy
- Tenure-track faculty positions in Computer Science, University of Virginia
- Theory and Applications of Models of Computation (TAMC) 2007, May 22-25, 2007, Shanghai (China)
- Parikh Fest: "Logical methods in exact and social sciences", December 1-2, 2006, New York NY
Received: 2006-11-19:
- CfP Logic and Multi-Agent Systems (LAMAS), Otago (New Zealand), 15 and 16 February 2007
- Nine research assistant positions on Spatial Cognition, Reasoning, Action and Interaction, Bremen/Freiburg (Germany)
- Logical Foundations of Computer Science (LFCS'07), New York City, June 4-7, 2007
- Set Theory and Its Neighbours 10, 22 November 2006, London, UK
- New Journal "Logic and Analysis" (Springer)
- Leon Henkin (1921-2006)
Received: 2006-11-17:
Received: 2006-11-16:
Received: 2006-11-14:
Received: 2006-11-10:
Received: 2006-11-08:
Received: 2006-11-02:
- LAMAS (Logic and Multi-Agent Systems), Otago (New Zealand), February 2007
- First CfP: CiE 2007, Siena, June 2007
- AofA'07 (Analysis of Algorithms), Juan les Pins (France), June 2007
- Workshop "Phenomenology of Agency", Fribourg (Switzerland), November 2006
- 30th International Wittgenstein Symposium, Kirchberg (Austria), August 2007
- MEGA 2007 (Effective Methods in Algebraic Geometry), Strobl (Austria), June 2007
Received: 2006-10-26:
Received: 2006-10-24:
- CALCO-jnr 2007 (CALCO Young Researchers Workshop), Bergen (Norway), August 2007
- "Medieval and modern logic: an encounter", Leiden, Nov 6, 2006
- SISL Postdoc at CalTech "Information Flow in networks", Deadline: Jan 15, 2007
- Joint Session of the IUHPS on "Calculability and Constructivity", Paris, Nov 2006
- "Linguistics and Epistemology", Aberdeen (Scotland), May 2007
- IEEE Congress on Evolutionary Computation, Sep 2007, Singapore
- Opera on Georg Cantor: Halle (Germany)
Received: 2006-10-18:
Received: 2006-10-16:
Received: 2006-10-12:
Received: 2006-10-09:
Received: 2006-10-05:
Received: 2006-10-02:
Received: 2006-09-29:
Received: 2006-09-27:
Received: 2006-09-26:
Received: 2006-09-22:
Received: 2006-09-17:
- New Journal: Logic and Analysis (Springer)
- WoLLIC 2007: Rio de Janeiro, Brazil, July 2007
- IWIL: "Implementations of Logics", Phnom Penh, Nov 12, 2006 -- Deadline: September 18th, 2006
- Researcher position (predoc/postdoc) on "Visualizations in knowledge communication", Offenbach (Germany)
- MAMLS, Rutgers University, October 14, 2006
Received: 2006-09-15:
Received: 2006-09-11:
Received: 2006-09-07:
Received: 2006-09-05:
Received: 2006-09-02:
Received: 2006-09-01:
Received: 2006-08-31:
Received: 2006-08-30:
Received: 2006-08-28:
Received: 2006-08-27:
Received: 2006-08-25:
Received: 2006-08-24:
- CfP Colloquium Logicum 2006, Bonn, Sep 2006 (deadline: Sep 1, 2006)
- PhD student position in "Modelling Freedom", Groningen (The Netherlands)
- 50% part-time lectureship in "Natural Language Processing", ILLC, Amsterdam
- PhD Studentship in 'Light-weight rule extended ontology languages', Aberdeen UK
- Call for Participation: AiML-2006, Noosa (Australia), Sep 2006
- 18th Nordic Workshop on Programming Theory (NWPT 06), Reykjavik (Iceland), Oct 2006
- Two-year research fellowship in Approximation Algorithms, Melbourne, Australia
- Two-year PhD school in Language and Speech Technologies, Tarragona (Spain)
- Two-year PhD school in Formal Languages, Tarragona (Spain)
- Postdoctoral Group Leader Position (BAT Ia), Model Checking / Symbiotic Computation, TH Karlsruhe, Germany
- W3 Professorship in Computer Science (Cognitive Systems), Hochschule Konstanz, Germany
- W1 Junior Professorship for Computer Linguistics, Mainz, Germany
- W3 Professorship for Mathematics (Symbolic Computation), Passau (Germany)
- W2 Professorship Foundations of Computer Science, Hochschule Offenburg, Germany
- W3 Professorship in Artificial Intelligence, TU Chemnitz, Germany
Received: 2006-08-04:
- II ICM (International Colloquium on Metaphysics): Metaphysics, Ontology and History, Natal (Brazil), Nov 2006
- 3rd Workshop on Neural-Symbolic Learning and Reasoning, Hyderabad (India), Jan 2007
- PhD student position logic & cognitive science, Bristol, UK
- Professorship Theoretical CS / Logic, Fachhochschule Dortmund (W2)
- Historian of Mathematics (10 month position), Leibniz Archiv G?ttingen
- Perspectives on Mathematical Practices (PMP 2007), Brussels, March 2007
- 1st Athens Colloquium on Algorithms and Complexity, Athens (Greece), Aug 2006
Received: 2006-08-02:
Received: 2006-07-29:
Received: 2006-07-25:
- PhD student positions: "Useful Logics, Types, Rewriting, and their Automation", Heriot-Watt University, Edinburgh, Scotland
- LATA 2007: Language and Automata Theoy and Applications, Tarragona, Spain, Mar/Apr 2007
- W1 Junior Professorship Computer Science (with Tenure Track), Osnabrueck, Germany
- Call for submissions: E W Beth Dissertation Prize
- 2 PhD student positions in "Theory of Computing", Leeds, UK
- MCU 2007, Machines, Computations and Universality, Orleans, France, Sep 2007
Received: 2006-07-11:
Received: 2006-07-08:
Received: 2006-07-05:
Received: 2006-06-30:
Received: 2006-06-28:
- MKM 2006: Mathematical Knowledge Management, Wokingham UK, Aug 2006
- Conference on Logic, Computability and Randomness 2007, Buenos Aires (Argentina), Jan 2007
- Call for Benchmarks for the 2nd SMT-COMP (Seattle WA), Aug 2006
- 17th Novembertagung on History and Philosophy of Mathematics, Edinburgh (Scotland), Nov 2006
- New Master's Programme in Pure and Applied Logic (Barcelona)
- Colloquium Logicum 2006, Bonn (Germany), Sep 2006
- "Confirmation, Induction and Science", London, March 2007
- 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavik, Oct 2006
Received: 2006-06-23:
- Lectureship (permanent) in Philosophical Logic, Utrecht (Netherlands)
- MAP (Mathematics, Algorithms, Proofs) Summer School, Genova, Aug-Sep 2006
- Visiting Professorship (1y) for Computer Science, Vienna
- Interfacultary Professorship "History, Philosophy and Theory of Science", Vienna
- Professorship for 'Applied Philosophy of Science and Theory of Knowledge', Vienna
- 1 year visiting assistant professorship in philosophy (logic), University of Rochester (New York State)
Received: 2006-06-20:
Received: 2006-06-19:
Received: 2006-06-15:
Received: 2006-06-14:
Received: 2006-06-07:
- PoPL (Principles of Programming Languages), Jan 2007, Nice (France)
- Call for Proposals ICLP 2007; 23rd International Conference on Logic Programming
- Workshop on Multi-valued Logic and Applications, Seattle, Aug 21, 2006 (deadline: June 10)
- Junior Professorship (W1) Organic Computing, Universitaet Hannover, Germany
- Two PhD Positions in Sociology; project sociology of mathematical knowledge, Konstanz (Germany)
- PhD Student Positions in Computer Science ('Useful Logics, Types, Rewriting, and their Automation'), Edinburgh, Scotland
- PhD student position in Proof Theory/Lambda Calculus, Universite de Savoie, France
- GLLC 12: Games in Logic, Language and Computation, Amsterdam
Received: 2006-06-02:
- Non-tenure track assistant professorship (Juniorprofessur W1) Psycholinguistics, Berlin
- CATS 2007: Computing -- The Australasian Theory Symposium, Jan/Feb 2007, Ballarat (Australia)
- 11th Mons Days of Theoretical Computer Science, Rennes, France, Aug/Sep 2006
- PhD student position in formal verification, VU Amsterdam
- Call for Tutorials: ICTAC 2006, 3rd International Colloquium on Theoretical Aspects of Computing, Tunis (Tunisia), Nov 2006
- PhD student position and postdoc position at CWI, Amsterdam (modeling and analysis of evolutionary structures for distributed services)
- Ackermann Award 2006 goes to Balder ten Cate
- Conference on Logic, Computability and Randomness, Buenos Aires, Jan 2007
Received: 2006-05-23:
Received: 2006-05-20:
Received: 2006-05-15:
Received: 2006-05-11:
Received: 2006-05-09:
Received: 2006-05-04:
Received: 2006-05-03:
Received: 2006-04-30:
Received: 2006-04-27:
Received: 2006-04-26:
Received: 2006-04-25:
- ESSLLI 2006 (European Summer School of Logic, Language and Information), Jul/Aug 2006, Malaga (Spain)
- 8th International Workshop on Termination (WST 2006), Seattle WA, August 2006
- LPAR-13, Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, November 2006
- PhD Student Position in Philosophical Logic, Dresden (Germany)
Received: 2006-04-22:
Received: 2006-04-20:
Received: 2006-04-19:
Received: 2006-04-18:
Received: 2006-04-14:
Received: 2006-04-10:
Received: 2006-04-09:
Received: 2006-04-05:
Received: 2006-04-02:
Received: 2006-04-01:
- Postdoctoral position in Theoretical Computer Science, University of Chile
- W1 Junior Professorship in English Linguistics ("Pragmatics and Discourse Analysis"), Rostock, Germany (deadline: April 27)
- Instructorship (1 year + extension) in philosophy, logic teaching, Valparaiso University, Indiana (US)
- 14th European Symposium on Algorithms (ESA 2006), Zuerich, Switzerland, Sep 2006
- PhD position in Mathematics (Computability and its applications to mathematics and physics), Swansea (Wales)
- CP 2006 (Constraint Programming), Nantes, France, Sep 2006
Received: 2006-03-27:
Received: 2006-03-25:
Received: 2006-03-22:
Received: 2006-03-21:
- MSFP (Mathematically Structured Functional Programming), Kuressaare, Estonia, July 2006
- Maitre de Conference position in "Foundations of Mathematics and Applications in Algebra and Analysis", La Reunion
- PhD position on Semantics of Multi-Threaded Flow of Control, Amsterdam
- LOFT 2006: "7th Conference on Logic and the Foundations of Game and Decision Theory", Liverpool, July 2006
- PhD positions in Computer Science, Gothenburg, Sweden
- 11th International Conference on Implementation and Application of Automata, Taipei, August 2006
- 2nd International Congress on Tools for Teaching Logic, September 2006 (Salamanca)
Received: 2006-03-17:
- LFCS'07 (Logical Foundations of Computer Science), New York City, June 2007
- LOGIC COLLOQUIUM 2006, Nijmegen, The Netherlands: July/August 2006
- Pre/postdoctoral research position, Knowledge Management, Karlsruhe, Germany
- Senior Research Assistant (predoctoral or postdoctoral), 28 months, University of Wales, Swansea
Received: 2006-03-15:
- "Towards a New Epistemology of Mathematics", Workshop at GAP.6, FU Berlin, September 2006
- W3 Professorship Philosophy and Philosophy of Science, Konstanz, Germany
- Postdoctoral position in Linguistics (3 years), ILLC, Amsterdam
- Tenure-Track Research position on Algorithmic Game Theory at CWI, Amsterdam
- Postdoctoral position in semantics and cognition, Paris, France
- Juniorprofessur (W1) in Semantics, Potsdam, Germany
- *Change of Date* and 2nd CfP: CCA 2006 (Computability and Complexity in Analysis), Gainesville FL, November 2006
- Lectureship (3+1 years) in Theoretical Computer Science, ETH Zurich, Deadline: April 15
- 17th International Conference on Algorithmic Learning Theory, Barcelona, October 2006
Received: 2006-03-09:
Received: 2006-03-06:
Received: 2006-03-04:
- ASL Annual Meeting, May 2006, Montreal (Quebec)
- Relations and Kleene Algebra in CS (RelMiCS/AKA 2006), August/September 2006, Manchester
- Call for participation: Masses of formal philosophy (deadline: Sep 15, 2006)
- Scheduling of NF conference 2007
- Infinity Symposium: Vrije Universiteit Amsterdam, March 21-22, 2006
- NeSy'06: Riva del Garda, August 2006
- W3 Professorship Linguistics (Semantics), Konstanz, Germany
- Computer Scientist / Computer Linguist position (BAT IIa): Institut fuer deutsche Sprache, Mannheim
Received: 2006-03-02:
Received: 2006-03-01:
Received: 2006-02-22:
Received: 2006-02-18:
Received: 2006-02-16:
- W3 Professorship in Semantics, Konstanz (Germany)
- "Truth and Proof: Kurt Goedel and the Foundations of Mathematics" (March 2006, Edinburgh)
- FAMAS'06: Formal Approaches to Multi Agent Systems, Riva del Garda, Italy, August 2006
- Director, School of Computer Science, UNLV, Las Vegas NV
- International Conference on Set-theoretic Topology, Kielce (Poland), August 2006
- Workshop on the Urysohn Space, Beer Sheva, Israel (May 2006)
Received: 2006-02-15:
- "Category Theory and its applications", Mac Lane Memorial Conference, April 2006, Chicago
- Summer School in Philosophy: David Chalmers (Cologne, September 2006)
- "Set Theory and Analysis", London, 15 March 2006
- WPS06: Workshop on Reduction Strategies in Rewriting and Programming, Seattle, August 2006
- LPAR-13, Logic for Programming, Artificial Intelligence and Reasoning; Phnom Penh (Cambodia), November 2006
- Carnegie Mellon Summer School in Logic and Formal Epistemology (Pittsburg, June 2006)
Received: 2006-02-13:
Received: 2006-02-12:
Received: 2006-02-04:
Received: 2006-01-31:
- Rewriting Techniques and Applications (RTA06), Seattle WA, August 2006
- Formal Methods 2006: Hamilton, Ontario, August 2006
- "Computing and Philosophy" (4th European Meeting, Trondheim, Norway, June 2006)
- Fellowships for the COMSTRU School on Computational Complexity: Bertinoro, Italy (May 2006)
- Kurt Goedel Centenary: Young Scholars Competition
- MPC06: Mathematics of Program Construction, Kurassaare, Estonia, July 2006
- 2nd International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2006, Riva del Garda (Italy), August 2006
- 3rd MODNET Summer School, Freiburg, April 2006
- Postgraduate Logic Conference, University of Melbourne, April 2006
Received: 2006-01-27:
Received: 2006-01-23:
Received: 2006-01-17:
Received: 2006-01-13:
Received: 2006-01-11:
Archived years:
2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 all