andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

January 28, 2013

my talks

Filed under: — Andrei Rodin @ 3:12 am

2017

Categorical Model Theory and the Semantic View of Theories 

Смирновские чтения 2017 (slides)

 

 

Знания и их представление в компьютерную эпоху:  истина, обоснование, интерпретация, ревизия. Пленарный доклад на конференции “Философия науки и техники в России: вызовы информационных технологий”, Вологда 2-3 июня 2017, организованная при участии РОИФН (abstract)(slides)(video - с 42й минуты и до конца записи)

 

Историческая эпистемология: за и против . Приглашенный доклад на заседании Ученого Совета Санкт-Петербургского филиала Института Истории Естествознания и Техники РАН   23 мая 2017 (презентация)(аудио)(видео)

 

Правила или аксиомы? О двух стилях аксиоматизации. Воркшоп Конструктивное Знание – 3: Формализация Теорий (ИФРАН 12 мая 2017), организованный в рамках проекта “Логические и эпистемологические аспекты конструктивного знания(аннотация)(слайды), видео доступно на странице воркшопа.

 

 

Models of HoTT and the Semantic View of Theories  WORKSHOP ON TYPE THEORY IN LJUBLJANA JAN 30 – FEB 2 2017 (abstract)(slides)

 

Categorical Model Theory and the Semantic View of Theories, Model Theory: Philosophy, Mathematics and Language, Munich Center for Mathematical Philosophy, 9-12 January 2017 (short abstract) (extended abstract)(slides)

 

2016

Знания и их представление в компьютерную эпоху, популярная леция-беседа совместно с Сергеем Ковалёвым (Москва, библиотека Достоевского, 8 декабря 2016)(афиша)(видео)(фото)

 

Модели гомотопической теории типов и семантический подход к научным теориям, воркшоп “Гомотопическая теория типов и унивалентные основания математики: логика, эпистемология, философия науки” (Екатеринбург, 29-30 ноября 2016) (презентация)

 

Categorical Model Theory and Knowledge-How, Centrum voor Logica en Wetenschapsfilosofie, Vrije Universiteit Brussel, 8 November 2016 (announcement) (abstract) (slides)(pictures)

 

Homotopy Type theory and the Bounds of Logic,  international workshop The Bounds of Logic Reloaded, Moscow HSE 20-21 October 2016 (abstract)(slides)(program)

 

Mathesis Universalis and the Idea of Logic in Aristotle, доклад на международной конференции «Аристотелевское наследие как конституирующий элемент европейской рациональности (THE LEGACIES OF ARISTOTLE AS CONSTITUTIVE ELEMENT OF EUROPEAN RATIONALITY) (ИФ РАН, 17-19 октября 2016) (abstract)(program)(picture1)(picture2)

 

Категорная теория моделей и конструктивное знание, семинар Конструктивное Знание – 2 , 5 октября 2016; программа и тезисы всех докладов доступны на странице семинара)

 

HoTT and the Semantic View of Theories, Homotopy Type Theory in Logic, Metaphysics and Philosophy of Physics Bristol, September 13-15, 2016 (slides)(audio)

 

Proofs and Objects in HoTT, FOMUS: Foundations of Mathematics: Univalent Foundations and Set Theory, Bielefeld, July 18-23, 2016. (abstract) (slides) (full program).

 

What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky ; at the 12th International Conference “Logic Today: Developments and Perspectives”, Saint-Petersburg State University, June 22-24, 2016  (abstract) (abstract at Логико-философские штудии, see also in my texts)

Geometric Characteristics as an early form of typing, at the workshop Type theory and Philosophy  (Canterbury, June 9 – 10, 2016) (slides), (video : from 6’30” on)

 

Venus Homotopically, at the regular seminar L’(id)entité :: L’(id)entification organized by Gabriel Catren at the  Laboratory SPHERE (Paris) (slides) (paper draft: pdf) (video 1) (video 2)

 

Axiomatic Method between Logic and Geometry. Series of 2 talks given at the regular seminar “Mathematics of the 19th and the 20th centuries: History and Philosophy” at the  Laboratory SPHERE (Paris)

Talk 1 (23d Mai 2016): Axiomatic Geometry according to Euclid and according to Hilbert  (slides)(video 1)(video 2)

Talk 2 (6th June 2016): Logic and Geometry in Topos theory and in Homotopy Type theory   (slides)(video 1)(video 2)

 

После конечности” Квентина Мейясу и научный реализм. Приглашенный доклад на семинаре сектора Современной Западной философии ИФ РАН 28 апреля 2016. (poster) (abstract) (slides)

 

Модельное знание и его аксиоматическое представление. Доклад на семинаре Логические и эпистемологические аспекты конструктивного знания 25 апреля 2016, ИФ РАН. (abstract)(slides)

 

Invited lectures in the University of Turku, 15 March 2016

Model-Based Knowledge and Its Representation.  (abstract) (slides)(announcement)

What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky.  (abstract) (slides)

 

Идея внутренней логики, аксиоматический метод и конструктивное представление знаний. Доклад на 74-м заседании Научного Совета РАН по Методологии Искусственного Интеллекта (НСМИИ РАН) 26 января 2016 (аннотация)(объявление) (презентация: slides in English!)

Содоклад: Сергей Ковалёв, Машинный интеллект в инженерии аксиоматических систем (презентация)

 

 

2015

Justice and Stability. With Juha Raikka.  Talk at the 7th International Conference on Theoretical and Applied Ethics: Traditions and Prospects, SPBU, October 29-31, 2015 (slides) (paper) (program)(bookofabstracts)

 

Constructive Axiomatic Method and Modern Physics. Talk at the international workshop New Mathematical Methods in Today’s Physics: Logical, Epistemological and Computational Aspects  (Moscow 21-22 September 2015) (abstract) (slides)(youtube stream record is available through the worksop page)(bookofabstracts)

 

Constructive Axiomatic Method in Euclid, Hilbert and Voevodsky. Contributed talk at the 15th Congress on Logic, Methodology, and Philosophy of Science (Helsinki, 3-8 August 2015) (abstract)(slides)(bookofabstracts)

 

Прогресс, Научные Революции и Большие Данные Приглашенный доклад на выездном семинаре Смольного Колледжа, Репино, 30 июня 2015 г. (слайды)

 

What is a Constructive Theory? 9th Smirnov Readings in Logic (Moscow, MSU, June 17-19, 2015). (programme) (abstract) (photo) (bookofabstracts)

 

Лейбниц, Рассел и Воеводский между логическим, алгебраическим и геометрическим атомизмом. Круглый стол “Атомизм и континуализм в гуманитарном знании” (ИФРАН, 17 июня 2015) организованный Викторией Лысенко. (программа), (абстракт), (слайды), (фото: 1, 2, 3)

 

Генетический метод построения теории в геометрии Лобачевского. Ежегодный семинар “Колмогоровские чтения” (Ярославль и Лютово 19-22 мая 2015). (программа) (абстракт) (слайды)  См. также статью Did Lobachevsky have a model of his Imaginary geometry? в разделе my texts за 2010 год

 

Идея геометрической характеристики от Лейбница до Воеводского. Семинар «Актуальные проблемы философии науки и техники»(ИФ РАН), 30 апреля 2015 (слайды) (объявление)

 

Геометрическая характеристика от Грассмана до Воеводского. Конференция Объекты и Структуры в рамках Третьего Конвента   Института Социальных и Политических Наук. Уральский Федеральный Университет, Екатерибург, 8-9 апреля 2015. (программа) (слайды) (фото)

 

Спор Эйнштейна с Бором и новые основания математики. Приглашенный доклад в Институте Философии СПБГУ, семинар Философия и Квантовая Физика, 28 марта 2015, (слайды) и приглашенный доклад в ИФРАН на постоянно действующем Семинаре по Философии Науки, 28 апреля 2015 (слайды)

 

Кант и новая математика сто лет спустя. Приглашенный доклад на кафедре философии Балтийского федерального университета, 25 февраля 2015. (слайды), (статья)(объявление в БФУ) (video: part 1, part 2, part 3, part 4) См. также реплику Что такое философия? записанную в БФУ во время той же поездки.

 

What is Constructive Axiomatic Method? CUNY Computational Logic Seminar, February 3, 2015 (abstract) (announcement) and the New York City Category Theory Seminar, January 28, 2015.

 

Начала Евклида. Публичная лекция в рамках проекта “Анатомия философии: как работает текст”. 22 января 2015, Библиотека им. Ф.М. Достоевского (Москва, Чистопрудный бульвар, 23) (слайды) (видeо на youtube)

2014

О конструктивном аксиоматическом методе. Выступление на семинаре по философии математики МГУ 19 декабря 2014 г. (видео 1) (видео 2)

 

Mathematics for Liberal Arts , invited talk at the conference INTELLECTUAL FOUNDATIONS OF MODERN LIBERAL
EDUCATION
(Saint-Petersburg Nov 14-16, 2014) (program) (slides)

 

Environmental Security and Just Causes for War (with Juha Raikka). Contributed talk  at conference

ТЕОРЕТИЧЕСКАЯ И ПРИКЛАДНАЯ ЭТИКА: ТРАДИЦИИ И ПЕРСПЕКТИВЫ, Санкт-Петербург,

20-22 ноября 2014. (paper)(slides)

 

Programmatic Realism in Physics and Foundations of Mathematics. Contributed talk at conference “Social Philosophy of Science. Russian Prospects. In Honor of V.S. Stepin”, November  18-19, 2014. abstractextended abstract, slides

 

Two Categorical approaches in Knowledge Representation. Talk at workshop Categories and Ontologies for Knowledge Representation, IP RAS, September 17 (slides)

 

Constructive Identities for Physics. Contributed talk at the conference Frontiers of Fundamental Physics 14 (Marseille July 15-18 2014) (abstract) (slides, also available at the conference site in Participants section), see also the final paper in Proceedings in my texts section.

 

Constructive Axiomatic Method. Invited talk at Logic Seminar of IHPST June 17, 2014 (abstract) (slides)

 

Logic for Natural Sciences: A Categorical Perspective. Plenary talk at the conference Teaching Logic and Prospectives of Its Development (Taras Shevchenko National University of Kiev, 15-16 mai 2014). My talk replaced the presentation of logic textbook that has been scheduled but later cancelled. (program) (slides) (abstract:Russian)

 

 

Objecthood in Modern Logic. Invited talk at the conference AnalytiCon-2014: Informations, Languages, Knowledge (Ekaterinburg, Ural Federal University, 29-30 April 2014) (program)(abstract)(slides: English)(audio: Russian)

 

Objecthood and Genetic Axiomatic Method in Categorical Mathematics. Invited talk at the conference Philosophy, Mathematics, Linguistics – 2014: Aspects of Interaction (Saint-Petersburg 21-25 April 2014).  (program) (abstract) (slides) (audio) (video)

 

Галилеевская наука и конструктивная математика. Приглашенный доклад на международной конференции Галилео Галилей: контексты и интерпретации, Москва 19-20 марта 2014. (программа) (резюме)(презентация)(video)

 

2013

Geometry, Logic and Axiomatic Method in the 21st Century: Back to Euclid? . Invited lecture at the Department of Social Sciences of the University of Turku (Finland),  December 11, 2013 (slides)

Where: University of Turku (Finland), Department of Social Sciences, Filosofian seminaarihuone 169.

 

Почему эффективность математики стала в 20-м веке “непостижимой”? Проект неоклассической науки.  Семинар Эпистемологические стратегии применения математики в естественных науках ИФРАН, 3 декабря 2013 (аудио)

 

Введение в категорную логику: две лекции в Уральском Федеральном университете по  приглашению кафедры онтологии и теории познания:

От множеств к топосам (26 ноября 2013) (From Sets to Topoi: slides in English)

Гомотопическая теория типов и Унивалентные основания математики (26 ноября 2013) (Homotopy type Theory and Univalent Foundations of Mathematics: slides in English)

 

Tout objet est une flèche, toute flèche est un objet (All Objects are Arrows, All Arrows are Objects), Séminaire itenérant de catégories (SIC), 16 Nov. 2013, Paris-Diderot (abstract in English)(slides)(videos)

 

ПРОСТРАНСТВО ВОЗМОЖНОСТЕЙ, ЕГО  ТОПОЛОГИЯ И ЕГО ВНУТРЕННИЙ ЯЗЫК (тезисы) (опубликованный вариант тезисов). Международный исследовательский семинар «Модели рассуждений – 7. Принятие решений: теория, методология, практика», Светлогорск (Калининградская обл.) , 3 – 5 октября 2013 года (slides), см. также в рубрике my texts

КАК ЭФФЕКТИВНОСТЬ МАТЕМАТИКИ В 20-М ВЕКЕ СТАЛА “НЕПОСТИЖИМОЙ” (тезисы) Доклад на конференцииМатематика и реальность: 3-я всероссийская конференция по философии математики; Философский факультет Московского государственного университета имени М.В.Ломоносова, 27-28 сентября 2013 года. (Тезисы опубликованы, см. в my texts, но доклад не был сделан.)

New-Old Axiomatic Method. Talk given at the seminar Mathematics and Philosophy in 19-20th centuries in SPHERE on June 25, 2013  and at the conference “What Category Theory Can Do for Philosophy?” in the University of Kent on July 10, 2013 (abstract) (slides) (audio_Paris) (audio_Canterbury)

“Universal Mathematics” in Euclid and the Origin of Logic in Aristotle. Talk given at French-Russian Conference “Beauty, Power and Virtue in the Universe of Aristotle’s Thought in Sorbonne on June 27, 2013 (programme) (abstract in French) (slides in English)

Генетический аксиоматический метод, изоморфизм Карри-Ховарда и “унивалентные основания” Воеводского: Logic seminar in the Institute of Philosophy of RAS on March 14, 2013 (abstract) (slides)

Categorical logic and Hegelian dialectics: at Higher School of Economics (Moscow) Feb 22 (pdf) (video1) (video2) (video3) (video4) (video5).

 

2012:

Historical Reflexion, Projection of the Future and Philosophy of Mathematics:  at Футурологический Конгресс (Dec 14-16, 2012, Polytechnical Museum in Moscow) (slides) (proceedings)

What Comes After Structural Realism? Homotopy Type Theory and Constructive Identity: at workshop Realism and Modern Science (Moscow, IPHRAN, Nov 22-23, 2012) (programslidesvideo1, video2)

Higher Identity Types in Empirical Contexts: at the Workshop on Higher Dimensional Algebra, Categories and Types (Ljubljana June 20, 2012) following the Fourth Workshop on Formal Topology (Ljubljana June 15-19, 2012) (abstract) (slides)

Mathematics, Physics, and Metaphysics from the Neo-Kantian and the Analytic Perspectives:
Talk given on May 17, 2012 at the Philosophy of Science seminar of Moscow State University, Philosophy Departement (slides)

Axiomatic Method and Category Theory (talk): at the Philosophy of Mathematics seminar at the Philosophical Department of Moscow State University on April 20, 2012 (slides)

Mathematics, Physics, and Metaphysics After Kant: at the Philosophy of Science seminar in the Institute of Philosophy of RAS on April 7, 2012 (slides)

Identity, Equality and Equivalence in Mathematics: at the Ontology seminar in the Institute of Philosophy of RAS on March 17, 2012 (slides)

Univalence and Constructive Identity : Invited talk given at the conference “Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012″ (May 22- 25, 2012, Euler International Institute, Saint-Petersburg).(abstract, extended abstract, slides)

 

2011

Why Category Theory Is “Unreasonably E ffective”?: at the New York City Category Theory Seminar in GC CUNY , November 9, 2011 (poster, abstract, slides)

Doing and Showing (talk): at the conference “The Classical Model of Science II”, Amsterdam, August 2-5, 2011 and the  Computational Logic seminar in GC CUNY, November 8, 2011 (abstract, amsterdam programme, amsterdam slides, cuny slides)

Formal Axiomatics and Set-theoretic Construction in Bourbaki: at the workshop “Sets within Geometry” (Nancy, July 26-29, 2011 (abstract, slides)

Translation versus Formalization: the Example of Euclid’s Elements: at Symposium “Integrity and Diversity of Traditions and Trends in Today’s Philosophy of Science” organized at the 14th Congress of Logic, Philosophy and Methodology of Science (Nancy, July 19-26, 2011) (abstract, slides)

How Mathematical Concepts Get Their Bodies: a popular and more colorful version of 2009 talk given at the artistic laboratory OPTOFONICA in Amsterdam. (slides)

 

 

2010

Euclid and Radical Translation: at the conference Shifting Paradigmes: How Translation Transforms the Humanities (University of Illinois at Urbana-Champaign, October 14-16, 2010) (abstract, slides)

Objects are Maps: at the New York City Category Theory Seminar in GC CUNY (October, 13, 2010) and at the Mid-West Philosophy of Maths seminar at the Philosophy Department of the Notre Dame University (October 24, 2010) (nd abstract, cuny poster, nd slides, cuny slides)
PLURALISM IN GEOMETRY AND LOGIC: A CATEGORICAL APPROACH: at the 3d World Congress on Universal Logic (UNILOG2010), Lisbon, Portugal, April 22-25, 2010 (unilog 2010 handbook, slides)

Towards categorical foundations of geometry: What is geometrical object?: at the workshop “Category Theory and Philosophy of Mathematics Today” (Ecole Normale Supérieure, May 31, May 31 and June 14, 2010) associated with INTERSEM2010 (Foundations of Mathematics: What and Why?) (slides)

 

2009

DIAGRAMMATIC SYNTAX AND ITS CONSTRAINTS: at Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams (CAM-CAD) in IRIT, Toulouse, October 16-17, 2009 (extended abstract, slides)

Renewing foundations: at the seminar of the project Ideals of Proof in  Ecole Normale Supérieure, November 9, 2009, and at the conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009 in the Euler International Mathematical Institute, Saint-Petersburg, November 20, 2009 (abstract, extended abstract, slides)

Categories Without Structures (talk): at the Philosophy Department of Oxford University (February 17 , 2009), Philosophy Department of Bristol University (March 31, 2009) andthe New York City Category Theory Seminar in GC CUNY (May 11, 2009) (oxford slides, bristol-cuny slides, cuny poster and abstract)

 Euclid, “Universal Mathematics” and the Origin of Logic: in GC CUNY , May 5, 2009 (slides)

How Mathematical Concepts Get Their Bodies: at the seminar of the project Ideals of Proof in  Ecole Normale Supérieure, January 22, 2009 (slides)

 

2008

Category Theory and Mathematical Structuralism: accepted for presentation at the XXII-th World Congress of Philosophy, July 30 – August 5, Seoul (extended abstract)

Внутренний язык топоса: новый альянс логики и геометрии: на конференции “Современная логика: проблемы теории, истории и применения в науке”, Философский факультет Санкт-Петербургского государственного университета, 26-28 июня 2008 г. (слайды)

Category theory, Mathematical Structuralism and Mathematical Hermeneutics: at the workshop “Mathematical Understanding”, Paris, 9-13 June 2008 (slides)

Euclid, Hilbert and Functorial Semantics: at the Department of Computer Science of Oxford University June 6, 2008 (slides)

 

2007

Isomorphism doesn’t replace identity in categories (or elsewhere): at the workshop “Structure and Identity” (Brussels,  December 7-8, 2007) (slides)

Категорификация и формальный аксиоматический метод: на конференции “ФИЛОСОФИЯ МАТЕМАТИКИ: АКТУАЛЬНЫЕ ПРОБЛЕМЫ” (15 – 16 июня 2007 года, Москва) (резюме)

Logical Forms versus Translational Categories: presented at at workshop “Combination of Logics” (July 4, 2007, Neuchatel, Switzerland) and accepted for presentation at 2nd World Congress and School on Universal Logic (UNILOG2007, August 16-22, 2007, Xi’an, China) (extended abstract, UNILOG2007 Handbook)

Pour la science irréversible: au colloque “Temps et irréversibilité” (Cargèse, le 16-20 avril 2007) (article)

Les changements du paradigme épistémologique structuraliste suggérées par la théorie des catégories: at the seminar Categories and Physics, ENS, March 1, 2007

Categorification and Formal Axiomatic Method: Towards a Hermeneutic Model of Science: at the conference “The Classical Model of Science (Amsterdam January 10-13, 2007)” (abstract)

 

2006

Les catégories tensorielles et ses applications dans la physique: at the seminar Categories and Physics, ENS, December 12, 2006

Categorification and Interpretation: Beyond the Formal: at the conference “Categorification in Algebra and Topology” (Uppsala, September 7-10, 2006) (abstract)

 

2005

Functorial Semantics: at the seminar PhilForm in IHPST (Paris) on November 21, 2005 (abstract and suggestions for reading)

Categories and Formalism : From Reversible to Non-Reversible Mathematics: at the conference IMPACT OF CATEGORIES: 60 Years of Category Theory in Historical and Philosophical Retrospect (Ecole Normale Superieure, 10-14 October, 2005) (audio, video)

Identity and Categorification: at the conference “Identity: Ontological Perspectives” (Amsterdam, May 25-27, 2005) and the 1st Congress and School on Universal Logic (March 26-April 3, 2005, Montreux, Switzerland)(amsterdam extended abstract, montreux abstract, montreux extended abstract)

 

2004

Identity, Abstraction, and (De)Categorification: at the Third Workshop on the History and Philosophy of Logic, Mathematics and Computation (HPLMC-04), November 4-6, 2004 (extended abstract)

L’évolution des idées de Lord Kelvin sur la thermodynamique: en Conférence de clôture de la chaire de C. Ulises Moulines à l’Ecole Normale Supérieure le 8 octobre 2004 (programme, audio et video)

 

2002

Collection and Connection: at the workshop “Spatial Reasoning” (Пространственное Мышление), October 11-13, 2002, St.Petersburg State University (extended abstract)

Extensionality and Equality of Rights: at workshop Rationality and Community held within the project “Rationality in Local and Global Contexts” in Oslo, Summer 2002 (extended abstract)

Events and Intensional Sets: at the conference “Logica 2002″ (June 18-21, 2002, Castle Zahradky, Czech Republic). Published in 2003 in the Proceedings of the Conference (paper)

The Dogma of Extensionality: at the Philosophy Department of Columbia University in Spring 2002 (extended abstract, handout)

 

2001

Экстенсиональность и интенсиональность в праве: на конференции «Логика толерантности и права» (Екатеринбург, 24-25 декабря 2001) Опубликовано в сборнике материалов конференции(статья)

External and Internal in Geometry and Logic: at the workshop “Local and Global Modes of Reasoning” held within the project “Rationality in Local and Global Contexts” in Kaliningrad (Russia), October 2001 (abstract)(photo with Juha Raikka)

Об интерпретации комбинированной логики Смирнова в духе онтологической относительности Квайна : на конференции “Смирновские чтения 2001″, опубликовано в сборнике материалов коференции. (резюме, расширенное резюме)

Endurance, Perdurance and Quantum Duality: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 2000 (abstract and slides)

 

2000

Онтология квантово-волнового дуализма: на конференции “100-лет квантовой теории“, Институт Философии РАН 5-7 декабря 2000 г. Опубликовано в 2002 в трудах конференции (статья)

Locality and Category theory: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 2000 (abstract)

 

1999

Kant’s Philosophy of Mathematics and Variable: at Kantstudien 99 (September 1999, Svetlogorsk, Russia) (extended abstract)

Событие и Место: доклад на 2-м Всероссийском Философском Конгрессе (Екатеринбург, август 1999) (резюме)

How to Make Places and Times with Events: at the 3-d European Congress of Analytic Philosophy, Maribor 1999) (abstract)

 

1998

Физиология и прагматика в антропологии Канта: на конференции Кантовские чтения 98, опубликовано в сборнике трудов конференции (расширенное резюме)

Event and Milieu: at 20th World Congress of Philosophy (August 10-16, 1998, Boston) (abstract, also available at the Congress’ site , русский вариант)

 

1997

Логика и опыт: на международном семинаре “Логическое кантоведение-4″ (Светлогорск, 22-25 сентября 1997) (тезисы)

Случайность и синергетика: на 1-м Всероссийском философском конгрессе, Санкт-Петербург, июнь 1997 (расширенное резюме)

Three Concepts of Modality: at the annuary School of Philosophy of Science in the Inter-University Centre Dubrovnik in April 1997 (upublished paper)

 


 

 

 

 

No Comments »

No comments yet.

RSS feed for comments on this post.

Leave a comment

You must be logged in to post a comment.

Powered by WordPress