Sonja Smets - Home Page

\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

''Welcome to my papers on belief revision and belief update''\n\n1) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], in G. Mints and R. de Queiroz (eds.), //Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science//, 165, pp. 5-21, 2006. \n\n2) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], in S. Artemov and R. Parikh (eds.), //Proceedings of the Workshop on Rationality and Knowledge//, p.13-30, ESSLLI 2006.\n\n3) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), //Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006),// p. 11-24, University of Liverpool, 2006.\n\n4) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], in //Proceedings of TARKXI//, Brussels 2007. Collection in ACM DL.\n \n5) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], in Johan van Benthem, Shier Ju and Frank Veltman (eds.), //A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007//,College Publications, Computing Series, Vol 8, London 2007. \n\n6) A. 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\n7) A. Baltag and S. Smets, [[“The Logic of Conditional Doxastic Actions”|http://www.vub.ac.be/CLWF/SS/action.pdf]], In R. van Rooij and K. Apt (eds.), //New Perspectives on Games and Interaction//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_4]], Amsterdam University Press, 2008.\n\n8) A. Baltag and S. Smets, "Probabilistic Dynamic Belief Revision", in //[[Synthese|http://www.springerlink.com/content/l7765668w81u/?p=14e6a4266a2f42388105d60171cd03e9&pi=0]]//, Vol. 165, Nr 2, pp.179-202, 2008. \n\n9) 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 \n10) A. Baltag and S. Smets. "Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades". In: Proceedings of Theoretical Aspects of Rationality and Knowledge TARK 2009.\n \n11) A. Baltag and S. Smets. "Talking Your Way into Agreement: Belief Merge by Persuasive Communication". [[CEUR Workshop Proceedings|http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/]], Vol. 494,\nProceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009\n\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}

''CONTACT''\n\n*Mail Address 1: \n\nUniversity of Groningen\nFaculty of Mathematics and Natural Sciences,\nArtificial Intelligence\nPostbus 407\n9700 AK Groningen\nThe Netherlands\n\n*Mail Address 2:\n\nUniversity of Groningen\nFaculty of Philosophy\nOude Boteringestraat 52\n9712 GL Groningen\nThe Netherlands\n\n*E-mail : \nsonsmets at gmail.com\n\nNOTE : Any emails sent to "S.J.L.Smets at rug.nl" between 9 and 23 september 2009 did not arrive (due to server problems at the university), I'm sorry about this. I can be reached via "sonsmets at gmail.com" from now on.

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

[[HOME]]

\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

!Dummy Tiddler1\n\nThis is the first tiddler of your dummy presentation\n\nEdit the PresentationIndex tiddler to change the contents and order of the presentation.\n

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

''Welcome to my papers on Dynamic Quantum Logic''\n\n\n1) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], in the proceedings of IQSA 2004,// International Journal of Theoretical Physics// 44(12): p.2267-2282, 2005.\n\n2) A. Baltag and S. Smets: [["The Logic of Quantum Programs"|http://www.mathstat.dal.ca/%7Eselinger/qpl2004/proceedings.html]], in the proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), //TUCS General Publication// No 33, Turku Center for Computer Science, 2004. (also on [[PhilSci-arXiv|http://philsci-archive.pitt.edu/archive/00001799/]])\n\n3) A. Baltag and S. Smets: [["What can Logic Learn from Quantum Mechanics?"|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]] , presented at the ECAP 2005 workshop on quantum information in Lisbon, Portugal, 2005.\n\n4) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in //Mathematical Structures in Computer Science,// Special Issue on Quantum Programming Languages, 16(3): p.491-525, 2006. (This is a revision/extension of "The Logic of Quantum Programs").\n\n5) A. Baltag and S. Smets, [["A Dynamic - Logical Perspective on Quantum Behavior"|http://www.vub.ac.be/CLWF/SS/SL.pdf]], in I. Douven and L. Horsten (eds.) // Studia Logica //, special issue on Applied Logic in the Philosophy of Science, vol 89, pp.185-209, 2008.\n\n6) 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\n7) 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.

''Upcoming Events:''\n\n[[LMPS 2011 France (19-26 July 2011)|http://www.clmps2011.org]]\n\n[[AAMAS 2010 Canada (May 10-14 2010)|http://www.cse.yorku.ca/AAMAS2010/]]\n\n[[LOFT 2010 France (21-23 July 2010)|http://www.econ.ucdavis.edu/faculty/bonanno/loft9.html]]\n\n[[LORI 2009|http://www.loriweb.org/lori2009/]]\n\n[[FAMAS 2009 Italy (7-9 September 2009)|http://agents009.di.unito.it/mallow_programme.html]]\n\n[[Workshop on EPISTEMOLOGY, CONTEXT, FORMALISM France (November 12-14 2009)|http://poincare.univ-nancy2.fr/Activites/?contentId=5657&languageId=1]]\n\n[[Progic 2009 Groningen (17-19 September 2009)|http://www.philos.rug.nl/progic2009/]]\n\n[[Workshop on Phil of Probability UK (24-25 September 2009)|http://bit.ly/probability-conference]]\n\n[[LICS 2009 (11-14 August 2009)|http://www2.informatik.hu-berlin.de/lics/lics09/]]\n\n[[ESSLLI-2009 (20-31 July 2009)|http://esslli2009.labri.fr/]]\n\n[[TARK 2009 (6-8 July 2009)|http://ai.stanford.edu/~epacuit/tark09/]]\n\n[[WOLLIC-2009 (21-24 June 2009)|http://wollic.org/wollic2009/]]\n\n\n\n\n\n''Some Past Events:''\n\nStudia Logica Conference in Brussels: [[Trends in Logic VI (11-12 December 2008)|http://www.vub.ac.be/CLWF/TrendsVI]] \n\nWorkshop: [[SLI-2003 (31 March 2003)|http://www.vub.ac.be/CLWF/SLI-2003/]] \n\nWorkshop: [[PML-2004 (5-7 February 2004)|http://www.vub.ac.be/CLWF/PML-2004/]] \n\n[[ESSLLI 2006|http://esslli2006.lcc.uma.es/give-page.php]]\n[[ECAP05 workshop on quantum information: August 29-30|http://www.uni-konstanz.de/ppm/events/LisbonPhysics2005/]]\n[[Quantum Information, Computation and Logic: Exploring New Connections: July 17 - 22|http://www.perimeterinstitute.ca/]]\n[[Current Research in Operational Quantum Logic II|http://www.vub.ac.be/CLEA/Bob/WS99.html]]\n[[Current Research in Operational Quantum Logic III (+PSSL 72), Brussels, 2000|http://www.vub.ac.be/CLEA/Bob/WS2000.html]]\n[[11th Intern. Congress of Logic, Methodology and Philosophy of Science|http://www.uj.edu.pl/IRO/NEWSLET/IRC10/LMPS99-P.html]]\n[[[IQSA2001, Cesena, Italy, 2001|http://www.vub.ac.be/CLEA/workshop/IQSA-V/]]\n[[Logic Colloquium LC2001, Vienna, 2001|http://staff.cs.utu.fi/staff/saeed/lc01.html]]\n[[IQSA2002, Vienna, July 1-7, 2002|http://tph.tuwien.ac.at/qs/]]\n[[Perspectives on Mathematical Practices, Brussels, 2002|http://www.vub.ac.be/CLWF/PMP2002/]]\n[[VlaPoLo7, Brussels, 2003|http://www.vub.ac.be/CLWF/VlaPoLo7/]]\n[[SLI-2003, Brussels, 2003|http://www.vub.ac.be/CLWF/SLI-2003/]]\n[[12th Intern. Congress of Logic, Methodology and Philosophy of Science|http://www.uniovi.es/Congresos/2003/DLMPS/]]\n[[LC2003, Helsinki, 2003|http://www.helsinki.fi/lc2003/]]\n[[50 years Studia Logica, Poland, Jablonna, 2003|http://www.philog.ruc.dk/50yrs/conference1.html]]\n[[PML-2004, Brussels, 2004|http://www.vub.ac.be/CLWF/PML-2004/]]\n[[IQSA2004,Denver,July, 2004|http://qs2004.math.du.edu/]]\n[[Wollic 2007|http://www.cin.ufpe.br/%7Ewollic/wollic2007/]]\n[[Foundations of Physics Meeting, 2007|http://quantum.leeds.ac.uk/~sonwm/fop07/]]\n[[LMPS 2007 Beijing|http://www.clmps2007.org/]]\n[[Utrecht Symposium on Logic and Physics 2008|http://symposium.tiddlyspot.com/#WELCOME]]

1) 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.), //(pre)-proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008//, pp.58-73, 2008. Available on-line at http://ai.stanford.edu/~epacuit/LaII/proceedings.html\n\n2) Alexandru Baltag, Sonja Smets and Jonathan Alexander Zvesper. Keep ‘hoping’ for rationality: a solution to the backward induction paradox. In: Synthese. Volume 169, Number 2 / July, pp. 301-333, 2009\n

''Welcome to my homepage'' \n\n@@background-color:#ffff66;My Home Base@@:\nIn January 2009 I started working as a [[Rosalind Franklin Fellow|http://www.rug.nl/fwn/onderzoek/rff/index]] at the [[University of Groningen|http://www.rug.nl]]. I am affiliated to the [[Multi-Agent Systems Group|http://www.ai.rug.nl/alice/mas/MAS/Multi-Agent_Systems_Group_-_Main.html]], part of [[ALLICE|http://www.rug.nl/ai/onderzoek/index]] in the Faculty of Mathematics and Natural Sciences, and I'm affiliated to the [[Departement of Theoretical Philosophy|http://www.rug.nl/filosofie/faculteit/vakgroepen/tf/index]] in the Faculty of Philosophy. \n\nTill December 2008 I have been a Post Doc researcher at [[Flanders' Fund for Scientific Research|http://www.fwo.be]] and a part-time lecturer at the [[Vrije Universiteit Brussel|http://www.vub.ac.be]] where I had my office at the department of philosophy. \n\nFrom September till the end of December 2008, I had an office at the [[VLAC|(http://www.kvab.be/Vlac.aspx)]], The Flemish Academic Center for Science and the Arts at the Royal Academy in Brussels where I worked on a Cluster Project together with Prof. G. Sandu. \n\nI'm a member of the Center for Logic and Philosophy of Science ([[CLWF|http://www.vub.ac.be/CLWF]]) in Brussels and of the Oxford University Research Group on the Philosophy of Information ([[IEG|http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/]]). Further, I'm affiliated to the Research Group in Philosophy of Information ([[GPI|http://philosophyofinformation.net/centre/gpi/]]) at the University of Hertfordshire, to the group in Brussels working on Foundations of Exact Sciences ([[FUND|http://www.vub.ac.be/IQSA/FUND]]) and the Center Leo Apostel ([[CLEA|http://www.vub.ac.be/CLEA]]) in Brussels.\n\n* I am associate editor of the Springer-journal [[Foundations of Science|http://www.vub.ac.be/CLEA/FOS/]] \n* I am a member of the editorial board of [[Logique et Analyse|http://www.vub.ac.be/CLWF/L&A/]].\n* I am part of the council of the [[International Quantum Structures Association|http://www.vub.ac.be/CLEA/IQSA]] (serving IQSA till 2010). \n* I am Area Editor for [[Synthese|http://www.springerlink.com/content/103001/]] in the area of physics. \n* I am Associate editor for [[Studia Logica|http://www.studialogica.org/]] for 2010-2012\n\n@@background-color:#ffff66;Work@@: Click on [[RESEARCH]]\n\n[[Pictures]]\n\n@@background-color:#ffff66;STUDIA LOGICA INTERNATIONAL CONFERENCE@@: We recently organized the Trends in Logic, Studia Logica Conference in Brussels (11 + 12 December) on the theme: Logic and the Foundations of Physics: Space, Time and Quanta. http://www.vub.ac.be/CLWF/TrendsVI/ .

//{{{\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

''Information about Courses and Lectures''\n\n0) ESSLLI 09 Course on "[[Dynamic Logics for Interactive Belief Revision|http://alexandru.tiddlyspot.com]]" by A. Baltag and S. Smets, Bordeaux, France, 2009.\n\n1) ESSLLI course "[[Logics for Quantum Information Flow|http://www.vub.ac.be/CLWF/SS/ESSLLI.html]]" by A. Baltag and S. Smets, Malaga, Spain 2006.\n\n2) Information about my course at the Vrije Universiteit Brussel:\n"Seminar on Logic and Computer Science" (30h) (in Dutch/English)\n\nThis Seminar is directed towards master students in computer science, though also other students who have a good background in classical propositional and predicate logic (after an undergrad classical logic course covering syntax, semantics and a bit of prooftheory) are welcome. This basic background in logic is a necessary condition to enrol for this class! The specific topic changes every year but now we always touch upon some temporal, modal, epistemic and dynamic logics.\n\nMaterial:\n2001-2002: J. Van Benthem's A Manual of Intensional Logic, CSLI (1988) and D. Harel, D. Kozen and J. Tiuryn's Dynamic Logic, MIT (2000).\n\n2002-2003: Situation Theory, K. Devlin's Logic and Information, Cambridge University Press, New York, NY, 1991.\n\n2003-2004: R. Fagin, J. Y. Halpern, Y. Moses and M. Y. Vardi's Reasoning About Knowledge, MIT Press, 1995 and A. Baltag, LS Moss's paper on Logics for Epistemic Programs, Synthese 139, 2004\n\n2004-2005: M.Huth and M.D. Ryan's Logic in Computer Science: Modelling and reasoning about systems. A. Baltag, LS Moss's paper on Logics for Epistemic Programs, Synthese 139, 2004\n\n2006-2007: M.Huth and M.D. Ryan's Logic in Computer Science: Modelling and reasoning about systems. A. Baltag, LS Moss's paper on Logics for Epistemic Programs, Synthese 139, 2004

''Some Interesting Links''\n\n@@background-color:#ffff66;New@@: [[Logic and Rational Interaction|http://www.illc.uva.nl/wordpress/]], a new webportal online\n\nResearch-groups at the VUB:\n* [[CLWF|http://www.vub.ac.be/CLWF]], Center for Logic and Philosophy of Science\n* [[FUND|http://www.vub.ac.be/CLEA/FUND/]], Foundations of Exact Sciences\n* [[CLEA|http://www.vub.ac.be/CLEA/]], Center Leo Apostel\n\nThe Oxford University Research Group on the Philosophy of Information: [[IEG|http://web.comlab.ox.ac.uk/oucl/research/areas/ieg/]] \n\nThe Research Group in Philosophy of Information at the University of Hertfordshire:\n[[GPI|http://philosophyofinformation.net/centre/gpi/]]\n\nDistant and Nearby Collaborations:\n* [[Haroun Amira|http://mapo.vub.ac.be/HarounAmira.html]] at MAPO, VUB\n* [[Alexandru Baltag|http://alexandru.tiddlyspot.com]] at COMLAB, Oxford\n* [[Bob Coecke|http://www.vub.ac.be/CLEA/Bob/Coecke.html]] at COMLAB, Oxford\n* [[Erik Myin|http://www.vub.ac.be/CLWF/EM/]] at CLWF, VUB & Univ. Antwerpen\n\nAssociations & Ar Xiv's:\n* [[International Quantum Structures Association|http://pespmc1.vub.ac.be/IQSA/]]\n* [[Association for the Foundations of Science, Language and Cognition|http://www.vub.ac.be/CLEA/AFOS/]]\n* [[Association for Symbolic Logic|http://www.aslonline.org/index.htm]]\n* [[PhilSci Archive|http://philsci-archive.pitt.edu/]]\n* [[arXiv.org|http://arxiv.org/]] at Cornell Univ.\n* [[cogprints-arXiv|http://cogprints.org/view-phil.html]] (UK)\n* [[Quantum comp. arXiv|http://kh.bu.edu/qcl/]]\n* [[BBS Open Archive|http://www.bbsonline.org/]]\n\nSome Quantum Information Theory:\n* [[CQC at Cambridge|http://qubit.damtp.cam.ac.uk/]]\n* [[QUOXIC meetings|http://www.qunat.org/quoxic/]]\n* [[Qubit.org|http://www.qubit.org/]]\n* [[Quiprocone news|http://www.quiprocone.org/news.htm]]\n* [[Qubit news|http://quantum.fis.ucm.es/]]

/***\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

\nA) Co-editor of Books: \n\n1) D. Aerts, S. Gutwirth, S. Smets, L. Van Langenhove (eds.): Science, Technology and Social Change, the orange book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n\n2) G. Cornelis, S. Smets, J.P. Van Bendegem (eds.): Metadebates on Science, the blue book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n\nB) Publications in Journals/books:\n\n3) S. Smets, S. Gutwirth and L. Van Langenhove: Editorial introduction: " Blurring the Colors of "Einstein meets Magritte" ", in Science, Technology and Social Change , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.\n\n4) D. Aerts, B. Coecke and S. Smets: " On the Origin of Probabilities in Quantum Mechanics: Creative and Contextual Aspects ", in Metadebates on Science , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.\n\n5) D. Aerts, J. Broekaert and S. Smets: [["The Liar Paradox in a Quantum Mechanical Perspective"|http://xxx.lanl.gov/abs/quant-ph/0007047]], Foundations of Science , 4, No. 2, p.115-132, 1999. (quant-ph/0007047)\n\n6) D. Aerts, J. Broekaert and S. Smets: "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", Foundations of Science , 3, No. 2, p.313-340, 1999.\n\n7) D. Aerts, J. Broekaert and S. Smets: [[" A Quantum Structure Description of the Liar-paradox "|http://xxx.lanl.gov/abs/quant-ph/0106131]], International Journal of Theoretical Physics , 38, No. 12, p. 3231-3239, 2000. (quant-ph/0106131)\n\n8) B. Coecke and S. Smets: [["A Logical Description for Perfect Measurements"|http://xxx.lanl.gov/abs/quant-ph/0008017]], International Journal of Theoretical Physics , 39, p.519-599, 2000. (quant-ph/0008017)\n\n9) S. Smets: " The Epistemology Behind Operational Quantum Logic ", workingpaper.\n\n10) B. Coecke, D.J. Moore and S. Smets: " Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples ", in D. Gabbay, S. Rahman, J.M. Torres and J.P. Van Bendegem (eds.), Logic, Epistemology and the Unity of Science , 2004. (math.LO/0106059)\n\n11) B. Coecke and S. Smets: [["The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes"|http://xxx.lanl.gov/abs/quant-ph/0111076]], submitted for the proceedings of the 5th International Quantum Structures Association Meeting in International Journal of Theoretical Physics. (quant-ph/0111076) \n\n12) S. Smets: " On Causation and a Counterfactual in Quantum Logic: The Sasaki Hook ", Logique et Analyse, 44, 173-175, p. 307-325, 2001. The proceedings of the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications to the Philosophy of Science. ([[PITT-PHIL-SCI00000619|http://philsci-archive.pitt.edu/archive/00000619/]])\n\n13) S. Smets: [["In Defense of Operational Quantum Logic"|http://philsci-archive.pitt.edu/archive/00000541/]], Logic and Logical Philosophy, 11, p.191-212, 2003. Proceedings of Vla Po Lo. ([[PITT-PHIL-SCI00000541|http://philsci-archive.pitt.edu/archive/00000541/]])\n\n14) S. Smets: " From Intuitionistic Logic to Dynamic Operational Quantum Logic", in Essays in Logic and Ontology - dedicated to Jerzy Perzanowski , Poznan Studies in the Philosophy of the Sciences and the Humanities, in Press.\n\n15) S. Smets: [["The Logic of Physical Properties in Static and Dynamic Perspective"|http://www.vub.ac.be/CLEA/sonja/Ph.D.-SONJA.ps]], Ph D Thesis, Vrije Universiteit Brussel, 9th May 2001.\n\n16) E. Myin and S. Smets: " Could Dancing be Coupled Oscillation? - The Interactive Approach to Linguistic Communication and Dynamical Systems Theory ", commentary on S. Shanker and B.J. King "The Emergence of a New Paradigm in Ape Language Research", Behavioral and Brain Sciences, 25, No 5, p.634-635, 2002.\n\n17) A. Baltag and S. Smets: [[" The Logic of Quantum Programs "|http://www.mathstat.dal.ca/%7Eselinger/qpl2004/proceedings.html]], proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004), TUCS General Publication No 33, Turku Center for Computer Science, 2004. (also on [[PhilSci-arXiv|http://philsci-archive.pitt.edu/archive/00001799/]])\n\n18) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], International Journal of Theoretical Physics, 44(12): p.2267-2282,2005.\n\n19) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in Mathematical Structures in Computer Science, special issue on Quantum Programming Languages, 16(3): p.491-525,2006.\n\n20) A. Baltag and S. Smets: "What can Logic Learn from Quantum Mechanics?" preprint.\n\n21) S. Smets: [["The Modes of Physical Properties in the Logical Foundations of Physics"|http://www.logika.umk.pl/llp/141/sonja.pdf]], Logic and Logical Philosophy, 14, 37-53, 2005. \n\n22) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], Electronic Notes in Theoretical Computer Science, Proceedings of WOLLIC06, vol 165, pp. 5-21, 2006.\n\n23) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, p.13-30, ESSLLI2006.\n\n24) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT06), p. 11-24, University of Liverpool.\n\n25) A. Baltag and S. Smets, [["A Qualitative Theory of Dynamic Interactive Belief Revision"|http://www.vub.ac.be/CLWF/SS/TLG.pdf]], submitted for publication to: G. Bonanno, W. van der Hoek and M. Wooldridge (eds.), Texts in Logic and Games, Amsterdam University Press.\n\n26) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], submitted for presentation at TARKXI, Brussels 2007.xt for 'all my published papers'\n\n27) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], submitted for publication to Johan van Benthem, Shier Ju and Frank Veltman (eds.). College Publications, London 2007.\n\n\n

''Overview of my publications''\n\n''A) Co-editor of Books:'' \n \n 1) D. Aerts, S. Gutwirth, S. Smets, L. Van Langenhove (eds.): //Science, Technology and Social Change, the orange book of Einstein meets Magritte// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.\n \n 2) G. Cornelis, S. Smets, J.P. Van Bendegem (eds.): //Metadebates on Science, the blue book of Einstein meets Magritte// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999. \n \n''B) Publications in Journals/books:'' \n \n 3) S. Smets, S. Gutwirth and L. Van Langenhove: Editorial introduction: " Blurring the Colors of "Einstein meets Magritte" ", in //Science, Technology and Social Change //, Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999. \n \n 4) D. Aerts, B. Coecke and S. Smets: " On the Origin of Probabilities in Quantum Mechanics: Creative and Contextual Aspects ", in //Metadebates on Science// , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999. \n \n 5) D. Aerts, J. Broekaert and S. Smets: [["The Liar-Paradox in a Quantum Mechanical Perspective"|http://xxx.lanl.gov/abs/quant-ph/0007047]], //Foundations of Science// , ''4'', No. 2, p.115-132, 1999. (quant-ph/0007047) \n \n 6) D. Aerts, J. Broekaert and S. Smets: "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", // Foundations of Science //, ''3'', No. 2, p.313-340, 1999. \n \n 7) D. Aerts, J. Broekaert and S. Smets: [["A Quantum Structure Description of the Liar-paradox"|http://xxx.lanl.gov/abs/quant-ph/0106131]], // International Journal of Theoretical Physics // , ''38'', No. 12, p. 3231-3239, 2000. (quant-ph/0106131) \n \n 8) B. Coecke and S. Smets: [["A Logical Description for Perfect Measurements"|http://xxx.lanl.gov/abs/quant-ph/0008017]], // International Journal of Theoretical Physics //, ''39'', p.519-599, 2000. (quant-ph/0008017) \n \n 9) B. Coecke, D.J. Moore and S. Smets: [["Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples"|http://xxx.lanl.gov/abs/math.LO/0106059]], in D. Gabbay, S. Rahman, J.M. Torres and J.P. Van Bendegem (eds.), // Logic, Epistemology and the Unity of Science // , 2004. (math.LO/0106059) \n \n 10) B. Coecke and S. Smets: [["The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes"|http://xxx.lanl.gov/abs/quant-ph/0111076]], in the proceedings of the 5th International Quantum Structures Association Meeting, in // International Journal of Theoretical Physics// ''43'', pp. 1705-1736, 2004 (quant-ph/0111076) \n \n 11) S. Smets: [["On Causation and a Counterfactual in Quantum Logic: The Sasaki Hook"|http://philsci-archive.pitt.edu/archive/00000619/]], // Logique et Analyse //, ''44'', 173-175, p. 307-325, 2001. The proceedings of the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications to the Philosophy of Science. (PITT PHIL SCI 00000619) \n \n 12) S. Smets: [["In Defense of Operational Quantum Logic"|http://philsci-archive.pitt.edu/archive/00000541/]], // Logic and Logical Philosophy //, ''11'', p.191-212, 2003. Proceedings of Vla Po Lo. (PITT - PHIL - SCI 00000541) \n \n 13) S. Smets: " From Intuitionistic Logic to Dynamic Operational Quantum Logic ", in // Essays in Logic and Ontology - dedicated to Jerzy Perzanowski , [[Poznan Studies in the Philosophy of the Sciences and the Humanities|http://poznanstudies.swps.edu.pl/vols/ps91.html]] //. ''91'', 2006.\n \n 14) S. Smets: [["The Logic of Physical Properties in Static and Dynamic Perspective"|http://www.vub.ac.be/CLWF/SS/PhD.pdf]], Ph.D Thesis, Vrije Universiteit Brussel, 9th May 2001.\n \n 15) E. Myin and S. Smets: " Could Dancing be Coupled Oscillation? - The Interactive Approach to Linguistic Communication and Dynamical Systems Theory ", commentary on S. Shanker and B.J. King "The Emergence of a New Paradigm in Ape Language Research", // Behavioral and Brain Sciences//, ''25'', No 5, p.634-635, 2002.\n \n 16) A. Baltag and S. Smets: [["The Logic of Quantum Programs"|http://www.mathstat.dal.ca/~selinger/qpl2004/proceedings.html]], proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), // TUCS General Publication // No ''33'', Turku Center for Computer Science, 2004. (also on Phil Sci arXiv)\n \n 17) A. Baltag and S. Smets: [["Complete Axiomatizations for Quantum Actions"|http://www.vub.ac.be/CLWF/SS/IQSA.pdf]], // International Journal of Theoretical Physics //, ''44'' (12): p.2267-2282,2005.\n \n 18) A. Baltag and S. Smets: [["LQP: The Dynamic Logic of Quantum Information"|http://www.vub.ac.be/CLWF/SS/LQP.pdf]], in // Mathematical Structures in Computer Science //, special issue on Quantum Programming Languages, ''16'' (3): p.491-525,2006.\n \n 19) A. Baltag and S. Smets: [["What can Logic Learn from Quantum Mechanics?"|http://www.vub.ac.be/CLWF/SS/ECAP.pdf]] workingpaper, presented at ECAP 2005, Fifth European Congress for Analytic Philosophy, Lisbon.\n \n 20) S. Smets: "The Modes of Physical Properties in the Logical Foundations of Physics", // Logic and Logical Philosophy //, ''14'', 37-53, 2005. \n\n 21) A. Baltag and S. Smets, [["Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/wollic.pdf]], in G. Mints and R. de Queiroz (eds.), //Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science//, ''165'', pp. 5-21, 2006. \n \n 22) A. Baltag and S. Smets, [["The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision"|http://www.vub.ac.be/CLWF/SS/rak.pdf]], in S. Artemov and R. Parikh (eds.), //Proceedings of the Workshop on Rationality and Knowledge//, p.13-30, ESSLLI 2006.\n \n 23) A. Baltag and S. Smets, [["Dynamic Belief Revision over Multi-Agent Plausibility Models"|http://www.vub.ac.be/CLWF/SS/loft.pdf]], in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), //Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006),// p. 11-24, University of Liverpool, 2006.\n \n 24) A. Baltag and S. Smets, [["From Conditional Probability to the Logic of Doxastic Actions"|http://www.vub.ac.be/CLWF/SS/TARK.pdf]], in //Proceedings of TARKXI//, Brussels 2007. Electronic Collection in ACM DL.\n \n 25) A. Baltag and S. Smets, [["Probabilistic Dynamic Belief Revision"|http://www.vub.ac.be/CLWF/SS/LORI.pdf]], in Johan van Benthem, Shier Ju and Frank Veltman (eds.), //A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007//, //College Publications //, Computing Series, Vol ''8'', London 2007. \n\n 26) A. Baltag and S. Smets, [["A Dynamic - Logical Perspective on Quantum Behavior"|http://www.vub.ac.be/CLWF/SS/SL.pdf]], in I. Douven and L. Horsten (eds.) // Studia Logica //, special issue on Applied Logic in the Philosophy of Science, to appear.\n\n 27) A. 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\n 28) A. Baltag and S. Smets, [[“The Logic of Conditional Doxastic Actions”|http://www.vub.ac.be/CLWF/SS/action.pdf]], To appear in R. van Rooij and K. Apt (eds.), //New Perspectives on Games and Interaction//, [[Texts in Logic and Games|http://www.illc.uva.nl/TLG/index.php?page=10_1_3_4]], Amsterdam University Press.\n\n 29) A. Baltag and S. Smets, “Probabilistic Dynamic Belief Revision”, in //[[Synthese|http://www.springerlink.com/content/l7765668w81u/?p=14e6a4266a2f42388105d60171cd03e9&pi=0]]//, Vol. 165, Nr 2, pp.179-202, 2008. \n\n 30) 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.), //(pre)-proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008//, pp.58-73, 2008. Available on-line at http://ai.stanford.edu/~epacuit/LaII/proceedings.html.\n

__[[HOME]]__\n\n__[[PUBLICATIONS]]__\n\n__[[TALKS]]__\n\n__[[LECTURES]]__\n\n__[[EVENTS]]__\n\n__[[LINKS]]__\n\n__[[CONTACT]]__\n\n<<author>>\n

// 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");

''Welcome to my publications page''\n\n\n* Papers on [[Dynamic Quantum Logic]]\n\n* Papers on [[Belief Revision and Belief Update]]\n\n* Papers on [[Games and Rationality]]\n\n* [[List of all publications]]

\n<div id="header" class='header'>\n <div class='gradient' macro='gradient vert #ffff99 #ffcc33 #8B7355 #330000'>\n <div class='titleLine' >\n <span class='siteTitle' refresh='content' tiddler='SiteTitle'></span> \n <span class='siteSubtitle' refresh='content' tiddler='SiteSubtitle'></span>\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>

The tiddler 'PhD SCHOLARSHIP' doesn't yet exist. Double-click to create it

[img[http://www.vub.ac.be/CLEA/sonja/sonja.jpg]]\n\n[[My talk at the IQSA04 conference in Denver|http://www.vub.ac.be/CLEA/sonja/Denver.jpg]]\n

HOME

//{{{\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//}}}

\n@@background-color:#ffff66;Research@@:\nMy main research topic is (operational) quantum logic, and it locates itself (at least for me) at the interplay between logic, philosophy, quantum physics and computer science. My research interests cover: quantum logic, dynamic logic, epistemic logic, linear logic (and other logics of action); belief revision and belief update; certain topics in general philosophy of science (let me mention critical scientific realism); formal epistemology (formalizing various notions of (weak) knowledge and belief), philosophical logic (semantic paradoxes); philosophy of quantum physics (aspects of non-locality, entanglement, etc.), philosophy of information; and last but not least: quantum information theory.\n\nIn my recent joint work with Alexandru Baltag we are reformatting ''quantum logic'' completely. Have a look at our publications on ''Quantum PDL'': we provide a new setting and link (traditional) quantum logic to the needs of quantum computation and quantum information theory.\n\nNext, have a look at my joint work with Alexandru Baltag on ''belief revision'' and ''belief update''. We have several publications on this topic. In particular, we provide qualitative models (Kripke style) for (conditional) belief revision and update.\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//}}}

Home Page

Sonja Smets \n

\n/***\nPlace your custom CSS here\n.floatleft{float:left;}\n.floatright{float:right;padding:5px}\n.floatcenter{float:center;}\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!Header rules\n***/\n/*{{{*/\n.titleLine{\n margin: 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;}

''LIST OF TALKS''\n\nUpcoming Presentations (under construction)\n\n\nPresentations given at "international" conferences/workshops: \n1) S. Smets : "The Brussels Geneva Approaches of Classical and Quantum Physics", presented at the International Colloquium: "Philosophy of Quantum Mechanics", Brussels, Belgium, November 1996.\n2) D. Aerts, J. Broekaert and S. Smets : "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", presented at the First World Congress on Paraconsistency, Ghent, Belgium, July 1997.\n3) S. Smets : "Towards the Construction of an Interactive Logic", presented at the First Summer School for Theory of Knowledge, Warsaw Madralin, Poland, August 1997.\n4) D. Aerts, J. Broekaert and S. Smets : "A Quantum Structure Description of the Liar - Paradox", presented at the International Quantum Structures Associationís Conference "Atlanta '97", Atlanta, USA, October 1997.\n5) S. Smets : "Linear Logic: Analyzing its Syntax and Formal Semantics", presented at the workshop Current Research in Operational Quantum Logic I, Brussels, Belgium, June 1998.\n6) D. Aerts, J. Broekaert and S. Smets: "The Liar - Paradox in a Quantum Mechanical Perspective", presented at the Twentieth World Congress of Philosophy, Boston, USA, August 1998.\n7) D. Aerts, J. Broekaert and S. Smets : "Integrating Worldviews: Modeling the Layered Structure of Reality", presented at the Third International Conference on Emergence, ECHO III, Helsinki, Finland, August 1998.\n8) S. Smets: "Analysing Interactive Aspects of Quantal Proposition Systems and Linear Logic", presented at the 4th International Quantum Structures Association Meeting, Liptovski - Jan, Slovakia, September 1998.\n9) S. Smets : "Combining Operational Quantum Logic and Linear Logic for Propagating Physical Systems", presented at the 11th International Congress of Logic, Methodology and Philosophy of Science, Cracow, Poland, August 1999.\n10) S. Smets : "Reflections on OQL", presented at the workshop Current Research in Operational Quantum Logic III, Brussels, Belgium, April 2000.\n11) S. Smets: "Reflections on Dynamic Operational Quantum Logic", presented at the 3rd Flemish - Polish Workshop on the Ontological Foundations of Paraconsistency, Brussels, Belgium, October 2000.\n12) S. Smets: "The Logic of Physical Properties in Static and Dynamic Perspective", invited lecture at the University of Florence, Italy, March 2001.\n13) S. Smets: "The Logic of Propagating Properties", presented at the 5th International Quantum Structures Association Meeting, Cesena, Italy, March 2001.\n14) S. Smets: "Operational Quantum Logic in Dynamic Perspective", presented at the Logic Colloquium 2001, Vienna, Austria, August 2001. (abstract online: [[ps|http://www.logic.at/LC2001/files/smets.sonja.ps]]/[[pdf|http://www.logic.at/LC2001/files/smets.sonja.pdf]]/[[Tex|http://www.logic.at/LC2001/files/smets.sonja.tex]] )\n15) S. Smets: "The Problem of Implication in Quantum Logic", presented at the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications, International Workshop, Zielona Gora, Poland, November, 2001.\n16) S. Smets: "What has Operational Quantum Logic to do with Linear Logic?", presented at the Logic & Interaction Week 3, Marseille, France, February 2002.\n17) S. Smets: "Logique Quantique Opérationelle: Introduction et Développement Récents", invited talk, 17 May 2002, Paris 7.\n18) S. Smets: "On Causation and a Counterfactual in Operational Quantum Logic: The Sasaki Hook", IQSA 2002. [[abstract|http://lux56.cmt.tuwien.ac.at/qs/soa/r.cgi?ID=42]]\n19) K. Verelst, S. Smets, H. Amira: "On Experimental Observations and Physical Properties: Aspects of the Measurement Process in the Context of Operational Quantum Logic", IQSA 2002. [[abstract|http://lux56.cmt.tuwien.ac.at/qs/soq/r.cgi?ID=25]]\n20) B. Coecke and S. Smets: "Interpreting Orthomodularity Dynamically", poster presented at IQSA 2002.\n21) S. Smets: "Why is the Sasaki Hook not a Static Implication within Quantum Logic?", presented at the Flemish - Polish Workshop on Adaptive and Erotetic Logics, Vla Po Lo 6, International Workshop, Gent, 17 - 19 October, 2002.\n22) H. Amira and S. Smets: "From Operationalism to Mathematical Formalism: Mathematical Metascience in Action", presented at PMP 2002, VUB, 24-26 October, 2002.\n23) S. Smets: "On Intuitionistic Logic with a Quantum Modal Operator", presented at "dag van de jonge onderzoekers", workshop, Leuven, 4 Feb. 2003\n24) S. Smets: "Is Quantum Logic a Logic ?", invited talk at "Séminaire interuniversitaire de logique mathématique", ULB, 6 March 2003.\n25) S. Smets: "On Quantum Modalitiy", presented at [[SLI - 2003|http://www.vub.ac.be/CLWF/SLI-2003]], VUB, 31 March 2003.\n26) S. Smets: "Classical reasoning about quantum phenomena", invited talk at "Seminarie Centrum Leo Apostel", VUB, 22 April 2003.\n27) S. Smets: "Quantum Modality for Superpositions", 9 May 2003: [[VLA PO LO 7|http://www.vub.ac.be/CLWF/VlaPoLo7/]], VUB, Brussels.\n28) B. Van Kerkhove and S. Smets: "SWOT s of Category Theory in the Foundations of Mathematics", 9 May 2003: [[VLA PO LO 7|http://www.vub.ac.be/CLWF/VlaPoLo7/]], VUB.\n29) S. Smets: "Varieties of Operationalism", Seminarie Leuven, 28 May 2003.\n30) S. Smets: "The Nature of Quantum Modality" presented at "International Conference in Quantum Theory: Reconsideration of Foundations 2", June 1 - 6, 2003, Sweden.\n31) S. Smets: "The Place of Quantum Logic in the Landscape of Non - Classical Logics", presented at the International Conference on Algebraic and Topological Methods in Non - Classical Logics, Tbilisi, Georgia, July 2003.\n32) S. Smets: "The Place of Quantum Logic in the Landscape of Non - Classical Logics", presented at the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, Spain, August 2003.\n33) S. Smets: "Classical Reasoning About Quantum Systems", presented at Logic Colloquium 2003, Helsinki, Finland, August 2003.\n34) S. Smets: "Part I: From Quantum Physics to Operational Quantum Logic" and "Part II: On the Logicality of Quantum Systems", both talks were presented at the Combined Colloquium, organized in Utrecht by J. Uffink of the Institute for History and Foundations of Science and by Lev Beklemishev of the Faculty of Philosophy, Utrecht, 14 November 2003. [[two abstracts|http://www.math.uu.nl/people/jvoosten/seminar0304.html]]\n35) S. Smets: "On the Incompleteness of Quantum Mechanics", presented at Vla Po Lo 8, Zielona Gora, Poland, November 2003.\n36) S. Smets: "Actions in the Logical Foundations of Physics", presented at Oxford, Lecture Theatre, Computing Laboratory, 28th November 2003.\n37) S. Smets: "Actions in the Logical Foundations of Physics and Quantum PDL", presented at the Seminar of the Department of Computer Science, King’s College, London, 3rd December 2003.\n38) S. Smets: "On Quantum Propositional Dynamic Logic", presented at [[PML - 2004|http://www.vub.ac.be/CLWF/PML-2004]], International Workshop, Free University of Brussels, 5th February 2004.\n39) A. Baltag and S. Smets: "A Dynamic Logic of Quantum Programming", presented by B. Coecke at the LICS - workshop: 2nd Interenational Workshop on Quantum Programming Languages, July 12-13, 2004, Finland.\n40) A. Batlag and S. Smets: "The Logic of Quantum Actions", IQSA 2004, Denver July 2004. [[abstract|http://emmy.nmsu.edu/IQSA]]\n41) S. Smets: "Dynamic Quantum Logic", Séminaire d'Informatique, Institut d'Informatique, Namur, 20 september, 14h, 2004. [[abstract|http://www.info.fundp.ac.be/~pys/DEA/sems04/sonja.html]]\n42) S. Smets: “On Quantum Propositional Dynamic Logics”, invited lecture aan het Instituto Superior Técnico Departamento de Matematica, Lisabon, Portugal, 12th November 2004.\n43) S. Smets: “On Quantum Transition Systems and Quantum Dynamic Algebras (Joint work with A. Baltag from Comlab, Oxford University)’ Presented at “Séminaire Interuniversitaire de logique Mathématique”, Université Libre de Bruxelles, 10th February 2005.\n44) S. Smets: “Classical versus quantum propositional dynamic logic”, Presented at the 1st World Congress and School on Universal Logic, Montreux, Zwitserland, 26 March 2005 – 3 April 2005.\n45) S. Smets: “Axiomatizations of Quantum Actions”, Presented at the Conference: Algebraic and Topological Methods in non-classical logics II, Barcelona, Spain, 15-18 June 2005.\n46) S. Smets, “The Logic of Quantum Actions: Reasoning about Change in Quantum Systems”, Research talk presented at Perimeter Institute for Theoretical Physics, Waterloo, Canada. 17-22 Juliy 2005.\n47) A. Baltag and S. Smets, “Quantum Dynamic Logic”, joint course, given at the Perimeter Institute for Theoretical Physics, Waterloo, Canada. 17-22 July 2005.\n48) A. Baltag and S. Smets, “What can Logic learn from Quantum Mechanics?” Fifth European Congress for Analytic Philosophy. And a special 2 - day workshop on Quantum Information – Epistemological and Logical Lessons, Lisbon, Portugal, 27-31 August 2005.\n49) S. Smets, “What is “Quantum” About Quantum Systems: Reasoning About Non - Classical Information Flow”, presented for the CPNSS Research Seminarie, LSE, London, 31 October 2005.\n50) S. Smets, “Reasoning About Non - Classical Information Flow”, presented for the Information Ethics Group (IEG) Meeting, Oxford University, 17 February 2006.\n51) S. Smets, “Towards a Logic of Quantum Entanglement”, presented during the First Mini - Conference on Philosophy, Probability and Physics, LSE, London, 5 November 2005.\n52) S. Smets, “Reasoning About Entanglement: The Logic of Quantum Actions in Compound Systems”, presented during the Q-day II: Mathematical Structures in Quantum Informatics, workshop at the Institut Henri Poincare, Paris, 8-9 December 2005.\n53) S. Smets, “Comparing Processes: from Simulations to Bisimulations”, presented at the Workshop on Models and Simulations, Paris, Juni 2006 (Organisatie: LSE in Londen en IHPST in Paris)\n54) A. Baltag and S. Smets, “Dynamic Belief Revision over Multi - Agent Plausibility Models”,, Presented at the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006), University of Liverpool, July 2006.\n55) A. Baltag and S. Smets, “Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision”, Presented at the WOLLIC 2006 conference in Stanford, July 2006.\n56) A. Baltag and S. Smets, “The Logic of Conditional Doxastic Actions: A Theory of Dynamic Multi - Agent Belief Revision”. Presented at the Workshop on Rationality and Knowledge, ESSLLI 2006, Augustus 2006, Malaga, Spain.\n57) S. Smets, "Dynamic Conditionals in Quantum Logic, Belief Revision and Logics for Communication: Towards a unifying setting for information change". Presented at the ESF Exploratory Workshop: Applied Logic in the Methodology of Science, Bristol 8-10 September 2006.\n58) S. Smets, "Reasoning about quantum information flow", Phil of Physics Seminar, Bristol, 21st of November 2006.\n59) S. Smets, Quantum Dynamic Propositional Logic, IHPST, Paris, 12 March 2007\n60) S. Smets, "A Qualitative Perspective on Quantum Information" talk at 15th UK and European Meeting on the Foundations of Physics, Leeds, 29-31 March 2007\n61) S. Smets, "Complete Axiomatizations of Quantum Actions", Quantum Reading Group, Nijmegen, 24 April, 2007\n62) S. Smets, "Dynamic Conditionals as a Unifying Setting for Information Change: From Quantum Logic to Belief Revision", IEG II workshop at Oxford e-Research Centre, 8 June 2007. \n63) S. Smets, "A Qualitative Approach to Dynamic Interactive Belief Revision". Working Day on Belief Revision, Lille, 15 June 2007.\n64) A. Baltag and S. Smets, "Dynamic Logic meets Knowledge and Belief", joint talk at Dynamic Logic Montreal, 21 June 2007.\n65) A. Baltag and S. Smets, "From conditional probability to the logic of doxastic actions" joint talk at TARK 07, Brussels, 27 June 2007.\n66) A. Baltag and S. Smets, "Probabilistic Dynamic Belief Revision", talk at LORI, Beijing, 7 August 2007.\n67) S. Smets, "Dynamic Conditionals as a Unifying Setting for Information Change: From Quantum Logic to Belief Revision", talk at LMPS, 13th International Congress of Logic Methodology and Philosophy of Science, Beijing, 14 August 2007.\n68) S. Smets, “Dynamic Epistemic Quantum Logic”, Logic Tea Seminar, ILLC, University of Amsterdam, 27 September 2007.\n69) S. Smets, “A Dynamic - Logical Perspective on Quantum Behavior”, Seminar on Logics for Dynamics of Information and Preferences, ILLC, University of Amsterdam, 17 October 2007.\n70) S. Smets, “Dynamic Logic meets Quantum Information” . Invited talk at the First Workshop on the Philosophy of Information and Logic, Oxford University, UK, 3-4 November 2007.\n71) S. Smets, “An Abstract Dynamic - Logical Setting for Quantum Mechanic” Mathematical Logic Seminar, ILLC, University of Amsterdam, 30 November 2007.\n72) S. Smets, “A Dynamic Understanding of Doxastic Attitudes”. Invited talk at the international workshop on Science in Flux, Sweden, Lund University, 7-8 December 2007.\n73) S. Smets, “A Dynamic Approach to Conditionals”. Invited talk at the international workshop “What if? So what!” on countefactual conditionals, Erasmus Universiteit Rotterdam, 17-20 December 2007.\n74) A. Baltag and S. Smets, "A Dynamic - Logical Perspective on Quantum Behavior", Invited talk at the international [[Symposium on Logic and Physics|http://symposium.tiddlyspot.com/]], Universiteit Utrecht, 11 January 2008.\n\n\n\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 = 'sonja';\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| 13/9/2007 16:54:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:28:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:32:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 17:44:42 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 17:49:18 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 18:24:30 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 19:59:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:4:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:8:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:8:32 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:11:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/9/2007 20:30:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 20:31:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/9/2007 20:31:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 15:48:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 15:52:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 15:56:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:14:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:34:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:41:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 16:55:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:1:9 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:1:30 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:39:27 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:41:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 17:41:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 17:55:26 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:3:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:12:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:20:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:21:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:22:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:22:47 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 18:23:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 14/9/2007 18:25:5 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 14/9/2007 18:25:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 14/9/2007 18:46:13 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:47:9 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:47:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:48:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:49:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 18:53:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 14/9/2007 19:1:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 17:41:24 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:47:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:49:38 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:54:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:56:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 17:57:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:1:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 18:20:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:39 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 18:23:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 18:34:8 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 21:18:56 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:20:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:23:37 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:29:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 21:52:25 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:10:23 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:12:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:19:3 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:19:14 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 30/10/2007 22:25:25 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:25:44 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:29:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:29:58 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 30/10/2007 22:30:17 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok | Ok |\n| 30/10/2007 22:34:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:34:34 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:52:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 30/10/2007 22:55:49 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 12/11/2007 14:5:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 4/12/2007 14:34:43 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 22/2/2008 17:4:45 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:7:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:10:54 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 17:12:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:16:41 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:23:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:54:0 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 18:56:19 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 22/2/2008 19:8:47 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:4:55 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:5:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:5:52 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:21:6 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:21:40 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:24:12 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:25:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:26:33 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:26:50 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 23/2/2008 0:27:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok | Ok |\n| 23/2/2008 0:29:39 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:34:59 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 23/2/2008 0:41:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2008 0:20:15 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 27/7/2008 0:22:7 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2008 0:39:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/11/2008 20:10:19 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 20:26:27 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 20:51:18 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/11/2008 20:56:2 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 3/11/2008 21:2:39 | sonja | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/1/2009 15:2:22 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 13/1/2009 15:7:28 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/1/2009 15:7:51 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 13/1/2009 15:11:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 18/2/2009 15:56:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 18/2/2009 16:4:29 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . | Ok |\n| 18/2/2009 16:8:53 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 16/3/2009 18:33:11 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 27/7/2009 3:42:35 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/8/2009 18:18:43 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 3/10/2009 17:52:16 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.tiddlyspot.com/store.cgi]] | . | index.html | . |\n| 2/11/2009 15:55:1 | YourName | [[/|http://sonja.tiddlyspot.com/#author:true]] | [[store.cgi|http://sonja.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

Last Updated on 18 February 2009