Jekyll2024-02-06T13:57:47+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/feed.xmlMohamed Barakat - academic homepageMohamed Barakat's academic homepageMohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Functor Categories, Model Theory, and Constructive Category Theory2023-03-19T00:00:00+01:002023-03-19T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Functor%20Categories,%20Model%20Theory,%20and%20Constructive%20Category%20Theory%202023<h3 id="university-of-málaga"><a href="https://www.uma.es/">University of Málaga</a></h3>
<h4 id="july-03-07-2023">July 03-07, 2023</h4>
<p><a href="https://web.northeastern.edu/martsinkovsky/p/Conferences/M%C3%A1laga2023/FM-23.html">https://web.northeastern.edu/martsinkovsky/p/Conferences/M%C3%A1laga2023/FM-23.html</a></p>
<p>Organizers</p>
<ul>
<li><a href="/barakat/">Mohamed Barakat</a> (University of Siegen)</li>
<li><a href="https://sites.google.com/uma.es/mizurdiaga/home">Manuel Cortés Izurdiaga</a> (University of Málaga)</li>
<li><a href="https://www.researchgate.net/profile/Pedro-Asensio-2">Pedro Guil Asensio</a> (University of Murcia)</li>
<li><a href="https://cos.northeastern.edu/people/alex-martsinkovsky/">Alex Martsinkovsky</a> (Northeastern University)</li>
<li><a href="https://sites.google.com/view/jobdrock/">Job Daisie Rock</a> (Ghent University)</li>
<li><a href="https://www.gc.cuny.edu/people/philipp-rothmaler">Philipp Rothmaler</a> (CUNY)</li>
<li><a href="https://sites.google.com/view/antonio-viruel/">Antonio Viruel</a> (University of Málaga)</li>
</ul>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/University of Málaga July 03-07, 2023Algebraic Analysis, Functor Categories, and Constructive Methods2023-02-12T00:00:00+01:002023-02-12T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Algebraic%20Analysis,%20Functor%20Categories,%20and%20Constructive%20Methods%202023<h3 id="workshop-at-ghent-university">Workshop at Ghent University</h3>
<h5 id="march-7-10-2023">March 7-10, 2023</h5>
<p><a href="https://web.northeastern.edu/martsinkovsky/p/Conferences/Ghent2023/AA-23.html">https://web.northeastern.edu/martsinkovsky/p/Conferences/Ghent2023/AA-23.html</a></p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Workshop at Ghent University March 7-10, 2023Mathematical Structures in Feynman Integrals2022-10-07T00:00:00+02:002022-10-07T00:00:00+02:00https://www.algebra.mathematik.uni-siegen.de/barakat/Mathematical%20Structures%20in%20Feynman%20Integrals%202023<h3 id="workshop-at-the-university-of-siegen">Workshop at the University of Siegen</h3>
<h5 id="february-13-16-2023">February 13-16, 2023</h5>
<p>The workshop aims at bringing together experts from Mathematics and
Physics to discuss the latest developments and future directions in
unraveling the Mathematical Structures in Feynman Integrals. Topics
will include among others Structures of Feynman integrals, Integral
reduction, Applications from algebraic geometry, Finite fields and
rational reconstruction, Differential equations, etc.</p>
<p>The program will feature dedicated talks, but will also leave ample
time for discussions among workshop participants.</p>
<p>February 11, 2023 marks the 100th anniversary of the death of the
mathematician Wilhelm Killing, born in Burbach, only 20km from
Siegen. Killing formulated a research program that is still relevant
today and has significantly influenced mathematical research for a
century. The 100th anniversary of Killing’s death is an appropriate
opportunity to honour his merits with an inaugural talk by
<a href="https://www.uni-siegen.de/fb6/phima/member/hein/vkhein.html">Prof. Wolfgang Hein</a>.</p>
<p><a href="https://indico.scc.kit.edu/event/2959/overview">https://indico.scc.kit.edu/event/2959/overview</a></p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Workshop at the University of Siegen February 13-16, 2023Rings, Algebras, and Categories – Towards Coding and Computer Algebra2022-02-01T00:00:00+01:002022-02-01T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Rings,%20Algebras,%20and%20Categories%20--%20Towards%20Coding%20and%20Computer%20Algebra<h3 id="algebra-winter-school-held-at-the-university-of-helwan-cairo">Algebra winter school held at the University of Helwan, Cairo</h3>
<h5 id="december-10-21-2022">December 10-21, 2022</h5>
<p><a href="https://www.cimpa.info/en/node/7181">https://www.cimpa.info/en/node/7181</a></p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Algebra winter school held at the University of Helwan, Cairo December 10-21, 2022Qompiler2022-01-01T00:00:00+01:002022-01-01T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Qompiler<p>Our research group is part of a consortium to develop a quantum
software stack <a href="https://www.digitale-technologien.de/DT/Navigation/DE/ProgrammeProjekte/AktuelleTechnologieprogramme/Quanten_Computing/Projekte/Qompiler/qompiler.html">funded by the German Federal Ministry of Economic
Affairs and Climate
Action</a>. A
quantum algorithm is expressible as a parallel and sequential
composition of morphisms in a specific dagger compact closed category
<em>H</em>. one among several categorical doctrines supported by the software
project
<a href="https://homalg-project.github.io/docs/CAP_project-based/">CAP</a>,
<a href="https://homalg-project.github.io/statistics">actively developed</a> by
our research group. Part of the project is the development of a
<a href="https://github.com/homalg-project/CAP_project/tree/master/CompilerForCAP#readme">domain specfic compiler for category
theory</a>
that can compile away the entire abstraction introduced by the
categorical language. The remaining optimization in the specific
category <em>H</em> will be performed using the <em>ZX</em>-calculus introduced by
Bob Coecke and Ross Duncan in 2008 and further developed by them and
several other scientists.</p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Our research group is part of a consortium to develop a quantum software stack funded by the German Federal Ministry of Economic Affairs and Climate Action. A quantum algorithm is expressible as a parallel and sequential composition of morphisms in a specific dagger compact closed category H. one among several categorical doctrines supported by the software project CAP, actively developed by our research group. Part of the project is the development of a domain specfic compiler for category theory that can compile away the entire abstraction introduced by the categorical language. The remaining optimization in the specific category H will be performed using the ZX-calculus introduced by Bob Coecke and Ross Duncan in 2008 and further developed by them and several other scientists.Meeting 20212021-03-15T00:00:00+01:002021-03-15T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Meeting%202021<p>This is the first internal workshop of our department. Each group will
briefly present its current research activity and there should be
plenty of time for questions and discussions. The success of this
workshop is defined by the amount of interaction between the different
research groups. Please get involved and ask many questions.</p>
<p><a href="https://mathematik-siegen.github.io/Meeting-2021/">https://mathematik-siegen.github.io/Meeting-2021/</a></p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/This is the first internal workshop of our department. Each group will briefly present its current research activity and there should be plenty of time for questions and discussions. The success of this workshop is defined by the amount of interaction between the different research groups. Please get involved and ask many questions.Chevalley’s theorem2020-01-30T00:00:00+01:002020-01-30T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Chevalley%E2%80%99s%20Theorem<h3 id="chevalleys-theorem-on-constructible-images-made-constructive">Chevalley’s Theorem on constructible images made constructive</h3>
<h6 id="talk-at-the-workshop--computational-and-algorithmic-methods--the-isaac-newton-institute--cambridge-united-kingdom--27-january-2020-to-31-january-2020">Talk at the workshop <br /> <q>Computational and algorithmic methods</q> <br /> The Isaac Newton Institute <br /> Cambridge, United Kingdom <br /> 27 January 2020 to 31 January 2020</h6>
<h6 id="abstract">Abstract:</h6>
<p>Chevalley proved that the image of an algebraic morphism between
algebraic varieties is a constructible set. Examples are orbits of
algebraic group actions. A constructible set in a topological space is
a finite union of locally closed sets and a locally closed set is the
difference of two closed subsets. Simple examples show that even if
the source and target of the morphism are affine varieties the image
may neither be affine nor quasi-affine. In this talk, I will present a
Gröbner-basis-based algorithm that computes the constructible image of
a morphism of affine spaces, along with some applications.</p>
<p><a href="https://www.newton.ac.uk/seminar/24098/">https://www.newton.ac.uk/seminar/24098/</a></p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/Chevalley’s Theorem on constructible images made constructiveFunctor Categories, Model Theory, and Constructive Category Theory2019-01-01T00:00:00+01:002019-01-01T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/Functor%20Categories,%20Model%20Theory,%20and%20Constructive%20Category%20Theory%202019<h3 id="university-of-tartu--pärnu-college-pärnu-estonia"><a href="https://www.ut.ee/en">University of Tartu</a>, <a href="https://www.thinglink.com/scene/568830897902583810">Pärnu College</a>, <a href="https://en.wikipedia.org/wiki/P%C3%A4rnu">Pärnu, Estonia</a></h3>
<h4 id="july-15-17-2019">July 15-17, 2019</h4>
<p><a href="https://web.northeastern.edu/martsinkovsky/p/Parnu2019/FM.html">https://web.northeastern.edu/martsinkovsky/p/Parnu2019/FM.html</a></p>
<p>Organizers</p>
<ul>
<li><a href="/">Mohamed Barakat</a> <a href="https://www.uni-siegen.de/start/index.html.en?lang=en">University of Siegen</a></li>
<li><a href="https://cos.northeastern.edu/faculty/alex-martsinkovsky/">Alex Martsinkovsky</a> <a href="https://www.northeastern.edu/">Northeastern University</a></li>
<li><a href="https://personalpages.manchester.ac.uk/staff/mike.prest/">Mike Prest</a> <a href="https://www.manchester.ac.uk/">University of Manchester</a></li>
<li><a href="https://www.stolaf.edu/profile/purin">Marju Purin</a> <a href="https://wp.stolaf.edu/">St. Olaf College</a></li>
</ul>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/University of Tartu, Pärnu College, Pärnu, Estonia July 15-17, 2019Moqi 20192018-12-01T00:00:00+01:002018-12-01T00:00:00+01:00https://www.algebra.mathematik.uni-siegen.de/barakat/MoQI%202019<p>We would like to draw your attention to a workshop on the “Mathematics
of Quantum Information”, to take place in March 2019 in Siegen
(Germany).</p>
<p>The idea of the workshop is the following: The connection between
quantum physics and information theory has posed new challenges at the
border between mathematics and physics. The workshop will bring
together experts from physics (entanglement theory, information
theory, many- body physics) with mathematicians (optimization,
multilinear algebra, Gröbner bases) in an informal manner. This should
allow many discussions and the mutual exchange of ideas.</p>
<p>The workshop will take place in Siegen (Germany) from March 18-21,</p>
<ol>
<li>For more information, the list of confirmed speakers, and
registration see:</li>
</ol>
<p><a href="https://moqit.github.io/MoQI-2019/">https://moqit.github.io/MoQI-2019/</a></p>
<ul>
<li><a href="/">Mohamed Barakat</a></li>
<li><a href="https://www.physik.uni-siegen.de/tqo/members/guehne/">Otfried Gühne</a></li>
<li><a href="https://www.physik.uni-siegen.de/tqo/members/kleinmann/">Matthias Kleinmann</a></li>
<li><a href="https://www.uni-siegen.de/fb6/numerik/nmitarbeiter/raasch/">Thorsten Raasch</a></li>
</ul>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/We would like to draw your attention to a workshop on the “Mathematics of Quantum Information”, to take place in March 2019 in Siegen (Germany).Gapdays 20182018-06-20T00:00:00+02:002018-06-20T00:00:00+02:00https://www.algebra.mathematik.uni-siegen.de/barakat/GAPDays%202018<p>We are happy to announce GAP Days Fall 2018, at the University of Siegen, 17-21 September 2018.</p>
<p>For details please visit the homepage of the meeting:</p>
<p><a href="http://gapdays.de/gapdays2018-fall/">http://gapdays.de/gapdays2018-fall/</a></p>
<p>If you are interested in coming, please register. Also note that there is
a limited contingent of discounted hotel rooms available, which are reserved
until the end of August.</p>
<p>The workshop is funded by the Collaborative Research Center TRR195 “Symbolic tools in mathematics and their application” and part of its activity.</p>
<p>We are looking forward to seeing you in Siegen!</p>
<p>Best regards,</p>
<p><a href="/">Mohamed Barakat</a> (local organizer) and <a href="http://www.quendi.de/en/math">Max Horn</a>.</p>Mohamed Barakatmohamed.barakat@uni-siegen.dehttps://mohamed-barakat.github.io/We are happy to announce GAP Days Fall 2018, at the University of Siegen, 17-21 September 2018.