Alexandru Baltag's - PERSONAL WEBSITE

\n<div class='toolbar' macro='toolbar +saveTiddler -cancelTiddler deleteTiddler'></div>\n<div class='title' macro='view title'></div>\n<div class='editor' macro='edit title'></div>\n<div class='editor' macro='edit text'></div>\n<div class='editor' macro='edit tags'></div><div class='editorFooter'><span macro='message views.editor.tagPrompt'></span><span macro='tagChooser'></span></div>\n

<<tiddler MainMenu>>\n\nAuthorMainMenu\nMainMenu\nDefaultTiddlers\nPluginManager\nPresentationIndex\n

\n<div id='header' class='header' macro='gradient vert [[ColorPalette::PrimaryLight]] [[ColorPalette::PrimaryMid]]'>\n<div class='headerShadow'>\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</div>\n<div class='headerForeground'>\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</div>\n</div>\n<div id='mainMenu' refresh='content' tiddler='AuthorMainMenu'></div>\n<div id='sidebar'>\n<div id='sidebarOptions' refresh='content' tiddler='SideBarOptions'></div>\n<div id='sidebarTabs' refresh='content' force='true' tiddler='SideBarTabs'></div>\n</div>\n<div id='displayArea'>\n<div id='messageArea'></div>\n<div id='tiddlerDisplay'></div>\n</div>\n

/***\nPlace your custom CSS here\n***/\n/*{{{*/\n\n\n[[StyleSheetCommon]]\n/*}}}*/\n

\n<div class='toolbar' macro='toolbar closeTiddler closeOthers +editTiddler permalink references jump'></div>\n<div class='title' macro='view title'></div>\n<div class='subtitle'><span macro='view modifier link'></span>, <span macro='view modified date [[DD MMM YYYY]]'></span> (<span macro='message views.wikified.createdPrompt'></span> <span macro='view created date [[DD MMM YYYY]]'></span>)</div>\n<div class='tagging' macro='tagging'></div>\n<div class='tagged' macro='tags'></div>\n<div class='viewer' macro='view text wikified'></div>\n<div class='viewer topbutton' macro='top'></div>\n<br><br>\n<div class='viewer' macro='navigation tiddlers:{{store.getTiddlerText("PresentationIndex").readBracketedList()}}}'></div>\n<div class='tagClear'></div>\n

Story.prototype.refreshTiddler_activelink = Story.prototype.refreshTiddler;\nStory.prototype.refreshTiddler = function (title,template,force)\n{\n var theTiddler = Story.prototype.refreshTiddler_activelink.apply(this,arguments);\n if (!theTiddler)\n return theTiddler\n var menu = document.getElementById("mainMenu");\n var links = menu.getElementsByTagName("a");\n for (var i=0; i<links.length; i++)\n {\n if (!links[i].getAttribute("tiddlyLink"))\n return;\n if (document.getElementById(this.idPrefix+(links[i].getAttribute("tiddlylink"))))\n addClass(links[i],"bold");\n else\n removeClass(links[i],"bold");\n }\n return theTiddler;\n}

''Address:''\nOxford University Computing Laboratory,\nWolfson Building,\nParks Road,\nOxford, OX 1 3QD,\nEngland.\n\n''Telephone:''\nOffice: +44 (0)1865 273842\nFax: +44 (0)1865 273839\n\n''EMAIL:'' Alexandru.Baltag (at) comlab.ox.ac.uk \n

Click here for the pdf file: [[CV|http://www.vub.ac.be/CLWF/SS/CV.pdf]]

I have been affiliated to: [[CWI|http://www.cwi.nl/]], (Dutch Center for Mathematics and Computer Science) & [[ILLC|http://www.illc.uva.nl/]] (Institute for Logic, Language and Computation), University of Amsterdam, NL; [[IU Department of Mathematics|http://www.math.indiana.edu/]], Indiana University; [[Institute of Mathematics of the Romanian Academy|http://www.imar.ro/]], Bucharest, Romania.\n

Background: #ffffff\nForeground: #000\nPrimaryPale: #ddccff\nPrimaryLight: #eeeeff\nPrimaryMid: #330066\nPrimaryDark: #000\nSecondaryPale: #ffc\nSecondaryLight: #fe8\nSecondaryMid: #db4\nSecondaryDark: #330066\nTertiaryPale: #ddccff\nTertiaryLight: #EEC591\nTertiaryMid: #000\nTertiaryDark: #8B7355

config.options.chkAnimate = false;\nconfig.options.chkSinglePageMode = true;\nconfig.options.chkTopOfPageMode = false;

''Contributed Talks to Conferences and Workshops''\n\n*Annual Conference of the Association for Symbolic Logic, Irvine University, California 1995. Presentation of contributed talk: "Modal Logic and Topology".\n*Annual Conference of the Association for Symbolic Logic, Madison, Wisconsin, 1996. Presentation of contributed talk: "Modal Characterizations for Sets and Kripke Structures".\n*The 10th //European Summer School in Logic,\nLanguage and Information// (ESSLLI'96), Prague 1996. Contributed Paper: "Multidimensional Epistemic Logic". My paper was presented by Martin de Rijke.\n*Annual Conference of the Association for Symbolic Logic, Boston Massachusetts, 1997. Presentation of contributed talk: "Interpolation and Preservation for Pebble Logics".\n*The 7th Conference on //Theoretical Aspects of Rationality and Knowledge// (TARK'98), Evanston, Illinois, July 22-24 1998.Contributed paper.\n*Second Conference on {\sem Advances in Modal Logic}, (AIML 98), Uppsala, Sweden, October 1998. Presentation of contributed paper.\n*Workshop on //Coalgebraic Methods in Computer Science// (CMCS'99), part of the ETAPS'99 Conference, Amsterdam, March 1999. Participant.\n*Summer School in //Logic and Computation//, Herriot - Watt University, Edinburgh, Great Britain, April 10-13 1999. Presentation of contributed paper.\n*Workshop on //Foundations and Applications of Collective Agent Based Systems//, part of the 11th European Summer School in Logic, Language and Information (ESLLI'99), Utrecht University, Utrecht, August 1999. Presentation of contributed talk.\n*Workshop on //Coalgebraic Methods in Computer Science// (CMCS'00), satellite of ETAPS'00, Berlin, March 2000. Presentation of contributed talk: "A Logic for Coalgebraic Simulation".\n*GLLC'00, University of Amsterdam, Amsterdam, April 14 2000. Presentation of contributed talk.\n*The Fourth Conference on //Logic and Foundations of Game Theory and Decision Theory// (LOFT'00), ICER, Torino, Italy, June 30-July 2 2000. Presentation of contributed talk.\n*The Fourth Workshop on //Games in Logic, Language and Computation// (GLLC'00), Groningen University, Groningen, NL, November 21 2000. Presentation of contributed talk.\n*//Logic Colloquim 2000// (LC'00), Paris, La Sorbonne, July 23-31 2000. Presentation of contributed talk.\n*The 6th //Barcelona Logic Meeting//, satellite of the Third European Congress of Mathematics, Barcelona, Spain, July 5-8 2000. Presentation of contributed talk.\n*The 4th International Workshop on //Coalgebraic Methods in Computer Science// (CMCS'01), satellite workshop of ETAPS 2001 Genova, Italy 6-7 April 2001. Presentation of contributed talk.\n*The 8th Conference on //Theoretical Aspects of Rationality and Knowledge// (TARK'01), Siena, Italy, July 2001. Presentation of contributed talk.\n*Workshop on //Coalgebraic Methods in Computer Science// (CMCS'02), satellite of ETAPS'02, Grenoble, France, April 2002. PC Member and participant.\n*LOGAMAS '02 (Symposium on //Logic in Games and Multi - Agent Systems//), University of Liverpool, 16-17 December 2002. Contributed Talk: "A Hoare Logic for Epistemic Programs".\n*NASSLLI'02 (The First //North - American Summer School in Logic, Language and Information//), Stanford University, July 2002. Participant and co-lecturer at the post-graduate course "Dynamic Epistemic Logic", taught by L. Moss.\n*CMCS'03 (Workshop on //Coalgebraic Methods in Computer Science//), satellite of ETAPS'03, Warsaw, Poland, April 2003. Contributed Talk: "A Coalgebraic Semantics for Epistemic Programs".\n*NASSLLI'03 (//The Second Summer School in Logic, Language and Information//), Indiana University, Bloomington, Indiana, July 2003. Speaker and course organizer: I gave a series of 5 lectures, as a post-graduate course on "Logics for Communication: reasoning about information flow in dialogue games". Course available [[online|http://www.indiana.edu/~nasslli]].\n*2nd LICS Workshop on //Quantum Programming Languages// (QPL'04), affiliated to LICS '04 (Turku, Finland 2004). My (joint) submission (with Sonja Smets) "A Dynamic Logic for Quantum Programming" was accepted and presented by Bob Coecke.\n*LICS Workshop on {\sit Resources, Processes and Programs} (LRPP'04), affiliated to LICS '04 (Turku, Finland 2004). My (joint) paper (with B. Coecke and M. Sadrzadeh) "Epistemic actions as resources" was accepted and presented by M. Sadrazadeh.\n*1st Workshop on {\sit Knowledge and Games} (KAG'04), Liverpool, July 2004. Contributed Talk: "Learning that you are being deceived".\n*//Quantum Structures '04//, the 8th Meeting of the Quantum Structures Association (//IQSA//), Denver, USA, July 2004. Contributed paper (joint work with S. Smets) "The Logic of Quantum Actions", presented by S. Smets.\n*Workshop on //Logic and Communication in Multi - Agent Systems// (LCMAS'04) affiliated to ESSLLI'04, Nancy, France, August 2004. Contributed paper (joint with B. Coecke and M. Sadrzadeh) "Algebra and Calculus for Epistemic Actions", presented by M. Sadrzadeh.\n*2nd European Workshop on Multi - Agent Systems (//EUMAS '04//), Barcelona, Spain, December 2004. Contributed paper ``Reasoning about Dynamic Epistemic Logic" (joint with B. Coecke and S. Smets), presented by M. Sadrzadeh.\n*Workshop on //Logic from Quantales//, Oxford University, January 2005. Talk: "Quantum Dynamic Algebra".\n*2nd Meeting on //Algebraic and Topological Methods in Non-classical Logics//, Barcelona, June 2005. Contributed talk: "The Logic of Quantum Information Flow".\n*Workshop on //Quantum Information, Computation and Logic: Exploring New Connections// (QICL'05), at the Perimeter Institute for Theoretical Physics, Waterloo (Ontario), Canada, July 2005. Joint mini - course (with S. Smets) in Quantum Computation: "Quantum Dynamic Logic".\n*3rd International Workshop on //Logic and Communication in Multi - Agent Systems// (LCMAS'05), affiliated to IJCAI'05 (19th International Joint Conference on Artificial Intelligence), Herriot - Watt University, Edinburgh, August 2005. Contributed paper (joint with B. Coecke and M. Sadrzadeh) "The Algebra of Multi - Agent Dynamic Belief Revision", presented by M. Sadrzadeh.\n*Workshop on //Belief Revision and Dynamic Logic//, affiliated to ESSLLI '05, Edinburgh, August 2005. Contributed paper (joint with B. Coecke and M. Sadrzadeh) "The Algebra of Multi - Agent Dynamic Belief Revision", presented by M. Sadrzadeh.\n*17th European Summer School in Logic, Language and Information (//ESSLLI 2005//), Herriot - Watt University, Edinburgh, August 2005. Contributed chapter (including slides for presentation) to the course on "Dynamic Epistemic Logic" taught by H. van Ditmarsch and B. Kooi. My contribution was presented by J. Gerbrandy.\n*Fifth European Congress for Analytic Philosophy (//ECAP 5//) University of Lisbon, Portugal, 27-31 August 2005. Participant.\n*Workshop on //Quantum Information: Logical and Epistemological Lessons//, affiliated to //ECAP 5//, University of Lisbon, Portugal, 29 - 30 August 2005. Participant and contributed talk. My joint paper (with S. Smets) "What can Logic Learn from Quantum Mechanics?" was presented by S. Smets.\n*18th //European Summer School in Logic Language and Information// (ESSLLI'06), University of Malaga, Spain, July - August 2006. Speaker and course organizer: I gave a series of 5 lectures, as a post-graduate course on "Logics for Quantum Information Flow". Joint work with S. Smets. Course available [[online|http://www.vub.ac.be/CLWF/SS/ESSLLI.html]].\n*Workshop on //Rationality and Knowledge// (RAK'06), affiliated with ESSLLI'06, University of Malaga, Spain, July - August 2006. Presentation of contributed talk.\n*The 7th Conference on //Logic and Foundations of Game Theory and Decision theory//(LOFT'06), University of Liverpool, July 2006. Presentation of contributed talk.\n*The 13th Workshop on //Logic, Language, Information and Computation// (WOLLIC'06), Stanford University, July 2006. Presentation of contributed talk.\n*13th International Congress of //Logic, Methodology and Philosophy of Science//, Tsinghua University, Beijing, China, August 9 - 15, 2007. Presentation of contributed talk.\n*The Ninth Conference on //Theoretical Aspects of Rationality and Knowledge// (TARK 9), June 25 - 27th, 2007, Brussels, Belgium. Presentation of two contributed talks.\n*Workshop on //Logic and Intelligent Interaction//, affiliated with ESSLLI'08, August 11 - 15, 2008 Hamburg. Contributed talk "Dynamic Rationality in Extensive Games" (joint work with S. Smets and J. Zvesper), presented by J. Zvesper.\n*The 8th Conference on //Logic and Foundations of Game Theory and Decision theory// (LOFT'08), University of Amsterdam, July 2008. Contributed paper "When All is Done and not (Yet) Said: Dynamic Rationality in Extensive Games" (joint work with S. Smets and J. Zvesper), presented by J. Zvesper.\n*//Quantum Structures '08//, the 9th Biennial Meeting of the Quantum Structures Association (//IQSA//), Sopot, Poland, July 2008. Contributed paper "The Logical Dynamics of Entanglement" (joint work with S. Smets), presented by S. Smets.\n* 16th workshop on // Logic, Language, Information and Computation//, WOLLIC, Tokyo, 21-24 juni 2009. Contributed paper "Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points" (joint work with S. Smets).\n* Workshop on //Theoretical Aspects of Rationality and Knowledge//, TARK, Stanford, 6-8 July 2009. Contributed paper "Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades" (joint work with S. Smets).\n*//European Summer School for Logic, Language and Information//, ESSLLI 2009, Bordeaux 20-31 Juli, 2009. Post-graduate course given on "Dynamic Logics for Interactive Belief Revision". Joint work with S. Smets. \n*The //Second Multi -Agent Logics, Languages, and Organisations Federated Workshops (FAMAS)//, Turin, Italy, 7-10 September, 2009. Contibuted paper on "Talking Your Way into Agreement: Belief Merge by Persuasive Communication" (joint work with S. Smets).

[[CONTACT]]

\nSee it in action here: http://lewcid.googlepages.com/tots.html\n\n!!Editing this TW:\nOpen the TW with #author:true at the end of the url/file location to enable editing.\nPreview edits by using the "Presentation Mode" button in the MainMenu\n//(To make future editing easier, bookmark the file with #author:true at the end of the file name. One click and edit!)//\n\n!!Changing the content and order of the presentation:\nEdit the PresentationIndex tiddler to change the contents and order of the presentation.\n\n!! Customizing the default (viewing) interface.\nEdit the following tiddlers as needed:\n*PageTemplate\n*StyleSheet\n*ViewTemplate\n*EditTemplate\n*MainMenu\n\n!!Customizing the editing (author's) interface.\nEdit the following tiddlers as needed: //(Note that these files are optional, if any of them dont exist, the standard viewing one will be used instead. So if you only want to change the PageTemplate, you only need an AuthorPageTemplate tiddler.)//\n*AuthorPageTemplate\n*AuthorStyleSheet\n*AuthorViewTemplate\n*AuthorEditTemplate\n*AuthorMainMenu\n\n!!Using a different stylesheet or theme:\nUsing your own favorite stylesheet or theme is as simple as importing those tiddlers into this file.\nIf you are changing the presentation interface, just import the PageTemplate and StyleSheet. If you want to change the editing interface, you will need to copy over the PageTemplate and StyleSheet as AuthorPageTemplate and AuthorStyleSheet respectively.\n\n!!Other tips:\n* Use the tiddler StyleSheetCommon and include it using {{{[[StyleSheetCommon]]}}} in your StyleSheet and AuthorStyleSheet when making stlyesheet changes that you want applied to both the presentation and editing interface, to avoid having to type it out twice!\n*To provide easy control over the font-size, use the FontSizePlugin: http://lewcid.googlepages.com/lewcid.html#FontSizePlugin\n* If this presentation is going to be placed online, you might want to have a splash screen that displays while the TW is loading: http://lewcid.googlepages.com/lewcid.html#SplashScreenPlugin

!Dummy Tiddler 3\n\ndummy tiddler three

!DummyTiddler2\n\nThis is the second tiddler of your dummy presentation

''Papers on Dynamic Quantum Logic''\n\n*A. Baltag and S. Smets. "Correlated Information: A Logic for Multi- Partite Quantum Systems". In Bob Coecke and Prakash Panangaden (eds.) //Electronic Notes in Theoretical Computer Science ENTCS//. Proceedings of the 6th Workshop on Quantum Physics and Logic, Oxford. 2009.\n*A. Baltag and S. Smets. "LQP: The Dynamic Logic of Quantum Information". //Mathematical Structures in Computer Science//, 16 (3): 491-525, 2006. Cambridge University Press. [[Preprint|http://www.vub.ac.be/CLWF/SS/LQP.pdf]]\n*A. Baltag and S. Smets. Complete Axiomatizations for Quantum Actions. //International Journal of Theoretical Physics// 44 (12):2267-2282, 2005. Springer Publishers, NY. [[Preprint|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]]\n*A. Baltag. The logic of quantum information flow. (Abstract) //Proceedings of the 2nd Meeting on Algebraic and Topological Methods in Non-classical Logics//, 13-14, Barcelona, 2005.\n*A. Baltag, S. Smets. "The Logic of Quantum Programs". //Proceedings of QPL'04// (2nd LICS Workshop on Quantum Programming Languages), TUCS General Publication 33: 39-56, Turku, Finland 2004. [[Full Paper online|http://www.mathstat.dal.ca/%7Eselinger/qpl2004/proceedings.html]]

ESSLLI'06 Course on ''Logics for Quantum Information Flow''\nBy Alexandru Baltag and Sonja Smets\n\nThis course is addressed to students interested in the logic of quantum information, and in particular in the use of modal (dynamic and epistemic) logics to reason about information flow in quantum computation. It is an advanced course, based on classical work in quantum logic and quantum computation, as well as on our own work on Quantum Dynamic- Epistemic Logic.\n\nSome prior familiarity with the most basic notions of multi-modal logic (PDL and epistemic logic), and with some basic algebraic notions (in Lattice Theory and Linear Algebra) would be very helpful; nevertheless, we will provide and briefly explain all the basic definitions, so the course is in principle self-contained. The course starts with an introduction to the basic concepts of Quantum Mechanics (in terms of Hilbert spaces, linear maps and tensor products), Quantum Computation (quantum-logic gates, quantum measurements, various quantum algorithms), then continues with a presentation of traditional Quantum Logic and of its algebraic and relational semantics; then we make the connection with dynamic modal logic, introducing Quantum Transition Systems as non-classical relational models for the (classical) language of PDL. We also give an equivalent algebraic semantics, in terms of Quantum Dynamic Algebras, and briefly present a Representation (and completeness) theorem for these structures. In the second part of the course, we introduce epistemic modalities, to express "knowledge" as localised information in a compound quantum system: any localised subsystem is taken as an "agent", whose "knowledge" is given by the information potentially available at that location. We use the resulting Quantum Dynamic- Epistemic Logic to characterise physical-computational properties, such as separation, entanglement, correlations between local measurements, various quantum-logical gates, Bell states etc. We present a proof system for this logic, which can capture important quantum-computational features. Finally, we use this logic to analyze and formally prove the correctness of some quantum programs, such as the famous Teleportation Protocol.\n\n[[ESSLLI'06 Course Slides]]\n[[ESSLLI'06 Course References]]

Course on ''Logics for Quantum Information Flow''\nBy Alexandru Baltag and Sonja Smets\n\nReferences:\n\nThe list of relevant material for our ESSLLI 06 Course is very large. Below we mention only the main textbooks in the field and some of our research papers on which the course material is based.\n\n''Our Research Papers:''\n\nA. Baltag and S. Smets: [["What can Logic Learn from Quantum Mechanics?"|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]].\n\nA. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]].\n\nA. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]].\n\n''Quantum Computation:''\n\nJ. Gruska. //Quantum Computing//, The Mc Graw- Hill Companies, England, 1999 \n\nM. A. Nielsen and I.L. Chuang: //Quantum Computation and Quantum Information//, Cambridge University Press, 2001.\n\n''Quantum Logic:''\n\nM. Dalla Chiara, R. Giuntini and R. Greechie, //Reasoning in Quantum Theory//, Kluwer Academic Publishers, 2004.\n\nC. Piron, //Foundations of Quantum Physics//, W.A. Benjamin Inc., Massachusetts (1976)\n\n''Modal Logic and Dynamic Logic:''\n\nP. Blackburn, M. de Rijke and Y. Venema, //Modal Logic// , Cambridge University Press, 2001.\n\nD. Harel, D. Kozen and J. Tiuryn, //Dynamic Logic//, MIT press, Massachusetts, 2000.\n\n[[ESSLLI'06 Course Description]]\n[[ESSLLI'06 Course Slides]]\n

ESSLLI'06 Course on ''Logics for Quantum Information Flow''\nBy Alexandru Baltag and Sonja Smets\n\n- [[Lecture1|http://www.vub.ac.be/CLWF/SS/WEB1.zip]]\n- [[Lecture2|http://www.vub.ac.be/CLWF/SS/WEB2.zip]]\n- [[Lecture3|http://www.vub.ac.be/CLWF/SS/WEB3.zip]]\n- [[Lecture4|http://www.vub.ac.be/CLWF/SS/WEB4.zip]]\n- [[Lecture5|http://www.vub.ac.be/CLWF/SS/WEB5.zip]]\n\n\n[[ESSLLI'06 Course Description]]\n[[ESSLLI'06 Course References]]

ESSLLI'09 Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nThis course is addressed to students and researchers interested in logics for reasoning about multi-agent belief revision, belief updates and knowledge updates induced by various forms of communication or interaction. It is an advanced course, designed to present to students and researchers from other fields the work done in recent years by a number of researchers on integrating ideas from Belief Revision Theory within the DEL (Dynamic Epistemic Logic) paradigm. The course presupposes a background knowledge of the syntax and semantics of basic modal logic. Some familiarity with the standard modal logics for knowledge and belief, as well as with some basic issues of standard Belief Revision theory, would be most welcome (though not required) for an easier understanding of the material.\n\nWe start by presenting the main notions of "standard DEL", arguing that this logic is appropriate for updating "hard information" (unrevisable knowledge), but that it is inappropriate for "soft information" (possibly false beliefs or defeasible knowledge). We then present "belief-revision models", defining some important epistemic/doxastic notions, considering a number of logical languages for these models, and explaining the relevance of these notions to fundamental issues in contemporary Epistemology, in Computer Science and in the study of language and communication. We present various Belief Update operations and various belief-revision policies proposed by different authors, focusing on one particular proposal (the Action - Priority Update) of great generality and elegance. We present reduction laws (the "dynamic laws of Interactive Belief Revision"), complete axiomatizations, applications to dialogue games, belief merge, communication strategies, connections with other research areas and open problems.\n\n[[ESSLLI'09 Slides]]\n[[ESSLLI'09 References]]\n

Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nReferences:\n\nThe list of relevant material for our ESSLLI 09 Course on Dynamic Logics for Interactive Belief Revision is very large. Below we mention only the main textbooks, some websites and some names of authors with relevant article contributions.\n\nA. Baltag, L.S. Moss and H.P. van Ditmarsch, "Epistemic Logic and Information Update". In (Eds) P. Adriaans and J. van Benthem", //Philosophy of\nInformation//, part of Handbook of the Philosophy of Science, vol. 8, pp. 361-465, Elsevier, 2008\n\nA. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/Ch1-Baltag.pdf]], in G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), //Logic and the Foundations of Game and Decision Theory//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_3]], Vol 3, pp.9-58, Amsterdam University Press, 2008\n\nH.P. van Ditmarsch, W. van der Hoek and B.P. Kooi, //Dynamic Epistemic Logic//, Synthese Library 337, Springer, 2007\n\nR. Fagin, J.Y. Halpern, Y. Moses and M.Y. Vardi, //Reasoning about Knowledge//, MIT Press, 1995\n\nP. Gardenfors, //Knowledge in Flux: Modelling the Dynamics of Epistemic States//, MIT Press, 1988\n\nP. Gardenfors and H. Rott, "Belief Revision". In //Handbook of Logic of AI and Logic Programming//, vol. 4, pp. 35-132, Oxford University Press, 1995.\n\nP. Gardenfors. //Belief Revision//. Cambridge University Press. 1992.\n\nP. Gochet and P. Gribomont, "Epistemic Logic". In (eds) D. M. Gabbay and J. Woods, //Handbook of the History of Logic//, vol. 7, pp. 99-195, Elsevier, 2006\n\nJ.Y. Halpern, //Reasoning about Uncertainty//, MIT Press, 2003\n\nS. O. Hansson. //A textbook in Belief Dynamics.// Dordrecht: Kluwer Academic Publishers. 1999.\n\nJ. Hintikka, //Knowledge and Belief//, Cornell University Press, 1962\n\nJ.-J.Ch. Meyer and W. van der Hoek, //Epistemic Logic for AI and Computer Science//, Cambridge Tracts in Theoretical Computer Science, nr. 41, Cambridge University Press, 1995.\n\n//Stanford Encyclopedia of Philosophy//: articles on "Defeasible Reasoning: Belief Revision" and "Logics of Belief Revision". \n\nBeliefrevision.org\n\nVarious articles and papers by: G. Aucher, A. Baltag, J. van Benthem, C. Boutilier, H. P. van Ditmarsch, J. van Eijk, P. Gardenfors, J. Gerbrandy, E. Gettier, P. Grove, Katsuno and Mendelzon, B.P. Kooi, K. Lehrer, D. Makinson, L.S. Moss, E. Pacuit, J. Plaza, H. Rott, A.C. Nayak, R. Stalnaker, S. Smets, W. Spohn, F.P.J.M. Voorbraak, E. Weidert etc.\n\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 Slides]]\n\n\n

Course on ''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nSlides:\n\n- [[Lecture1|http://www.vub.ac.be/CLWF/SS/D1.pdf]]\n- [[Lecture2|http://www.vub.ac.be/CLWF/SS/D2.pdf]]\n- [[Lecture3|http://www.vub.ac.be/CLWF/SS/D3.pdf]]\n- [[Lecture4+5|http://www.vub.ac.be/CLWF/SS/D4.pdf]]\n\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 References]]\n

''Logics for Quantum Information Flow''\nBy Alexandru Baltag and Sonja Smets\n\nCourse at ESSLLI'06\n\nWelcome to our course on Logics for Quantum Information Flow\n\n[[ESSLLI'06 Course Description]]\n[[ESSLLI'06 Course Slides]]\n[[ESSLLI'06 Course References]]

''Dynamic Logics for Interactive Belief Revision''\nBy Alexandru Baltag and Sonja Smets\n\nCourse at ESSLLI'09 - section on "Logic and Computation"\n\nWelcome to our course on Dynamic Logics for Interactive Belief Revision:\n\n[[ESSLLI'09 Course Description]]\n[[ESSLLI'09 Slides]]\n[[ESSLLI'09 References]]\n

''EVENTS''\n\n''Selection of recent events:''\n* [[Studia Logica Trends VI December 2008|http://www.vub.ac.be/CLWF/TrendsVI/]]\n* [[ICALA 2009, Chennai January 2009|http://ali.cmi.ac.in/icla2009/social.html]]\n* [[Logics Inspired by Quantum Computation, Bloomington, May 2009|http://www.indiana.edu/~iulg/qliqc/]]\n* [[WOLLIC 2009, Tokyo June 2009|http://wollic.org/wollic2009/]] \n* [[ESSLLI July 2009|http://esslli2009.labri.fr/]] (course given on "Dynamic Logics for Interactive Belief Revision", joint with S. Smets).\n* [[TARK 2009, Stanford July 2009|http://ai.stanford.edu/~epacuit/tark09/]]\n* [[FAMAS 2009, Torino September 2009|http://www.mimuw.edu.pl/MAS/FAMAS2009/]]

''Papers on Epistemology, Philosophy of Information and Philosophy of Science''\n\n*A. Baltag and S. Smets. "Quantum Logic as a Dynamic Logic". In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), //Synthese//, special issue. To appear.\n*A. Baltag, H. P. van Ditmarsch and L.S. Moss. "Epistemic logic and information update". Invited contribution to the //Handbook of Philosophy of Information// (Editors: P. Adriaans and J. van Benthem) in the series //Handbook of Philosophy of Science// (General Editors: D. Gabbay, P. Thagard, J. Woods), vol. 8, pp. 361-455, Elsevier, 2008. [[Preprint Online|http://www.illc.uva.nl/HPI/]]\n*A. Baltag, "An Interview on Epistemology" // in Vincent F. Hendricks (Editor), Duncan Pritchard (Editors), [[Epistemology: 5 Questions|http://www.amazon.com/gp/product/8792130070/ref=olp_product_details?ie=UTF8&me=&seller=]]//, Automatic Press/VIP, 2008.\n*A. Baltag and S. Smets. "A dynamic - logical perspective on quantum behavior". L. Horsten and I. Douver (eds.), //Studia Logica// (Special Issue on ESF Exploratory Workshop on "Applied Logic in the Methodology of Science"), vol. 89: 185-209, 2008. [[Preprint|http://www.vub.ac.be/CLWF/SS/SL.pdf]]\n*A. Baltag and S. Smets. "What Can Logic Learn from Quantum Mechanics?" (Extended Abstract) //Proceedings of ECAP 5// (5th European Congress for Analytic Philosophy), Lisbon, 2005. [[Workingpaper|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]]

''Papers on Games''\n\n*A. Baltag, S. Smets and J. A. Zvesper. "Keep ‘hoping’ for rationality: a solution to the backward induction paradox". In: //Synthese//. Volume 169, Number 2 / July, pp. 301-333, 2009\n*A. Baltag, S. Smets and J.A. Zvesper. "Keep 'Hoping' for rationality: A solution to the backward induction paradox." In L. Kurzen and F. Velazquez- Quesada (eds.), Dynamics Yearbook 2008, Seminar: Logics for Dynamics of Information and Preferences, pp.84-123, 2008.\n*A. Baltag, S. Smets and J. Zvesper, "When all is done but not (yet) said: Dynamic rationality in extensive games". In J. van Benthem and E. Pacuit (eds.), //Proceedings of the Workshop on Logic and Intelligent Interaction//, ESSLLI 2008, pp.58-73, 2008. [[Full paper online|http://ai.stanford.edu/~epacuit/LaII/proceedings.html]]\n*A. Baltag. "A Logic for Suspicious Players: Epistemic Actions and Belief Update in Games". //Bulletin of Economic Research//, 54 (1): 1-46, 2002. [[Abstract|http://ideas.repec.org/a/bla/buecrs/v54y2002i1p1-45.html]]\n\n''Editorial Work''\n\n*A. Baltag, M. Pauly (eds.). "Proceedings of the ILLC Workshop on Logic and Games" (Amsterdam, November 19-20, 1999). \n

To get started with this blank TiddlyWiki, you'll need to modify the following tiddlers:\n* SiteTitle & SiteSubtitle: The title and subtitle of the site, as shown above (after saving, they will also appear in the browser title bar)\n* MainMenu: The menu (usually on the left)\n* DefaultTiddlers: Contains the names of the tiddlers that you want to appear when the TiddlyWiki is opened\nYou'll also need to enter your username for signing your edits: <<option txtUserName>>

INFO

Under Construction

//{{{\nconfig.macros.def ={};\nconfig.macros.def.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n var sliceName = params[1]? params[1].toLowerCase() : params[0].toLowerCase();\n var def = store.getTiddlerSlice("InfoDefinitions",sliceName);\n if (def == undefined)\n {\n wikify(params[0],place);\n return false;\n }\n var theClass = params[2]? params[2] : "info";\n var container = createTiddlyElement(place,"span",null,theClass);\n wikify(params[0],container);\n if (document.all)\n {\n container.onmouseover = function(){addClass(this,"infoover");};\n container.onmouseout = function(){removeClass(this,"infoover");};\n }\n var tooltip = createTiddlyElement(container,"span",null,null);\n wikify(def, tooltip);\n\n}\n\nconfig.macros.note ={};\nconfig.macros.note.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n var sliceName = params[1]? params[1].toLowerCase() : params[0].toLowerCase();\n var def = store.getTiddlerSlice("InfoDefinitions",sliceName);\n if (def == undefined)\n {\n wikify(params[0],place);\n return false;\n }\n var theClass = params[2]? params[2] : "note";\n var container = createTiddlyElement(place,"span",null,theClass);\n wikify("^^"+params[0]+"^^",container);\n if (document.all)\n {\n container.onmouseover = function(){addClass(this,"noteover");};\n container.onmouseout = function(){removeClass(this,"noteover");};\n }\n var tooltip = createTiddlyElement(container,"span",null,null);\n wikify(def, tooltip);\n\n}\n\n//}}}\n

''Invited Keynote Lectures at International Conferences and Meetings''\n\n*(Forthcoming) The Synthese Conference on ``Epistemology and Economics", Columbia University, New York 15-16 April 2010.\n*(Forthcoming) The Workshop on ``Formal Models of Norm Change 2", University of Amsterdam, 18-19 January 2010.\n*(Forthcoming) The Workshop “Alternative Approaches to Belief Change”, part of ISLA 2010 (the Third Indian School on Logic and its Applications), university of Hyderabad, Gachibowli, India, January 2010.\n*Workshop on //"Logical methods for social concepts (LMSC'09)"//, part of European Summer School on Logic, Language and Information ESSLLI 2009, 20-25 July, France, Bordeaux 2009.\n*Workshop on //"Quantum Logic Inspired by Quantum Computation"//, Indiana University, Bloomington 11-12 Mei, 2009. \n*The Workshop on “Logic and Social Interaction”, part of ICLA 2009 (The Third Indian Conference on Logic and its Applications), Chennai, India, January 2009.\n*Studia Logica International Conference on //``Logic and the foundations of physics: space, time and quanta" (Trends in Logic VI)//. Brussels, Belgium, 11-12 December 2008.\n*International Colloquium on //``Logic of change, change of logic"//. Prague, Czech Republic, 10-14 September 2008.\n*1st European Workshop on //Correlations in Computer Science//. Vielsalm, Belgium, 6-7 August 2008.\n*International Workshop //``Epistemology Meets Logic,Informally"//. Stanford University, May 31- June 1, 2008.\n*Workshop on //Decisions and Games//. Indiana University, Bloomington, Indiana. May 2008.\n*The 15th Workshop on //Games in Logic, Language and Computation// (GLLC - 15). University of Amsterdam, Amsterdam, The Netherlands. February, 2008.\n*International Symposium on //Logic and Physics//, Utrecht University, Utrecht, The Netherlands. January 2008.\n*The First International Workshop on the //Philosophy of Information and Logic// (PIL'07). Oxford University, Oxford, United Kingdom. 3-4 November 2007.\n*International Dagstuhl Seminar on //Formal Models of Belief Change in Rational Agents// (Dagstuhl Seminar no. 07351). Dagstuhl, Germany. 26-30 August 2007.\n*International Workshop on //Logic, Rationality and Interaction// (LORI'07). Beijing, China. 5-9 August 2007.\n*International conference on //Dynamic Logics for Social Agents: new trends in Philosophical research//. Montreal, Canada. 19-22 June 2007.\n*International Colloquim on //New Perspectives on Games and Interaction//. Netherlands' Royal Academy of Sciences, Amsterdam, The Netherlands. 5-7 January 2007.\n*International Colloquim on //Games, Action and Social Software//. Lorentz Center, Leiden University, Leiden, The Netherlands. 30 Oct.-3 Nov. 2006.\n*International Workshop on //Modal Logic, Stone Duality and Coalgebras//. Leicester University, Leicester, UK. 12-13 June 2006.\n*Series of invited lectures at the Workshop on //Quantum Information, Computation and Logic:\nExploring New Connections// (QICL'05). Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005.\n*Workshop on //Philosophical Logic meets Mathematical Logic: from Classical to Quantum// (PML'04), Free University of Brussels, Brussels, 5-7 February 2004.\n* //Seminar on Logic and Informatics// (SLI - 2003), Free University of Brussels, Brussels, March 31, 2003.\n*//Second International Symposium on the Logic of Real - World Interactions// (LORWI'03) National Japan Institute of Informatics, Tokyo, March 17-18, 2003.\n*//Logic Colloquium// (LC 2003, the //main European Annual Meeting of the Association of Symbolic Logic//), Helsinki, Finland, August 2003.\n*The First Workshop on //Logic and Communication in Multi - Agent Systems// ( LCMAS 2003, a satellite of ICALP 2003), Eindhoven, The Netherlands, June 2003.\n*The 7th Workshop on //Games in Logic, Language and Computation// ( GLLC'7 ),University of Amsterdam, The Netherlands, November 28, 2002.\n*The //Euro Conference// on "Applications of Mathematical Logic in Philosophy and Linguistics" (Foundations of the Formal Sciences II), Bonn, Germany, Nov 10-13, 2000.\n*The First South African Summer School on //Logic, Universal Algebra and Theoretical Computer Science//, (LUATCS'99), Rand Afrikaans University, Johannesburg, South Africa, December 1999. Series of Invited Lectures.

/***\n|''Name:''|LegacyStrikeThroughPlugin|\n|''Description:''|Support for legacy (pre 2.1) strike through formatting|\n|''Version:''|1.0.1|\n|''Date:''|Jul 21, 2006|\n|''Source:''|http://www.tiddlywiki.com/#LegacyStrikeThroughPlugin|\n|''Author:''|MartinBudden (mjbudden (at) gmail (dot) com)|\n|''License:''|[[BSD open source license]]|\n|''CoreVersion:''|2.1.0|\n|''Browser:''|Firefox 1.0.4+; Firefox 1.5; InternetExplorer 6.0|\n\n***/\n\n//{{{\n\n// Ensure that the LegacyStrikeThrough Plugin is only installed once.\nif(!version.extensions.LegacyStrikeThroughPlugin)\n {\n version.extensions.LegacyStrikeThroughPlugin = true;\n\nconfig.formatters.push(\n{\n name: "legacyStrikeByChar",\n match: "==",\n termRegExp: /(==)/mg,\n element: "strike",\n handler: config.formatterHelpers.createElementAndWikify\n});\n\n} // end of "install only once"\n//}}}\n

''Papers on Logics for Communication, Information Update and Multi -Agent Belief Revision''\n\n\n*A. Baltag and S. Smets. "Talking Your Way into Agreement: Belief Merge by Persuasive Communication". //CEUR Workshop Proceedings//, Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009\n*A. Baltag and S. Smets. "Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades". In A. Heifetz (ed.) //Proceedings of Theoretical Aspects of Rationality and Knowledge TARK 2009//, pp. 41-50, 2009\n*A. Baltag and S. Smets, "Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points". In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) //LNAI Lecture Notes in Computer Science//. pp. 124-139. Volume 5514. 2009\n*P. Balbiani, A. Baltag, H. van Ditmarsch, T. Hoshi and T. de Lima. "Arbitrary Announcement Logic". (Abstract of the 2007 annual conference of the Australasian Association for Logic). //The Bulletin of Symbolic Logic// 14(3), pp. 438-439, 2008.\n* P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. de Lima and T. Hoshi. "Knowable" as "known after and announcement". //Review of Symbolic Logic//, Vol. 1, nr.3, pp. 305-334, 2008.\n*A. Baltag and S. Smets. "Probabilistic Dynamic Belief Revision". in //Synthese//, Vol. 165, Nr 2, pp.179-202, 2008. [[Abstract|http://www.springerlink.com/content/au10h11601g815u4/?p=decb51997cad48a9bb6c7774dd82abd9&pi=2]]\n*A. Baltag and S. Smets. "The Logic of Conditional Doxastic Actions". In R. van Rooij and K. Apt (eds.), //Texts in Logic and Games//, Special Issue on New Perspectives on Games and Interaction, Volume 4, pp. 9–31, Amsterdam University Press, 2008. [[Preprint|http://www.vub.ac.be/CLWF/SS/action.pdf]]\n*A. Baltag and S. Smets. "A Qualitative Theory of Dynamic Interactive Belief Revision". in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), //Texts in Logic and Games//, Vol 3, pp.9-58, Amsterdam University Press, 2008. [[Paper|http://www.vub.ac.be/CLWF/SS/Ch1-Baltag.pdf]]\n*A. Baltag, B. Coecke and M. Sadrzadeh. "Epistemic Actions as Resources". //Journal of Logic and Computation// 17 (3): 555-585. 2007 [[Preprint|http://http://www.pps.jussieu.fr/~mehrs/JLC2.pdf]]\n*A. Baltag and S. Smets. "From Conditional Probability to the Logic of Doxastic Actions". In D. Samet (ed.), //Proceedings of TARK XI//, 52-61, UCL Presses Universitaires de Louvain, 2007. Collection in ACM DL. [[Preprint|http://www.vub.ac.be/CLWF/SS/TARK.pdf]]\n*P. Balbiani, A. Baltag, H. van Ditmarsch, A. Herzig, T. de Lima and T. Hoshi. "What Can We Achieve by Arbitrary Announcements? A Dynamic Take on Fitch's Knowability". In D. Samet (ed.), //Proceedings of TARK XI//, 42-51, UCL Presses Universitaires de Louvain, 2007. Collection in ACM DL. [[Abstract|http://portal.acm.org/citation.cfm?id=1324259]]\n*A. Baltag and M. Sadrzadeh. "The Algebra of Multi - Agent Dynamic Belief Revision". //Electronic Notes in Theoretical Computer Science// 157 (4): 37-56. 2007. [[Abstract|http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4K1F7W5-4&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=0e397411a7c306ccb27b3ca49420bae3]]\n*A. Baltag and S. Smets. "Probabilistic Dynamic Belief Revision". In Johan van Benthem, Shier Ju and Frank Veltman (eds.), //A Meeting of the Minds//. College Publications, Computing Series, Vol 8, London 2007. [[Preprint|http://www.vub.ac.be/CLWF/SS/LORI.pdf]]\n*A. Baltag and S. Smets. "Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision". G. Mints and R. de Queiroz (eds.), //Electronic Notes in Theoretical Computer\nScience//, 165: 5-21, 2006. [[Preprint|http://www.vub.ac.be/CLWF/SS/wollic.pdf]]\n*A. Baltag and S. Smets, "The Logic of Conditional Doxastic Actions: A Theory of Dynamic Multi - Agent Belief Revision". in S. Artemov and R. Parikh (eds.), //Proceedings of the Workshop on Rationality and Knowledge//, 13-30, ESSLLI'06, Spain. 2006. [[Preprint|http://www.vub.ac.be/CLWF/SS/rak.pdf]]\n*A. Baltag and S. Smets. "Dynamic Belief Revision over Multi - Agent Plausibility Models. G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), //Proceedings of the LOFT'06//, 11-24, University of Liverpool. 2006. [[Preprint|http://www.vub.ac.be/CLWF/SS/loft.pdf]]\n*A. Baltag, B. Coecke and M. Sadrzadeh. "Algebra and Sequent Calculus for Epistemic Actions". //Electronic Notes in Theoretical Computer Science// 126: 27-55, 2005. [[Abstract|http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4FKXPY9-G&_user=10&_coverDate=03%2F08%2F2005&_alid=828855178&_rdoc=5&_fmt=high&_orig=search&_cdi=13109&_sort=d&_docanchor=&view=c&_ct=17&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=18f94e8f5e1e98d06e533307b042c95a]]\n*A. Baltag. "Learning that you are being deceived". S. van Otterloo, P.M. Mc Burney, W. van der Hoek, M. Wooldridge (eds.), //Proceedings of KAG'04// (First Workshop on Knowledge and Games), 43-53, Liverpool 2004. \n*A. Baltag, B. Coecke and M. Sadrzadeh. Algebra and Sequent Calculus for Epistemic Actions. (Extended Abstract) //Proceedings of LCMAS'04// (Workshop on Logic and Communication in Multi - Agent Systems), 60-78, Nancy 2004.[[Preprint|http://eprints.ecs.soton.ac.uk/11809/1/esslliPUB.pdf]]\n*M. Sadrzadeh, A. Baltag and B. Coecke. "Reasoning about Dynamic Epistemic Logic".//Proceedings of EUMAS'02// (The 2nd European Workshop on Multi - Agent Systems), 605-614, Barcelona 2004.\n*A. Baltag, L. S. Moss. "Logics for Epistemic Programs". J. Symons, J. Hintikka. (eds.), W. van der Hoek (special section editor), //Synthese// ("An International Journal for Epistemology, Methodology and Philosophy of Science"), 139 (2): 165-224, 2004. Kluwer Academic Press. [[Abstract|http://www.springerlink.com/content/pl34758l87u0u292/]]\n*A. Baltag, B. Coecke, M. Sadrzadeh. "Epistemic actions as resources". //Proceedings of LRPP'04// (LICS Workshop for Resources, Processes and Programs), 29-42, Turku, Finland 2004.\n*A. Baltag. "Logics for Insecure Communication". J. van Benthem (ed.), //Proceedings of TARK'01// (Eighth Conference on Rationality and Knowledge), Morgan Kaufmann, Los Altos, 111-122, 2001. [[Abstract|http://portal.acm.org/citation.cfm?id=1028128.1028142]]\n*A. Baltag. "A Logic of Epistemic Actions". in Wiebe van der Hoek, J. J. Meyer & C. Witteveen (eds.), //Proceedings of FACAS'99// (ESSLLI Workshop on "Foundations and Applications of Collective Agent Based Systems"), ESLLI'99, Utrecht University, 1999. [[Preprint|http://www.let.uu.nl/esslli/Courses/hoek/baltag.ps]]\n*A. Baltag, L.S. Moss, S. Solecki. "The Logic of Public Announcements, Common Knowledge and Private Suspicions". //Proceedings of TARK'98// (Seventh Conference on Theoretical Aspects of Rationality and Knowledge), 43-56. 1998. Morgan Kaufmann Publishers. [[Abstract|http://portal.acm.org/citation.cfm?id=671885]]\n\n

[[WELCOME]]\n[[RESEARCH INTERESTS]]\n[[RESEARCH VISION]]\n[[RESEARCH PROFILE]] \n[[PUBLICATIONS]]\n[[RESEARCH TALKS]]\n[[TEACHING]]\n[[EVENTS]]\n[[CONTACT]]\n\n\n<<author>>\n

''Papers on Modal Logic for Set Theory and Coalgebra''\n\n*A. Baltag. A Coalgebraic Semantics for Epistemic Programs. //Proceedings of CMCS '03// (Coalgebraic Methods in Computer Science, satellite of ETAPS '03, Warsaw, Poland), //ENTCS//: 82 (1):315-335, 2003. [[Abstract|http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4DDWK62-GB&_user=10&_coverDate=07%2F31%2F2003&_alid=828836090&_rdoc=4&_fmt=high&_orig=search&_cdi=13109&_sort=d&_docanchor=&view=c&_ct=5&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=c01aed88721b40294ee7fc2feaea049b]]\n*A. Baltag. "A Structural Theory of Sets". //Advances in Modal Logic, vol 2, CSLI Publications// 119: 1-34. 2000. [[Volume Table of Contents|http://www.aiml.net/volumes/volume2/]] \n*A. Baltag. "A Logic for Coalgebraic Simulation". H. Reichel (ed.), //Proceedings of CMCS'00// (Third Workshop on "Coalgebraic Methods in Computer Science", Berlin). //ENTCS// 33: 41-60, 2000. Elsevier Science B.V [[Abstract|http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B75H1-4G1PCXN-J&_user=10&_coverDate=12%2F31%2F2000&_alid=828836090&_rdoc=5&_fmt=high&_orig=search&_cdi=13109&_sort=d&_docanchor=&view=c&_ct=5&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=71b399a0e3bd920cf2f3b3b2546dcf89]]\n*A. Baltag. STS: A Structural Theory of Sets. Dov Gabbay (ed.), //Logic Journal of the IGPL// 7 (4):481-515. 1999. Oxford University Press. [[Abstract|http://jigpal.oxfordjournals.org/cgi/content/abstract/7/4/481]]\n*A. Baltag. "A Structural Theory of Sets. Extended Abstract.",//Proceedings of AIML'98// (Advances in Modal Logic), 32-41. Uppsala, Sweden, 1998.\n*//A. Baltag's Theorems//. Chapter in //[[Vicious Circles|http://csli-publications.stanford.edu/site/1575860082.html]]//. Jon Barwise & Larry Moss, CSLI Publications, Stanford 1996.\n*A. Baltag. //STS: A Structural Theory of Sets//. Ph. D. Thesis. Indiana University. Bloomington, Indiana USA. 1998. \n* A. Baltag //STS: A Structural Theory of Sets//. CWI Technical Report 1998 [[ SEN-R9842| http://db.cwi.nl/rapporten/abstract.php?abstractnr=1150]]

// Resolves a Tiddler reference or tiddler title into a tiddler title string, or null if it doesn't exist\nresolveTitle = function(t)\n{\n if (t instanceof Tiddler) t = t.title;\n return store.tiddlerExists(t) ? t : null;\n}\n\nconfig.macros.navigation = {};\nconfig.macros.navigation.handler = function(place,macroName,params,wikifier,paramString,tiddler)\n{\n\n if (!store.tiddlerExists(tiddler.title))\n return false;\n var e = createTiddlyElement(place,"span",null,"nav");\n e.setAttribute("refresh","macro");\n e.setAttribute("macroName",macroName);\n e.setAttribute("params",paramString);\n e.setAttribute("tiddler",tiddler.title)\n this.refresh(e,paramString);\n}\n\nconfig.macros.navigation.refresh = function(place,params)\n{\n var tiddler = store.getTiddler(place.getAttribute("tiddler"));\n removeChildren(place);\n\n\n var params = place.getAttribute("params").parseParams("tiddlers",null,true);\n//alert(store.getTiddlerText(getParam(params,"index",undefined)).parseParams("tiddlers",null,false))\n var tiddlers = getParam(params,"tiddlers",undefined);\nif (typeof tiddlers == 'string')\n tiddlers = tiddlers.readBracketedList();\n if (tiddlers == undefined)\n alert("no source tiddlers defined for navigation");\n var contents = [];\n for (var i=0;i<tiddlers.length;i++)\n {\n var title = resolveTitle(tiddlers[i]);\n contents.push(title);\n}\n var navIndex = contents.indexOf(tiddler.title);\n if (navIndex == -1)\n return false;\n \n if (contents[navIndex-1])\n {\n wikify("[[<< Previous|"+contents[navIndex-1]+"]]",place);\n place.lastChild.className += " navPrev";\n }\n if (contents[navIndex+1])\n {\n wikify("[[Next >>|"+contents[navIndex+1]+"]]",place);\n place.lastChild.className += " navNext";\n }\n\n var theTable = createTiddlyElement(place,"table",null,"nav");\n var theBody = createTiddlyElement(theTable,"tbody");\n var theRow = createTiddlyElement(theBody,"tr");\n for (var i=0; i<contents.length; i++)\n {\n var box = createTiddlyElement(theRow,"td",null,"navlinkcell"," ");\n box.onclick = onClickTiddlerLink;\n box.setAttribute("tiddlyLink",contents[i]);\n box.title = (contents[i]);\n if (contents[i] ==tiddler.title)\n box.className += " activenav";\n }\n}\n\nsetStylesheet(\n".navNext {float:right;}\sn"+\n".navPrev, .navPrevious{float:left;}\sn"+\n".nav .tiddlyLink {color:#000; background:transparent;border:none;padding:0;margin:0;}\sn"+\n".nav {padding:0;margin:0;}\sn"+\n".nav table {margin:0 auto !important; border:0px solid #000;padding:0;border-collapse:separate;}\sn"+\n".nav table tr{padding:0; margin:0;border-spacing: 1px;}\sn"+\n".nav table td {padding:4px; border:1px solid #000; border-spacing: 0px;cursor:pointer;cursor:hand}\sn"+\n".nav .activenav{background:#000 !important;}\sn","NavigationPluginStyles");

The tiddler 'New Tiddler' doesn't yet exist. Double-click to create it

[[PC Member]]\n[[Awards and Grants]]\n[[Editor]]\n[[Conference Participation]]

[[Logics for Communication, Information Update and Multi-Agent Belief Revision]]\n\n[[Modal Logics for Set Theory and Coalgebras]]\n\n[[Dynamic Quantum Logic]]\n\n[[Games]]\n\n[[Pebble Logics]]\n\n[[Epistemology, Philosophy of Information and Philosophy of Science]]

\n<div id="header" class='header'>\n <div class='gradient' macro='gradient vert #0000cc #8B7355 '>\n\n\n<div class='titleLine' >\n<p>\n<img class="floatright"\nsrc="http://www.vub.ac.be/CLWF/SS/AlexFoto.jpg"\nalt="11225" border="0" height="220" width="225" style="float: right">\n<span class='siteTitle' refresh='content' tiddler='SiteTitle'></span>\n<span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\n</p>\n</div>\n\n </div>\n\n</div>\n<div id='bodywrapper'>\n\n<div id='mainMenu' refresh='content' tiddler='MainMenu'></div>\n<div id='displayArea'>\n <div id='messageArea'></div>\n <div id='tiddlerDisplay'></div>\n</div>\n<div id='contentFooter' refresh='content' tiddler='contentFooter'></div>\n</div>

''Papers on Pebble Logics'' \n\n*A. Baltag. "Interpolation and Preservation for Pebble Logics". //Journal of Symbolic Logic//, 64 (2):846-858. 1999. [[Introduction of paper Online|http://www.jstor.org/pss/2586505]]

\n\n

//{{{\nTiddlyWiki.prototype.removeNotification = function(title,fn) {\n for (var i=0;i<this.namedNotifications.length;i++)\n if((this.namedNotifications[i].name == title) && (this.namedNotifications[i].notify == fn))\n this.namedNotifications.splice(i,1);\n}\n \n//checks to see if a tiddler exists in store or as a shadow.\nTiddlyWiki.prototype.isTiddler= function (title)\n {return store.tiddlerExists(title) || store.isShadowTiddler(title)}\n\n// Refresh all tiddlers in the Story\nStory.prototype.lewcidrefreshAllTiddlers = function()\n{\n var place = document.getElementById(this.container);\n var e = place.firstChild;\n if(!e) return;\n this.refreshTiddler(e.getAttribute("tiddler"),null,true);\n while((e = e.nextSibling) != null)\n this.refreshTiddler(e.getAttribute("tiddler"),null,true);\n}\n\nconfig.presentationPlugin ={\n};\n\nconfig.presentationPlugin.defaults = [\n {name: "StyleSheet", notify: refreshStyles},\n {name: "PageTemplate", notify: refreshPageTemplate}\n ];\n\nwindow.presentationMode='';\n\nfunction applyPresentationMode (oldMode,Mode)\n{\n presentationMode = Mode;\n var defaults = config.presentationPlugin.defaults;\n var oldStyleElement = document.getElementById(oldMode+"StyleSheet");\n if (oldStyleElement)\n {\n oldStyleElement.parentNode.removeChild(oldStyleElement);\n }\n for (var i=0; i<defaults.length; i++)\n {\n var def = defaults[i]["name"];\n var newMode = store.isTiddler(Mode + def)? Mode + def : def;\n store.removeNotification(oldMode + def, defaults[i]["notify"]);\n store.addNotification(newMode,defaults[i]["notify"]);\n store.notify(newMode); //just one do blanket notify instead?\n }\n story.lewcidrefreshAllTiddlers();\n}\n\nconfig.macros.author={};\nconfig.macros.author.handler= function (place,macroName,params,wikifier,paramString,tiddler) {\n var e = createTiddlyElement(place,"div");\n e.setAttribute("refresh","macro");\n e.setAttribute("macroName","author");\n e.setAttribute("params",paramString);\n this.refresh(e,paramString);\n}\n\nconfig.macros.author.refresh = function(place,params){\n if (window.lewcideditmode== false)\n return false;\n removeChildren(place);\n var oldMode = window.presentationMode;\n var newMode = (oldMode == "Author")?"":"Author";\n var label = (oldMode == "Author")? "Presentation Mode":"Author Mode";\n var tooltip = label;\n createTiddlyButton(place,label,tooltip,function() {\n applyPresentationMode(oldMode,newMode);\n });\n};\n\nStory.prototype.chooseTemplateForTiddler_old_presentation = Story.prototype.chooseTemplateForTiddler;\n\nStory.prototype.chooseTemplateForTiddler = function(title,template)\n{\n if (!template)\n template = DEFAULT_VIEW_TEMPLATE;\n var mode = presentationMode;\n if (template == DEFAULT_VIEW_TEMPLATE)\n {\n if (store.isTiddler(mode+"ViewTemplate"))\n return mode+"ViewTemplate";\n }\n else if (template == DEFAULT_EDIT_TEMPLATE)\n {\n if (store.isTiddler(mode+"EditTemplate"))\n return mode+"EditTemplate";\n }\n return this.chooseTemplateForTiddler_old_presentation(title,template);\n}\n\nwindow.lewcideditmode = false;\nconfig.paramifiers.author = {\n onstart: function(v) {\n if (v!="true")\n return false;\n applyPresentationMode("","Author");\n window.lewcideditmode = true;\n if (config.options.chkSinglePageMode)\n config.options.chkSinglePageMode = false;\n refreshDisplay();\n }\n};\n//}}}

*modal logic, dynamic logic, epistemic logic, temporal logic;\n*models for multi-agent information flow and information merge (learning, belief revision, communication, persuasion, belief agreggation);\n*quantum logic and quantum information flow;\n*coalgebras, non-well-founded sets, Universal Set Theory, models for self-reference, circularity and fixed-points;\n*rationality and action in Game Theory;\n*formal epistemology, philosophy of information and philosophy of science.

Click here for the pdf file: [[Research Profile|http://www.vub.ac.be/CLWF/SS/ResearchProfile.pdf]]\n\n

[[Invited Lectures at International Conferences and Meetings]]\n\n[[Contributed Talks to Conferences and Workshops]]

Click here for the pdf file: [[Research Vision|http://www.vub.ac.be/CLWF/SS/ResearchVision.pdf]]\n

/***\n|''Name:''|SinglePageModePlugin|\n|''Source:''|http://www.TiddlyTools.com/#SinglePageModePlugin|\n|''Author:''|Eric Shulman - ELS Design Studios|\n|''License:''|[[Creative Commons Attribution-ShareAlike 2.5 License|http://creativecommons.org/licenses/by-sa/2.5/]]|\n|''~CoreVersion:''|2.0.10|\n\nNormally, as you click on the links in TiddlyWiki, more and more tiddlers are displayed on the page. The order of this tiddler display depends upon when and where you have clicked. Some people like this non-linear method of reading the document, while others have reported that when many tiddlers have been opened, it can get somewhat confusing.\n\n!!!!!Usage\n<<<\nSinglePageMode allows you to configure TiddlyWiki to navigate more like a traditional multipage web site with only one item displayed at a time. When SinglePageMode is enabled, the title of the current tiddler is automatically displayed in the browser window's titlebar and the browser's location URL is updated with a 'permalink' for the current tiddler so that it is easier to create a browser 'bookmark' for the current tiddler.\n\nEven when SinglePageMode is disabled (i.e., displaying multiple tiddlers is permitted), you can reduce the potential for confusion by enable TopOfPageMode, which forces tiddlers to always open at the top of the page instead of being displayed following the tiddler containing the link that was clicked.\n<<<\n!!!!!Configuration\n<<<\nWhen installed, this plugin automatically adds checkboxes in the AdvancedOptions tiddler so you can enable/disable the plugin behavior. For convenience, these checkboxes are also included here:\n\n<<option chkSinglePageMode>> Display one tiddler at a time\n<<option chkTopOfPageMode>> Always open tiddlers at the top of the page\n<<<\n!!!!!Installation\n<<<\nimport (or copy/paste) the following tiddlers into your document:\n''SinglePageModePlugin'' (tagged with <<tag systemConfig>>)\n^^documentation and javascript for SinglePageMode handling^^\n\nWhen installed, this plugin automatically adds checkboxes in the ''shadow'' AdvancedOptions tiddler so you can enable/disable this behavior. However, if you have customized your AdvancedOptions, you will need to ''manually add these checkboxes to your customized tiddler.''\n<<<\n!!!!!Revision History\n<<<\n''2006.07.04 [2.2.1]'' in hijack for displayTiddlers(), suspend TPM as well as SPM so that DefaultTiddlers displays in the correct order.\n''2006.06.01 [2.2.0]'' added chkTopOfPageMode (TPM) handling\n''2006.02.04 [2.1.1]'' moved global variable declarations to config.* to avoid FireFox 1.5.0.1 crash bug when assigning to globals\n''2005.12.27 [2.1.0]'' hijack displayTiddlers() so that SPM can be suspended during startup while displaying the DefaultTiddlers (or #hash list). Also, corrected initialization for undefined SPM flag to "false", so default behavior is to display multiple tiddlers\n''2005.12.27 [2.0.0]'' Update for TW2.0\n''2005.11.24 [1.1.2]'' When the back and forward buttons are used, the page now changes to match the URL. Based on code added by Clint Checketts\n''2005.10.14 [1.1.1]'' permalink creation now calls encodeTiddlyLink() to handle tiddler titles with spaces in them\n''2005.10.14 [1.1.0]'' added automatic setting of window title and location bar ('auto-permalink'). feature suggestion by David Dickens.\n''2005.10.09 [1.0.1]'' combined documentation and code in a single tiddler\n''2005.08.15 [1.0.0]'' Initial Release\n<<<\n!!!!!Credits\n<<<\nThis feature was developed by EricShulman from [[ELS Design Studios|http:/www.elsdesign.com]].\nSupport for BACK/FORWARD buttons adapted from code developed by Clint Checketts\n<<<\n!!!!!Code\n***/\n//{{{\nStory.prototype.displayTiddler = function(srcElement,title,template,animate,slowly)\n{\n var place = document.getElementById(this.container);\n var theTiddler = document.getElementById(this.idPrefix + title);\n if(theTiddler)\n this.refreshTiddler(title,template);\n else\n {\n var before = this.positionTiddler(srcElement);\n theTiddler = this.createTiddler(place,before,title,template);\n }\n if(srcElement && typeof srcElement !== "string")\n {\n if(anim && config.options.chkAnimate && (animate == undefined || animate == true))\n anim.startAnimating(new Cascade(title,srcElement,theTiddler,slowly),new Scroller(theTiddler,slowly));\n else\n window.scrollTo(0,0);\n }\n}\n\n\n\nversion.extensions.SinglePageMode= {major: 2, minor: 2, revision: 1, date: new Date(2006,7,3)};\n\nconfig.options.chkSinglePageMode=true;\n\nif (config.options.chkSinglePageMode==undefined) config.options.chkSinglePageMode=false;\nconfig.shadowTiddlers.AdvancedOptions += "\sn<<option chkSinglePageMode>> Display one tiddler at a time";\n\nif (config.options.chkTopOfPageMode==undefined) config.options.chkTopOfPageMode=false;\nconfig.shadowTiddlers.AdvancedOptions += "\sn<<option chkTopOfPageMode>> Always open tiddlers at the top of the page";\n\nconfig.SPMTimer = 0;\nconfig.lastURL = window.location.hash;\nfunction checkLastURL()\n{\n if (!config.options.chkSinglePageMode)\n { window.clearInterval(config.SPMTimer); config.SPMTimer=0; return; }\n if (config.lastURL == window.location.hash)\n return;\n var tiddlerName = convertUTF8ToUnicode(decodeURI(window.location.hash.substr(1)));\n tiddlerName=tiddlerName.replace(/\s[\s[/,"").replace(/\s]\s]/,""); // strip any [[ ]] bracketing\n if (tiddlerName.length) story.displayTiddler(null,tiddlerName,1,null,null);\n}\n\nif (Story.prototype.SPM_coreDisplayTiddler==undefined) Story.prototype.SPM_coreDisplayTiddler=Story.prototype.displayTiddler;\nStory.prototype.displayTiddler = function(srcElement,title,template,animate,slowly)\n{\n if (config.options.chkSinglePageMode) {\n window.location.hash = encodeURIComponent(String.encodeTiddlyLink(title));\n config.lastURL = window.location.hash;\n document.title = wikifyPlain("SiteTitle") + " - " + title;\n story.closeAllTiddlers();\n if (!config.SPMTimer) config.SPMTimer=window.setInterval(function() {checkLastURL();},1000);\n }\n if (config.options.chkTopOfPageMode) { story.closeTiddler(title); window.scrollTo(0,0); srcElement=null; }\n this.SPM_coreDisplayTiddler(srcElement,title,template,animate,slowly)\n}\n\nif (Story.prototype.SPM_coreDisplayTiddlers==undefined) Story.prototype.SPM_coreDisplayTiddlers=Story.prototype.displayTiddlers;\nStory.prototype.displayTiddlers = function(srcElement,titles,template,unused1,unused2,animate,slowly)\n{\n // suspend single-page mode when displaying multiple tiddlers\n var saveSPM=config.options.chkSinglePageMode; config.options.chkSinglePageMode=false;\n var saveTPM=config.options.chkTopOfPageMode; config.options.chkTopOfPageMode=false;\n this.SPM_coreDisplayTiddlers(srcElement,titles,template,unused1,unused2,animate,slowly);\n config.options.chkSinglePageMode=saveSPM; config.options.chkTopOfPageMode=saveTPM;\n}\n//}}}

PERSONAL WEBSITE

Alexandru Baltag's

\n\n/***\nPlace your custom CSS here\n***/\n/*{{{*/\n\n\n[[SideBarWG]]\n\n/***\n!Top Menu Styles\n***/\n/*{{{*/\n#topMenu br {display:none; }\n#topMenu { background: #000 ; color:#fff;padding: 1em 1em;}\n/*}}}*/\n\n/***\n!General\n***/\n/*{{{*/\nbody {\n background: #444;\n margin: 0 auto;\n}\n\n #contentWrapper{\n background: #fff;\n border: 0;\n margin: 0 1em;\n\n padding:0;\n}\n\n/*}}}*/\n\n/***\n!Header rules\n***/\n/*{{{*/\n.titleLine{\nmargin: 68px 3em 0em 0em;\nmargin-left:1.7em;\nmargin-bottom: 28px;\n padding: 0;\n text-align: left;\n color: #fff;\n}\n\n.siteTitle {\n font-size: 2em;\n font-weight: bold;\n}\n\n.siteSubtitle {\n font-size: 1.1em;\n display: block;\n margin: .5em auto 1em;\n}\n\n.gradient {margin: 0 auto; border-bottom:1px solid #000;}\n\n\n\n.header {\n background: #fff; \n margin: 0 0em;\n padding:0 12px;\n\n}\n/*}}}*/\n\n/***\n!Display Area\n***/\n/*{{{*/\n#bodywrapper {margin:0 12px; padding:0;background:#fff; height:1%}\n\n#displayArea{\n margin: 0em 16em 0em 14em;\n text-align: left;\n}\n\n.tiddler {\n padding: 1em 1em 0em 0em;\n}\n\nh1,h2,h3,h4,h5 { color: #000; background: transparent; padding-bottom:2px; border-bottom: 1px dotted #666; }\n.title {color:black; font-size:1.8em; border-bottom:1px solid #333; padding-bottom:0.3px;}\n.subtitle { font-size:90%; color:#ccc; padding-left:0.25em; margin-top:0.1em; }\n\n.shadow .title {\n color: #aaa;\n}\n\n.tagClear{\n clear: none; \n}\n\n* html .viewer pre {\n margin-left: 0em;\n}\n\n* html .editor textarea, * html .editor input {\n width: 98%;\n}\n\n.tiddler {margin-bottom:1em; padding-bottom:0em;}\n\n\n.toolbar .button {color:#bbb; border:none;}\n.toolbar .button:hover, .toolbar .highlight, .toolbar .marked, .toolbar a.button:active {background:transparent; color:#111; border:none; text-decoration:underline;}\n\n#sidebar .highlight, #sidebar .marked {background:transparent;}\n\n.tagging, .tagged {\n border: 1px solid #eee;\n background-color: #F7F7F7;\n}\n\n.selected .tagging, .selected .tagged {\n background-color: #eee;\n border: 1px solid #bbb;\n}\n\n .tagging .listTitle, .tagged .listTitle {\n color: #bbb;\n}\n\n.selected .tagging .listTitle, .selected .tagged .listTitle {\n color: #222; \n}\n\n\n.tagging .button:hover, .tagged .button:hover {\n border: none; background:transparent; text-decoration:underline; color:#000;\n}\n\n.tagging .button, .tagged .button {\n color:#aaa;\n}\n\n.selected .tagging .button, .selected .tagged .button {\n color:#000;\n}\n\n.viewer blockquote {\n border-left: 3px solid #000;\n}\n\n.viewer pre, .viewer code {\n border: 1px dashed #ccc;\n background: #eee;}\n\n.viewer hr {\n border: 0;\n border-top: solid 1px #333;\n margin: 0 8em;\n color: #333;\n}\n\n.highlight, .marked {background:transparent; color:#111; border:none; text-decoration:underline;}\n\n.viewer .highlight, .viewer .marked {text-decoration:none;}\n\n#sidebarTabs .highlight, #sidebarTabs .marked {color:#000; text-decoration:none;}\n\n.tabSelected {\n color: #000;\n background: #fff;\n border-top: solid 1px #ccc;\n border-left: solid 1px #ccc;\n border-right: solid 1px #ccc;\n border-bottom: none;\n}\n\n.viewer .tabSelected:hover{color:#000;}\n\n.viewer .tabSelected {font-weight:bold;}\n\n.tabUnselected {\n color: #999;\n background: #eee;\n border-top: solid 1px #ccc;\n border-left: solid 1px #ccc;\n border-right: solid 1px #ccc;\n border-bottom: solid 1px #ccc;\n padding-bottom:1px;\n}\n\n.tabContents {\n background: #fff;\n color: #000;\n}\n/*}}}*/\n/***\n!!!Tables\n***/\n/*{{{*/\n.viewer table {\n border: 1px solid #000;\n}\n\n.viewer th, thead td {\n background: #000;\n border: 1px solid #000;\n color: #fff;\n}\n\n.viewer td, .viewer tr {\n border: 1px solid #111; padding:4px;\n}\n/*}}}*/\n\n\n/***\n!!!Editor area\n***/\n/*{{{*/\n.editor input, .editor textarea {\n border: 1px solid #ccc;\n}\n\n.editor {padding-top:0.3em;}\n\n.editor textarea:focus, .editor input:focus {\n border: 1px solid #333;\n}\n/*}}}*/\n\n/***\n!Sidebar\n***/\n/*{{{*/\n#sidebar{\nposition:relative;\nfloat:right;\nmargin-bottom:1em;\ndisplay:inline;\nwidth: 16em;\n}\n\n#sidebarOptions .sliderPanel {\n background: #eee; border:1px solid #ccc;\n}\n\n/*}}}*/\n\n/***\n!Body Footer rules\n***/\n/*{{{*/\n#contentFooter {\n text-align: center;\n clear: both;\n color:#fff;\n background: #000;\n padding: 1em 2em;\nfont-weight:bold;\n}\n\n/*}}}*/\n/***\n!Link Styles\n***/\n/*{{{*/\na{\n color: #000;\n}\n\na:hover{\n color: #ED700B;\n background:#fff;\n}\n\n\n.button {\n color: #000;\n border: 1px solid #fff;\n}\n\n.button:hover {\n color: #fff;\n background: #ED700B;\n border-color: #000;\n}\n\n.button:active {\n color: #fff;\n background: #ED700B;\n border: 1px solid #000;\n}\n\n.tiddlyLink {border-bottom: 1px dotted #000;}\n.tiddlyLink:hover {border-bottom: 1px dotted #ED700B;} \n\n.titleLine a {border-bottom: 1px dotted #FF9900;}\n\n.titleLine a:hover {border-bottom: 1px dotted #fff;}\n\n.siteTitle a, .siteSubtitle a{\n color: #fff;\n}\n\n.viewer .button {border: 1px solid #ED700B; font-weight:bold;}\n.viewer .button:hover, .viewer .marked, .viewer .highlight{background:#ED700B; color:#fff; font-weight:bold; border: 1px solid #000;}\n\n#topMenu .button, #topMenu .tiddlyLink {\n margin-left:0.5em; margin-right:0.5em;\n padding-left:3px; padding-right:3px;\n color:white; font-weight:bold;\n}\n#topMenu .button:hover, #topMenu .tiddlyLink:hover { background:#000; color:#FF8814}\n\n#topMenu a{border:none;}\n/*}}}*/\n\n/***\n!Message Area /%=================================================%/\n***/\n/*{{{*/\n#messageArea {\n border: 4px dotted #ff8614;\n background: #000;\n color: #fff;\n font-size:90%;\n}\n\n#messageArea .button {\n padding: 0.2em;\n color: #000;\n background: #fff;\n text-decoration:none;\n font-weight:bold;\n border:1px solid #000; \n}\n\n#messageArea a {color:#fff;}\n\n#messageArea a:hover {color:#ff8614; background:transparent;}\n\n#messageArea .button:hover {background: #FF8614; color:#fff; border:1px solid #fff; }\n\n/*}}}*/\n\n/***\n!Popup /%=================================================%/\n***/\n/*{{{*/\n.popup {\n background: #ff8814;\n border: 1px solid #333;\n}\n\n.popup hr {\n color: #333;\n background: #333;\n border-bottom: 1px;\n}\n\n.popup li.disabled {\n color: #333;\n}\n\n.popup li a, .popup li a:visited {\n color: #eee;\n border: none;\n}\n\n.popup li a:hover {\n background: #ff8614;\n color: #fff;\n border: none;\n text-decoration:underline;\n}\n\n.searchBar {float:right; font-size:1em;}\n.searchBar .button {display:block; border:none; color:#ccc; }\n.searchBar .button:hover{border:none; color:#eee;}\n\n.searchBar input{\n border: 1px inset #000; background:#EFDFD1; width:10em; margin:0;\n}\n\n.searchBar input:focus {\n border: 1px inset #000; background:#fff;\n}\n\n*html .titleLine {margin-right:1.3em;}\n\n*html .searchBar .button {margin-left:1.7em;}\n\n .HideSideBarButton {float:right;} \n/*}}}*/\n\n.blog h2, .blog h3, .blog h4{\n margin:0;\n padding:0;\nborder-bottom:none;\n}\n.blog {margin-left:1.5em;} \n\n\n.blog .excerpt {\n margin:0;\nmargin-top:0.3em;\n padding: 0;\n margin-left:1em;\n padding-left:1em;\n font-size:90%;\n border-left:1px solid #ddd;\n}\n\n#tiddlerWhatsNew h1, #tiddlerWhatsNew h2 {border-bottom:none;}\ndiv[tags~="RecentUpdates"], div[tags~="lewcidExtension"] {margin-bottom: 2em;}\n\n#hoverMenu .button, #hoverMenu .tiddlyLink {border:none; font-weight:bold; background:#f37211; color:#fff; padding:0 5px; float:right; margin-bottom:4px;}\n#hoverMenu .button:hover, #hoverMenu .tiddlyLink:hover {font-weight:bold; border:none; color:#f37211; background:#000; padding:0 5px; float:right; margin-bottom:4px;}\n\n#topMenu .fontResizer {float:right;}\n\n#topMenu .fontResizer .button{border:1px solid #000;}\n#topMenu .fontResizer .button:hover {border:1px solid #f37211; color:#fff;}\n#sidebarTabs .txtMainTab .tiddlyLinkExisting {\n font-weight: normal;\n font-style: normal;\n}\n\n#sidebarTabs .txtMoreTab .tiddlyLinkExisting {\n font-weight: bold;\n font-style: normal;\n}\n\n\n\n\n\n#displayArea {margin-right:1em;}\n\n.headerShadow {\n position: relative;\n padding: 2.5em 0em 1em 1em;\n left: -1px;\n top: -1px;\n}\n\n.headerForeground {\n position: absolute;\n padding: 2.5em 0em 1em 1em;\n left: 0px;\n top: 0px;\n}\n\n.siteTitle {\n font-size: 2.5em;\n}\n\n.siteSubtitle {\n font-size: 1.2em;\n}\n\n#mainMenu {float:left; position:relative;}\n\n\n.viewer .button {border: 1px solid #ED700B; font-weight:bold;}\n.viewer .button:hover, .viewer .marked, .viewer .highlight{background:#ED700B; color:#fff; font-weight:bold; border: 1px solid #ED700B;}\n[[StyleSheetCommon]]\n#contentFooter .tiddlyLink {\n color:#fff;\n}\n/*}}}*/\n\n

.centre {text-align:center; margin:0;}\n.centre img {margin:0 auto;}\n\n.title, h1 {font-size: 1.6em; font-weight:bold; background:transparent; margin-top:0;margin-bottom:0; color:#000;}\n\nh2 {font-size: 1.45em; font-weight:bold; background:transparent; margin-top:0;margin-bottom:0; color:#000;}\n\n#mainMenu {width:14em;}\n#displayArea {margin-left:18em;}\n\n.left {float:left; margin-right:1em;}\n.bold {font-weight:bold;}\n\n\n\n.topbutton button, .topbutton{float:right;}\n\n.note{\n position:relative; /*this is the key*/\n z-index:24; background:#ccc;\n color:#000;\n text-decoration:none}\n\n.note:hover, .noteover{z-index:25; background-color:#FFB865;cursor:help;}\n\n.note span{display: none;}\n\n.note:hover span, .noteover span{ /*the span will display just on :hover state*/\n display:block;\n position:absolute;\n top:2em; left:2em; width:15em;\n border:1px solid #000;\n background-color:#FFB35A; color:#000;\n padding:0.5em;}\n\n\n\n.info{\n position:relative; /*this is the key*/\n z-index:24; background:#ccc;\n color:#000;\n text-decoration:none}\n\n.info:hover, .infoover{z-index:25; background-color:#FFB865;cursor:help;}\n\n.info span{display: none}\n\n.info:hover span, .infoover span{ /*the span will display just on :hover state*/\n display:block;\n position:absolute;\n top:2em; left:2em; width:15em;\n border:1px solid #000;\n background-color:#FFB35A; color:#000;\n padding:0.5em;}\n\n.bold {font-weight: bold !important;}

''Courses I'm currently teaching at Oxford University 2010:''\n\n*[[Intelligent Systems II|http://web.comlab.ox.ac.uk/teaching/courses/2009-2010/intelligent2/]]\n*[[Computers in Society|http://web.comlab.ox.ac.uk/teaching/courses/2009-2010/CIS/]]\n\n''Other courses I taught in previous years at Oxford University:''\n\n*“[[Logic of Multi- Agent Information Flow|http://web.comlab.ox.ac.uk/teaching/courses/2009-2010/multiagent/]]”: a graduate course that I created, essentially a course on my main research area (Dynamic Epistemic Logic). This year the lecturer of this course is my former student M. Sadrzadeh.\n*“[[Logic and Proof|http://web.comlab.ox.ac.uk/teaching/courses/2009-2010/logicandproof/]]”: a introduction to logic for undergraduate students in Computer Science. \n*“[[Data Structures and Algorithms|http://web.comlab.ox.ac.uk/teaching/courses/2009-2010/adsa/]]” . \n\n''Courses in Logic taught at international summer schools:''\n\n*(Forthcoming) "Multi- Agent Belief Dynamics" at NASSLLI'2010 (North American Summer School in Logic, Language and Information), Indiana University June 21-25, 2010. Joint course with S. Smets.\n*“Dynamic Logics for Interactive Belief Revision” at ESSLLI’ 09 (European Summer School in Logic, Language and Information), Bordeaux 2009. Joint course with S. Smets. [[Slides on-line|ESSLLI09 COURSE]]\n*"Logics for Quantum Information Flow” at ESSLLI’ 06 (European Summer School in Logic, Language and Information), Malaga 2006. Joint course with S. Smets. [[Slides on-line|ESSLLI06 COURSE]]\n*“Logics for Communication: reasoning about information flow in dialogue games” at NASSLLI’ 03 (North- American Summer School in Logic, Language and Information), Bloomington Indiana, 2003.\n*“Dynamic Epistemic Logic” at NASSLLI’ 02, Stanford University, 2002. Joint course with L. Moss.\n*A course on “Logic and Games” at The First South African Summer School on Logic, Universal Algebra and Theoretical Computer Science, (LUATCS’99), Rand Afrikaans University, Johannesburg, South Africa, December 1999.\n\n''Invited courses taught at other universities:''\n\n*(Forthcoming) Course at the workshop on formal epistemology. Northern Institute of Philosophy, the University of Aberdeen, June 14-18, 2010. Joint course with S. Smets.\n*A course on "Dynamic Quantum Logic" at Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada. July 2005. Joint course with S. Smets.\n*"Logics for Communication": invited course at the Department of Artificial Intelligence of the //Universidad Politécnica de Madrid//, Madrid, March 2004.\n*A course on "dynamic modal logic" at the //Foundations of the Formal Sciences II//, Bonn, Germany, November 2000.\n*During my post-doctoral stage at ILLC (University of Amsterdam), I taught the course “Modal Logic”, as a co-lecturer with Y. Venema.\n

Tiddler.prototype.getSubtitle = function()\n{\n return(this.title);\n}

config.macros.top={};\nconfig.macros.top.handler=function(place,macroName)\n{\n createTiddlyButton(place,"^","jump to top",this.onclick);\n}\nconfig.macros.top.onclick=function()\n{\n window.scrollTo(0,0);\n};

/***\nContains the stuff you need to use Tiddlyspot\nNote you must also have UploadPlugin installed\n***/\n//{{{\n\n// edit this if you are migrating sites or retrofitting an existing TW\nconfig.tiddlyspotSiteId = 'alexandru';\n\n// make it so you can by default see edit controls via http\nconfig.options.chkHttpReadOnly = false;\nwindow.readOnly = false; // make sure of it (for tw 2.2)\n\n// disable autosave in d3\nif (window.location.protocol != "file:")\n config.options.chkGTDLazyAutoSave = false;\n\n// tweak shadow tiddlers to add upload button, password entry box etc\nwith (config.shadowTiddlers) {\n SiteUrl = 'http://'+config.tiddlyspotSiteId+'.tiddlyspot.com';\n SideBarOptions = SideBarOptions.replace(/(<<saveChanges>>)/,"$1<<tiddler TspotSidebar>>");\n OptionsPanel = OptionsPanel.replace(/^/,"<<tiddler TspotOptions>>");\n DefaultTiddlers = DefaultTiddlers.replace(/^/,"[[Welcome to Tiddlyspot]] ");\n MainMenu = MainMenu.replace(/^/,"[[Welcome to Tiddlyspot]] ");\n}\n\n// create some shadow tiddler content\nmerge(config.shadowTiddlers,{\n\n'Welcome to Tiddlyspot':[\n "This document is a ~TiddlyWiki from tiddlyspot.com. A ~TiddlyWiki is an electronic notebook that is great for managing todo lists, personal information, and all sorts of things.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //What now?//   @@ Before you can save any changes, you need to enter your password in the form below. Then configure privacy and other site settings at your [[control panel|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/controlpanel]] (your control panel username is //" + config.tiddlyspotSiteId + "//).",\n "<<tiddler TspotControls>>",\n "See also GettingStarted.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Working online//   @@ You can edit this ~TiddlyWiki right now, and save your changes using the \s"save to web\s" button in the column on the right.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Working offline//   @@ A fully functioning copy of this ~TiddlyWiki can be saved onto your hard drive or USB stick. You can make changes and save them locally without being connected to the Internet. When you're ready to sync up again, just click \s"upload\s" and your ~TiddlyWiki will be saved back to tiddlyspot.com.",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Help!//   @@ Find out more about ~TiddlyWiki at [[TiddlyWiki.com|http://tiddlywiki.com]]. Also visit [[TiddlyWiki Guides|http://tiddlywikiguides.org]] for documentation on learning and using ~TiddlyWiki. New users are especially welcome on the [[TiddlyWiki mailing list|http://groups.google.com/group/TiddlyWiki]], which is an excellent place to ask questions and get help. If you have a tiddlyspot related problem email [[tiddlyspot support|mailto:support@tiddlyspot.com]].",\n "",\n "@@font-weight:bold;font-size:1.3em;color:#444; //Enjoy :)//   @@ We hope you like using your tiddlyspot.com site. Please email [[feedback@tiddlyspot.com|mailto:feedback@tiddlyspot.com]] with any comments or suggestions."\n].join("\sn"),\n\n'TspotControls':[\n "| tiddlyspot password:|<<option pasUploadPassword>>|",\n "| site management:|<<upload http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/store.cgi index.html . . " + config.tiddlyspotSiteId + ">>//(requires tiddlyspot password)//<<br>>[[control panel|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/controlpanel]], [[download (go offline)|http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/download]]|",\n "| links:|[[tiddlyspot.com|http://tiddlyspot.com/]], [[FAQs|http://faq.tiddlyspot.com/]], [[announcements|http://announce.tiddlyspot.com/]], [[blog|http://tiddlyspot.com/blog/]], email [[support|mailto:support@tiddlyspot.com]] & [[feedback|mailto:feedback@tiddlyspot.com]], [[donate|http://tiddlyspot.com/?page=donate]]|"\n].join("\sn"),\n\n'TspotSidebar':[\n "<<upload http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/store.cgi index.html . . " + config.tiddlyspotSiteId + ">><html><a href='http://" + config.tiddlyspotSiteId + ".tiddlyspot.com/download' class='button'>download</a></html>"\n].join("\sn"),\n\n'TspotOptions':[\n "tiddlyspot password:",\n "<<option pasUploadPassword>>",\n ""\n].join("\sn")\n\n});\n//}}}\n

| !date | !user | !location | !storeUrl | !uploadDir | !toFilename | !backupdir | !origin |\n| 12/9/2007 17:3:4 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 17:3:9 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 12/9/2007 17:5:1 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 12/9/2007 17:13:52 | YourName | [[/|http://alexandru.tiddlyspot.com/#SiteSubTitle]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 18:25:0 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 18:35:42 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 18:35:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 12/9/2007 18:39:42 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 18:39:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 12/9/2007 18:44:45 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 19:0:31 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/9/2007 20:45:41 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 16:37:31 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 16:37:46 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 18:28:45 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:30:59 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 18:28:0 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 18:28:28 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 19:41:12 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 19:44:6 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 20:12:33 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 20:33:14 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 21:9:41 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 21:23:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 21:24:24 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 21/11/2008 21:28:31 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 22:12:4 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 22:12:25 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 22:15:25 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 22:31:49 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 23:14:55 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 21/11/2008 23:23:36 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 23:23:48 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 21/11/2008 23:32:58 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 21/11/2008 23:33:23 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 21/11/2008 23:36:56 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/11/2008 0:44:33 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 0:58:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:0:16 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:1:40 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:2:46 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:6:1 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:7:52 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/11/2008 1:8:9 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 22/11/2008 1:9:5 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:9:47 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:10:8 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:12:36 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:14:6 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/11/2008 1:14:17 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 22/11/2008 1:15:43 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:21:23 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:22:17 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:24:0 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:40:55 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/11/2008 1:41:34 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 26/11/2008 3:18:14 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 28/1/2009 16:47:44 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2009 2:58:49 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2009 3:3:57 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2009 3:8:54 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2009 3:24:9 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2009 3:24:48 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2009 3:26:58 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2009 15:59:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2009 16:2:41 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 29/7/2009 15:34:4 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 29/7/2009 15:53:41 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 31/7/2009 11:23:5 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 6/8/2009 12:6:35 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 6/8/2009 11:53:38 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 19:41:57 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 19:59:48 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 20:3:10 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 20:13:39 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 20:23:0 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 20:24:5 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 20:45:39 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 21:8:1 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 21:41:34 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 21:43:43 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 21:57:59 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 21:58:23 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 21:58:29 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 21:59:10 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:0:21 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:0:38 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:7:35 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:14:31 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:23:53 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/12/2009 22:28:59 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 22:29:57 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 22:31:28 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 22:44:36 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 22:57:12 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 7/12/2009 23:38:24 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 0:10:11 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 0:10:48 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 0:12:31 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 0:21:13 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 8/12/2009 14:59:7 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 14:59:51 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 15:10:38 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 15:49:37 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 8/12/2009 15:51:58 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 15:56:59 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 15:58:47 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 21:13:59 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 21:54:46 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 21:55:41 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 21:56:46 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:4:19 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:24:49 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:28:44 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:35:30 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:40:54 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:44:12 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 8/12/2009 22:46:46 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 2:31:30 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 2:33:33 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 2:35:18 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 2:36:11 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 9/12/2009 2:36:23 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 3:0:35 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 9/12/2009 3:2:37 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 9/12/2009 21:1:14 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/12/2009 16:22:6 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 7/2/2010 14:26:3 | YourName | [[/|http://alexandru.tiddlyspot.com/#author:true]] | [[store.cgi|http://alexandru.tiddlyspot.com/store.cgi]] | . | index.html | . |

/***\n|''Name:''|UploadPlugin|\n|''Description:''|Save to web a TiddlyWiki|\n|''Version:''|3.4.5|\n|''Date:''|Oct 15, 2006|\n|''Source:''|http://tiddlywiki.bidix.info/#UploadPlugin|\n|''Documentation:''|http://tiddlywiki.bidix.info/#UploadDoc|\n|''Author:''|BidiX (BidiX (at) bidix (dot) info)|\n|''License:''|[[BSD open source license|http://tiddlywiki.bidix.info/#%5B%5BBSD%20open%20source%20license%5D%5D ]]|\n|''~CoreVersion:''|2.0.0|\n|''Browser:''|Firefox 1.5; InternetExplorer 6.0; Safari|\n|''Include:''|config.lib.file; config.lib.log; config.lib.options; PasswordTweak|\n|''Require:''|[[UploadService|http://tiddlywiki.bidix.info/#UploadService]]|\n***/\n//{{{\nversion.extensions.UploadPlugin = {\n major: 3, minor: 4, revision: 5, \n date: new Date(2006,9,15),\n source: 'http://tiddlywiki.bidix.info/#UploadPlugin',\n documentation: 'http://tiddlywiki.bidix.info/#UploadDoc',\n author: 'BidiX (BidiX (at) bidix (dot) info',\n license: '[[BSD open source license|http://tiddlywiki.bidix.info/#%5B%5BBSD%20open%20source%20license%5D%5D]]',\n coreVersion: '2.0.0',\n browser: 'Firefox 1.5; InternetExplorer 6.0; Safari'\n};\n//}}}\n\n////+++!![config.lib.file]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.file) config.lib.file= {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 0}, \n date: new Date(2006,3,9)\n};\nconfig.lib.file.dirname = function (filePath) {\n var lastpos;\n if ((lastpos = filePath.lastIndexOf("/")) != -1) {\n return filePath.substring(0, lastpos);\n } else {\n return filePath.substring(0, filePath.lastIndexOf("\s\s"));\n }\n};\nconfig.lib.file.basename = function (filePath) {\n var lastpos;\n if ((lastpos = filePath.lastIndexOf("#")) != -1) \n filePath = filePath.substring(0, lastpos);\n if ((lastpos = filePath.lastIndexOf("/")) != -1) {\n return filePath.substring(lastpos + 1);\n } else\n return filePath.substring(filePath.lastIndexOf("\s\s")+1);\n};\nwindow.basename = function() {return "@@deprecated@@";};\n//}}}\n////===\n\n////+++!![config.lib.log]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.log) config.lib.log= {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 1}, \n date: new Date(2006,8,19)\n};\nconfig.lib.Log = function(tiddlerTitle, logHeader) {\n if (version.major < 2)\n this.tiddler = store.tiddlers[tiddlerTitle];\n else\n this.tiddler = store.getTiddler(tiddlerTitle);\n if (!this.tiddler) {\n this.tiddler = new Tiddler();\n this.tiddler.title = tiddlerTitle;\n this.tiddler.text = "| !date | !user | !location |" + logHeader;\n this.tiddler.created = new Date();\n this.tiddler.modifier = config.options.txtUserName;\n this.tiddler.modified = new Date();\n if (version.major < 2)\n store.tiddlers[tiddlerTitle] = this.tiddler;\n else\n store.addTiddler(this.tiddler);\n }\n return this;\n};\n\nconfig.lib.Log.prototype.newLine = function (line) {\n var now = new Date();\n var newText = "| ";\n newText += now.getDate()+"/"+(now.getMonth()+1)+"/"+now.getFullYear() + " ";\n newText += now.getHours()+":"+now.getMinutes()+":"+now.getSeconds()+" | ";\n newText += config.options.txtUserName + " | ";\n var location = document.location.toString();\n var filename = config.lib.file.basename(location);\n if (!filename) filename = '/';\n newText += "[["+filename+"|"+location + "]] |";\n this.tiddler.text = this.tiddler.text + "\sn" + newText;\n this.addToLine(line);\n};\n\nconfig.lib.Log.prototype.addToLine = function (text) {\n this.tiddler.text = this.tiddler.text + text;\n this.tiddler.modifier = config.options.txtUserName;\n this.tiddler.modified = new Date();\n if (version.major < 2)\n store.tiddlers[this.tiddler.tittle] = this.tiddler;\n else {\n store.addTiddler(this.tiddler);\n story.refreshTiddler(this.tiddler.title);\n store.notify(this.tiddler.title, true);\n }\n if (version.major < 2)\n store.notifyAll(); \n};\n//}}}\n////===\n\n////+++!![config.lib.options]\n\n//{{{\nif (!config.lib) config.lib = {};\nif (!config.lib.options) config.lib.options = {\n author: 'BidiX',\n version: {major: 0, minor: 1, revision: 0}, \n date: new Date(2006,3,9)\n};\n\nconfig.lib.options.init = function (name, defaultValue) {\n if (!config.options[name]) {\n config.options[name] = defaultValue;\n saveOptionCookie(name);\n }\n};\n//}}}\n////===\n\n////+++!![PasswordTweak]\n\n//{{{\nversion.extensions.PasswordTweak = {\n major: 1, minor: 0, revision: 3, date: new Date(2006,8,30),\n type: 'tweak',\n source: 'http://tiddlywiki.bidix.info/#PasswordTweak'\n};\n//}}}\n/***\n!!config.macros.option\n***/\n//{{{\nconfig.macros.option.passwordCheckboxLabel = "Save this password on this computer";\nconfig.macros.option.passwordType = "password"; // password | text\n\nconfig.macros.option.onChangeOption = function(e)\n{\n var opt = this.getAttribute("option");\n var elementType,valueField;\n if(opt) {\n switch(opt.substr(0,3)) {\n case "txt":\n elementType = "input";\n valueField = "value";\n break;\n case "pas":\n elementType = "input";\n valueField = "value";\n break;\n case "chk":\n elementType = "input";\n valueField = "checked";\n break;\n }\n config.options[opt] = this[valueField];\n saveOptionCookie(opt);\n var nodes = document.getElementsByTagName(elementType);\n for(var t=0; t<nodes.length; t++) \n {\n var optNode = nodes[t].getAttribute("option");\n if (opt == optNode) \n nodes[t][valueField] = this[valueField];\n }\n }\n return(true);\n};\n\nconfig.macros.option.handler = function(place,macroName,params)\n{\n var opt = params[0];\n if(config.options[opt] === undefined) {\n return;}\n var c;\n switch(opt.substr(0,3)) {\n case "txt":\n c = document.createElement("input");\n c.onkeyup = this.onChangeOption;\n c.setAttribute ("option",opt);\n c.className = "txtOptionInput "+opt;\n place.appendChild(c);\n c.value = config.options[opt];\n break;\n case "pas":\n // input password\n c = document.createElement ("input");\n c.setAttribute("type",config.macros.option.passwordType);\n c.onkeyup = this.onChangeOption;\n c.setAttribute("option",opt);\n c.className = "pasOptionInput "+opt;\n place.appendChild(c);\n c.value = config.options[opt];\n // checkbox link with this password "save this password on this computer"\n c = document.createElement("input");\n c.setAttribute("type","checkbox");\n c.onclick = this.onChangeOption;\n c.setAttribute("option","chk"+opt);\n c.className = "chkOptionInput "+opt;\n place.appendChild(c);\n c.checked = config.options["chk"+opt];\n // text savePasswordCheckboxLabel\n place.appendChild(document.createTextNode(config.macros.option.passwordCheckboxLabel));\n break;\n case "chk":\n c = document.createElement("input");\n c.setAttribute("type","checkbox");\n c.onclick = this.onChangeOption;\n c.setAttribute("option",opt);\n c.className = "chkOptionInput "+opt;\n place.appendChild(c);\n c.checked = config.options[opt];\n break;\n }\n};\n//}}}\n/***\n!! Option cookie stuff\n***/\n//{{{\nwindow.loadOptionsCookie_orig_PasswordTweak = window.loadOptionsCookie;\nwindow.loadOptionsCookie = function()\n{\n var cookies = document.cookie.split(";");\n for(var c=0; c<cookies.length; c++) {\n var p = cookies[c].indexOf("=");\n if(p != -1) {\n var name = cookies[c].substr(0,p).trim();\n var value = cookies[c].substr(p+1).trim();\n switch(name.substr(0,3)) {\n case "txt":\n config.options[name] = unescape(value);\n break;\n case "pas":\n config.options[name] = unescape(value);\n break;\n case "chk":\n config.options[name] = value == "true";\n break;\n }\n }\n }\n};\n\nwindow.saveOptionCookie_orig_PasswordTweak = window.saveOptionCookie;\nwindow.saveOptionCookie = function(name)\n{\n var c = name + "=";\n switch(name.substr(0,3)) {\n case "txt":\n c += escape(config.options[name].toString());\n break;\n case "chk":\n c += config.options[name] ? "true" : "false";\n // is there an option link with this chk ?\n if (config.options[name.substr(3)]) {\n saveOptionCookie(name.substr(3));\n }\n break;\n case "pas":\n if (config.options["chk"+name]) {\n c += escape(config.options[name].toString());\n } else {\n c += "";\n }\n break;\n }\n c += "; expires=Fri, 1 Jan 2038 12:00:00 UTC; path=/";\n document.cookie = c;\n};\n//}}}\n/***\n!! Initializations\n***/\n//{{{\n// define config.options.pasPassword\nif (!config.options.pasPassword) {\n config.options.pasPassword = 'defaultPassword';\n window.saveOptionCookie('pasPassword');\n}\n// since loadCookies is first called befor password definition\n// we need to reload cookies\nwindow.loadOptionsCookie();\n//}}}\n////===\n\n////+++!![config.macros.upload]\n\n//{{{\nconfig.macros.upload = {\n accessKey: "U",\n formName: "UploadPlugin",\n contentType: "text/html;charset=UTF-8",\n defaultStoreScript: "store.php"\n};\n\n// only this two configs need to be translated\nconfig.macros.upload.messages = {\n aboutToUpload: "About to upload TiddlyWiki to %0",\n backupFileStored: "Previous file backuped in %0",\n crossDomain: "Certainly a cross-domain isue: access to an other site isn't allowed",\n errorDownloading: "Error downloading",\n errorUploadingContent: "Error uploading content",\n fileLocked: "Files is locked: You are not allowed to Upload",\n fileNotFound: "file to upload not found",\n fileNotUploaded: "File %0 NOT uploaded",\n mainFileUploaded: "Main TiddlyWiki file uploaded to %0",\n passwordEmpty: "Unable to upload, your password is empty",\n urlParamMissing: "url param missing",\n rssFileNotUploaded: "RssFile %0 NOT uploaded",\n rssFileUploaded: "Rss File uploaded to %0"\n};\n\nconfig.macros.upload.label = {\n promptOption: "Save and Upload this TiddlyWiki with UploadOptions",\n promptParamMacro: "Save and Upload this TiddlyWiki in %0",\n saveLabel: "save to web", \n saveToDisk: "save to disk",\n uploadLabel: "upload" \n};\n\nconfig.macros.upload.handler = function(place,macroName,params){\n // parameters initialization\n var storeUrl = params[0];\n var toFilename = params[1];\n var backupDir = params[2];\n var uploadDir = params[3];\n var username = params[4];\n var password; // for security reason no password as macro parameter\n var label;\n if (document.location.toString().substr(0,4) == "http")\n label = this.label.saveLabel;\n else\n label = this.label.uploadLabel;\n var prompt;\n if (storeUrl) {\n prompt = this.label.promptParamMacro.toString().format([this.toDirUrl(storeUrl, uploadDir, username)]);\n }\n else {\n prompt = this.label.promptOption;\n }\n createTiddlyButton(place, label, prompt, \n function () {\n config.macros.upload.upload(storeUrl, toFilename, uploadDir, backupDir, username, password); \n return false;}, \n null, null, this.accessKey);\n};\nconfig.macros.upload.UploadLog = function() {\n return new config.lib.Log('UploadLog', " !storeUrl | !uploadDir | !toFilename | !backupdir | !origin |" );\n};\nconfig.macros.upload.UploadLog.prototype = config.lib.Log.prototype;\nconfig.macros.upload.UploadLog.prototype.startUpload = function(storeUrl, toFilename, uploadDir, backupDir) {\n var line = " [[" + config.lib.file.basename(storeUrl) + "|" + storeUrl + "]] | ";\n line += uploadDir + " | " + toFilename + " | " + backupDir + " |";\n this.newLine(line);\n};\nconfig.macros.upload.UploadLog.prototype.endUpload = function() {\n this.addToLine(" Ok |");\n};\nconfig.macros.upload.basename = config.lib.file.basename;\nconfig.macros.upload.dirname = config.lib.file.dirname;\nconfig.macros.upload.toRootUrl = function (storeUrl, username)\n{\n return root = (this.dirname(storeUrl)?this.dirname(storeUrl):this.dirname(document.location.toString()));\n}\nconfig.macros.upload.toDirUrl = function (storeUrl, uploadDir, username)\n{\n var root = this.toRootUrl(storeUrl, username);\n if (uploadDir && uploadDir != '.')\n root = root + '/' + uploadDir;\n return root;\n}\nconfig.macros.upload.toFileUrl = function (storeUrl, toFilename, uploadDir, username)\n{\n return this.toDirUrl(storeUrl, uploadDir, username) + '/' + toFilename;\n}\nconfig.macros.upload.upload = function(storeUrl, toFilename, uploadDir, backupDir, username, password)\n{\n // parameters initialization\n storeUrl = (storeUrl ? storeUrl : config.options.txtUploadStoreUrl);\n toFilename = (toFilename ? toFilename : config.options.txtUploadFilename);\n backupDir = (backupDir ? backupDir : config.options.txtUploadBackupDir);\n uploadDir = (uploadDir ? uploadDir : config.options.txtUploadDir);\n username = (username ? username : config.options.txtUploadUserName);\n password = config.options.pasUploadPassword; // for security reason no password as macro parameter\n if (!password || password === '') {\n alert(config.macros.upload.messages.passwordEmpty);\n return;\n }\n if (storeUrl === '') {\n storeUrl = config.macros.upload.defaultStoreScript;\n }\n if (config.lib.file.dirname(storeUrl) === '') {\n storeUrl = config.lib.file.dirname(document.location.toString())+'/'+storeUrl;\n }\n if (toFilename === '') {\n toFilename = config.lib.file.basename(document.location.toString());\n }\n\n clearMessage();\n // only for forcing the message to display\n if (version.major < 2)\n store.notifyAll();\n if (!storeUrl) {\n alert(config.macros.upload.messages.urlParamMissing);\n return;\n }\n // Check that file is not locked\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n if (BidiX.GroupAuthoring.lock.isLocked() && !BidiX.GroupAuthoring.lock.isMyLock()) {\n alert(config.macros.upload.messages.fileLocked);\n return;\n }\n }\n \n var log = new this.UploadLog();\n log.startUpload(storeUrl, toFilename, uploadDir, backupDir);\n if (document.location.toString().substr(0,5) == "file:") {\n saveChanges();\n }\n var toDir = config.macros.upload.toDirUrl(storeUrl, toFilename, uploadDir, username);\n displayMessage(config.macros.upload.messages.aboutToUpload.format([toDir]), toDir);\n this.uploadChanges(storeUrl, toFilename, uploadDir, backupDir, username, password);\n if(config.options.chkGenerateAnRssFeed) {\n //var rssContent = convertUnicodeToUTF8(generateRss());\n var rssContent = generateRss();\n var rssPath = toFilename.substr(0,toFilename.lastIndexOf(".")) + ".xml";\n this.uploadContent(rssContent, storeUrl, rssPath, uploadDir, '', username, password, \n function (responseText) {\n if (responseText.substring(0,1) != '0') {\n displayMessage(config.macros.upload.messages.rssFileNotUploaded.format([rssPath]));\n }\n else {\n var toFileUrl = config.macros.upload.toFileUrl(storeUrl, rssPath, uploadDir, username);\n displayMessage(config.macros.upload.messages.rssFileUploaded.format(\n [toFileUrl]), toFileUrl);\n }\n // for debugging store.php uncomment last line\n //DEBUG alert(responseText);\n });\n }\n return;\n};\n\nconfig.macros.upload.uploadChanges = function(storeUrl, toFilename, uploadDir, backupDir, \n username, password) {\n var original;\n if (document.location.toString().substr(0,4) == "http") {\n original = this.download(storeUrl, toFilename, uploadDir, backupDir, username, password);\n return;\n }\n else {\n // standard way : Local file\n \n original = loadFile(getLocalPath(document.location.toString()));\n if(window.Components) {\n // it's a mozilla browser\n try {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");\n var converter = Components.classes["@mozilla.org/intl/scriptableunicodeconverter"]\n .createInstance(Components.interfaces.nsIScriptableUnicodeConverter);\n converter.charset = "UTF-8";\n original = converter.ConvertToUnicode(original);\n }\n catch(e) {\n }\n }\n }\n //DEBUG alert(original);\n this.uploadChangesFrom(original, storeUrl, toFilename, uploadDir, backupDir, \n username, password);\n};\n\nconfig.macros.upload.uploadChangesFrom = function(original, storeUrl, toFilename, uploadDir, backupDir, \n username, password) {\n var startSaveArea = '<div id="' + 'storeArea">'; // Split up into two so that indexOf() of this source doesn't find it\n var endSaveArea = '</d' + 'iv>';\n // Locate the storeArea div's\n var posOpeningDiv = original.indexOf(startSaveArea);\n var posClosingDiv = original.lastIndexOf(endSaveArea);\n if((posOpeningDiv == -1) || (posClosingDiv == -1))\n {\n alert(config.messages.invalidFileError.format([document.location.toString()]));\n return;\n }\n var revised = original.substr(0,posOpeningDiv + startSaveArea.length) + \n allTiddlersAsHtml() + "\sn\st\st" +\n original.substr(posClosingDiv);\n var newSiteTitle;\n if(version.major < 2){\n newSiteTitle = (getElementText("siteTitle") + " - " + getElementText("siteSubtitle")).htmlEncode();\n } else {\n newSiteTitle = (wikifyPlain ("SiteTitle") + " - " + wikifyPlain ("SiteSubtitle")).htmlEncode();\n }\n\n revised = revised.replaceChunk("<title"+">","</title"+">"," " + newSiteTitle + " ");\n revised = revised.replaceChunk("<!--PRE-HEAD-START--"+">","<!--PRE-HEAD-END--"+">","\sn" + store.getTiddlerText("MarkupPreHead","") + "\sn");\n revised = revised.replaceChunk("<!--POST-HEAD-START--"+">","<!--POST-HEAD-END--"+">","\sn" + store.getTiddlerText("MarkupPostHead","") + "\sn");\n revised = revised.replaceChunk("<!--PRE-BODY-START--"+">","<!--PRE-BODY-END--"+">","\sn" + store.getTiddlerText("MarkupPreBody","") + "\sn");\n revised = revised.replaceChunk("<!--POST-BODY-START--"+">","<!--POST-BODY-END--"+">","\sn" + store.getTiddlerText("MarkupPostBody","") + "\sn");\n\n var response = this.uploadContent(revised, storeUrl, toFilename, uploadDir, backupDir, \n username, password, function (responseText) {\n if (responseText.substring(0,1) != '0') {\n alert(responseText);\n displayMessage(config.macros.upload.messages.fileNotUploaded.format([getLocalPath(document.location.toString())]));\n }\n else {\n if (uploadDir !== '') {\n toFilename = uploadDir + "/" + config.macros.upload.basename(toFilename);\n } else {\n toFilename = config.macros.upload.basename(toFilename);\n }\n var toFileUrl = config.macros.upload.toFileUrl(storeUrl, toFilename, uploadDir, username);\n if (responseText.indexOf("destfile:") > 0) {\n var destfile = responseText.substring(responseText.indexOf("destfile:")+9, \n responseText.indexOf("\sn", responseText.indexOf("destfile:")));\n toFileUrl = config.macros.upload.toRootUrl(storeUrl, username) + '/' + destfile;\n }\n else {\n toFileUrl = config.macros.upload.toFileUrl(storeUrl, toFilename, uploadDir, username);\n }\n displayMessage(config.macros.upload.messages.mainFileUploaded.format(\n [toFileUrl]), toFileUrl);\n if (backupDir && responseText.indexOf("backupfile:") > 0) {\n var backupFile = responseText.substring(responseText.indexOf("backupfile:")+11, \n responseText.indexOf("\sn", responseText.indexOf("backupfile:")));\n toBackupUrl = config.macros.upload.toRootUrl(storeUrl, username) + '/' + backupFile;\n displayMessage(config.macros.upload.messages.backupFileStored.format(\n [toBackupUrl]), toBackupUrl);\n }\n var log = new config.macros.upload.UploadLog();\n log.endUpload();\n store.setDirty(false);\n // erase local lock\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n BidiX.GroupAuthoring.lock.eraseLock();\n // change mtime with new mtime after upload\n var mtime = responseText.substr(responseText.indexOf("mtime:")+6);\n BidiX.GroupAuthoring.lock.mtime = mtime;\n }\n \n \n }\n // for debugging store.php uncomment last line\n //DEBUG alert(responseText);\n }\n );\n};\n\nconfig.macros.upload.uploadContent = function(content, storeUrl, toFilename, uploadDir, backupDir, \n username, password, callbackFn) {\n var boundary = "---------------------------"+"AaB03x"; \n var request;\n try {\n request = new XMLHttpRequest();\n } \n catch (e) { \n request = new ActiveXObject("Msxml2.XMLHTTP"); \n }\n if (window.netscape){\n try {\n if (document.location.toString().substr(0,4) != "http") {\n netscape.security.PrivilegeManager.enablePrivilege('UniversalBrowserRead');}\n }\n catch (e) {}\n } \n //DEBUG alert("user["+config.options.txtUploadUserName+"] password[" + config.options.pasUploadPassword + "]");\n // compose headers data\n var sheader = "";\n sheader += "--" + boundary + "\sr\snContent-disposition: form-data; name=\s"";\n sheader += config.macros.upload.formName +"\s"\sr\sn\sr\sn";\n sheader += "backupDir="+backupDir\n +";user=" + username \n +";password=" + password\n +";uploaddir=" + uploadDir;\n // add lock attributes to sheader\n if (window.BidiX && BidiX.GroupAuthoring && BidiX.GroupAuthoring.lock) {\n var l = BidiX.GroupAuthoring.lock.myLock;\n sheader += ";lockuser=" + l.user\n + ";mtime=" + l.mtime\n + ";locktime=" + l.locktime;\n }\n sheader += ";;\sr\sn"; \n sheader += "\sr\sn" + "--" + boundary + "\sr\sn";\n sheader += "Content-disposition: form-data; name=\s"userfile\s"; filename=\s""+toFilename+"\s"\sr\sn";\n sheader += "Content-Type: " + config.macros.upload.contentType + "\sr\sn";\n sheader += "Content-Length: " + content.length + "\sr\sn\sr\sn";\n // compose trailer data\n var strailer = new String();\n strailer = "\sr\sn--" + boundary + "--\sr\sn";\n //strailer = "--" + boundary + "--\sr\sn";\n var data;\n data = sheader + content + strailer;\n //request.open("POST", storeUrl, true, username, password);\n try {\n request.open("POST", storeUrl, true); \n }\n catch(e) {\n alert(config.macros.upload.messages.crossDomain + "\snError:" +e);\n exit;\n }\n request.onreadystatechange = function () {\n if (request.readyState == 4) {\n if (request.status == 200)\n callbackFn(request.responseText);\n else\n alert(config.macros.upload.messages.errorUploadingContent + "\snStatus: "+request.status.statusText);\n }\n };\n request.setRequestHeader("Content-Length",data.length);\n request.setRequestHeader("Content-Type","multipart/form-data; boundary="+boundary);\n request.send(data); \n};\n\n\nconfig.macros.upload.download = function(uploadUrl, uploadToFilename, uploadDir, uploadBackupDir, \n username, password) {\n var request;\n try {\n request = new XMLHttpRequest();\n } \n catch (e) { \n request = new ActiveXObject("Msxml2.XMLHTTP"); \n }\n try {\n if (uploadUrl.substr(0,4) == "http") {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalBrowserRead");\n }\n else {\n netscape.security.PrivilegeManager.enablePrivilege("UniversalXPConnect");\n }\n } catch (e) { }\n //request.open("GET", document.location.toString(), true, username, password);\n try {\n request.open("GET", document.location.toString(), true);\n }\n catch(e) {\n alert(config.macros.upload.messages.crossDomain + "\snError:" +e);\n exit;\n }\n \n request.onreadystatechange = function () {\n if (request.readyState == 4) {\n if(request.status == 200) {\n config.macros.upload.uploadChangesFrom(request.responseText, uploadUrl, \n uploadToFilename, uploadDir, uploadBackupDir, username, password);\n }\n else\n alert(config.macros.upload.messages.errorDownloading.format(\n [document.location.toString()]) + "\snStatus: "+request.status.statusText);\n }\n };\n request.send(null);\n};\n\n//}}}\n////===\n\n////+++!![Initializations]\n\n//{{{\nconfig.lib.options.init('txtUploadStoreUrl','store.php');\nconfig.lib.options.init('txtUploadFilename','');\nconfig.lib.options.init('txtUploadDir','');\nconfig.lib.options.init('txtUploadBackupDir','');\nconfig.lib.options.init('txtUploadUserName',config.options.txtUserName);\nconfig.lib.options.init('pasUploadPassword','');\nsetStylesheet(\n ".pasOptionInput {width: 11em;}\sn"+\n ".txtOptionInput.txtUploadStoreUrl {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadFilename {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadDir {width: 25em;}\sn"+\n ".txtOptionInput.txtUploadBackupDir {width: 25em;}\sn"+\n "",\n "UploadOptionsStyles");\nif (document.location.toString().substr(0,4) == "http") {\n config.options.chkAutoSave = false; \n saveOptionCookie('chkAutoSave');\n}\nconfig.shadowTiddlers.UploadDoc = "[[Full Documentation|http://tiddlywiki.bidix.info/l#UploadDoc ]]\sn"; \n\n//}}}\n////===\n\n////+++!![Core Hijacking]\n\n//{{{\nconfig.macros.saveChanges.label_orig_UploadPlugin = config.macros.saveChanges.label;\nconfig.macros.saveChanges.label = config.macros.upload.label.saveToDisk;\n\nconfig.macros.saveChanges.handler_orig_UploadPlugin = config.macros.saveChanges.handler;\n\nconfig.macros.saveChanges.handler = function(place)\n{\n if ((!readOnly) && (document.location.toString().substr(0,4) != "http"))\n createTiddlyButton(place,this.label,this.prompt,this.onClick,null,null,this.accessKey);\n};\n\n//}}}\n////===\n\n

\n<div class='viewer' macro='view text wikified'></div>\n<div class='viewer topbutton' macro='top'></div>\n<br><br>\n<div class='viewer' macro='navigation tiddlers:{{store.getTiddlerText("PresentationIndex").readBracketedList()}}}'></div>\n<div class='tagClear'></div>\n

''WELCOME TO MY HOMEPAGE''\n\nUniversity Lecturer at [[Comlab|http://www.comlab.ox.ac.uk/]], the Oxford University Computing Laboratory, Oxford, UK. (from 2001on). \n\nPh. D. in Mathematics (1998, Indiana University, USA).\n\n* Editor of the annual volume //[[Phibook: The Yearbook of Philosophical Logic|http://www.philosophicallogic.org/]]//. Publisher: Automatic Press/VIP.\n* PC member of the upcoming [[AiML 2010|http://aiml10.mi.ras.ru/index.php?n=0]] (Advances in Modal Logic 2010); of [[CMCS'10|http://event.cwi.nl/cmcs10/index.html]] (10th International Workshop on Coalgebraic Methods in Computer Science) and of [[ESSLLI 2010 Workshop|http://www.irit.fr/~Laure.Vieu/Esslli10]] (Workshop on Theories of Information Dynamics and Interaction and their Application to Dialogue). PC member of [[past conferences]].\n* My Previous Affiliations include: [[CWI|http://www.cwi.nl/]], (Dutch Center for Mathematics and Computer Science) & [[ILLC|http://www.illc.uva.nl/]] (Institute for Logic, Language and Computation), University of Amsterdam, NL; [[IU Department of Mathematics|http://www.math.indiana.edu/]], Indiana University; [[Institute of Mathematics of the Romanian Academy|http://www.imar.ro/]], Bucharest, Romania.\n\n

This document is a ~TiddlyWiki from tiddlyspot.com. A ~TiddlyWiki is an electronic notebook that is great for managing todo lists, personal information, and all sorts of things.\n\n@@font-weight:bold;font-size:1.3em;color:#444; //What now?//   @@ Before you can save any changes, you need to enter your password in the form below. Then configure privacy and other site settings at your [[control panel|http://alexandru.tiddlyspot.com/controlpanel]] (your control panel username is //alexandru//).\n<<tiddler TspotControls>>\nSee also GettingStarted.\n\n@@font-weight:bold;font-size:1.3em;color:#444; //Working online//   @@ You can edit this ~TiddlyWiki right now, and save your changes using the "save to web" button in the column on the right.\n\n@@font-weight:bold;font-size:1.3em;color:#444; //Working offline//   @@ A fully functioning copy of this ~TiddlyWiki can be saved onto your hard drive or USB stick. You can make changes and save them locally without being connected to the Internet. When you're ready to sync up again, just click "upload" and your ~TiddlyWiki will be saved back to tiddlyspot.com.\n\n@@font-weight:bold;font-size:1.3em;color:#444; //Help!//   @@ Find out more about ~TiddlyWiki at [[TiddlyWiki.com|http://tiddlywiki.com]]. Also visit [[TiddlyWiki Guides|http://tiddlywikiguides.org]] for documentation on learning and using ~TiddlyWiki. New users are especially welcome on the [[TiddlyWiki mailing list|http://groups.google.com/group/TiddlyWiki]], which is an excellent place to ask questions and get help. If you have a tiddlyspot related problem email [[tiddlyspot support|mailto:support@tiddlyspot.com]].\n\n@@font-weight:bold;font-size:1.3em;color:#444; //Enjoy :)//   @@ We hope you like using your tiddlyspot.com site. Please email [[feedback@tiddlyspot.com|mailto:feedback@tiddlyspot.com]] with any comments or suggestions.

Updated on 8 December 2009

''PC Member of: ''\n\n[[LORI II|http://loriweb.org/lori2009/]] (The Second International Workshop on Logic, Rationality and Interaction), [[WOLLIC 2009|http://wollic.org/wollic2009/]] (16th Workshop on Logic, Language, Information and Computation), [[AIML 2008 (Advances in Modal Logic), Lall '08 (ESSLLI Workshop on "Logic and Intelligent Interaction"), LOFT 2008 (Logic and Foundations of Decision Theory and Game Theory), LORI 2007 (International Workshop on em Logic, Rationality and Interaction), AIML 2006 (Advances in Modal logic), RAK'06 (ESSLLI Workshop on "Rationality and Knowledge"), CMCS 2002 (the Fifth International Workshop on Coalgebraic Methods in Computer Science), UKMAS 2002 (UK Workshop on Multi-agent Systems), CMCS 2001 (Fourth International Workshop on Coalgebraic Methods in Computer Science).