Mini Lectures
Very intensively planning next meet-ups and collecting students...
Upcoming meet-ups
2026-08-27 Amsterdam (also online). LOOKING FOR STUDENTS TO TEACH 30 MINUTE MINI LECTURES!
Naglis topics: optimisation problems, type theory and proof assistants, tensor networks, lucid dreaming, quantum computation and information.
Idea for meetings, starting September 2026: No exact place or time, but collecting students from different fields in VU/UvA to do monthly meet-ups, sharing what we have learned/done in the past month, in a 30 min lecture format.
History
Most of the content is in Lithuanian, since most of the events were organized in Lithuania.2026
23 JulyVilnius
- Dievas tikrai egzistuoja, ar bent taip sakė Gödelis (Tomas)
- Holevo bound - Quantum Information Theory basics (Naglis)
- GMO bakterijos ir kodėl jas reikia imti į burną (Augustas)
- Somatic Cell Genome Editing and Designer Babies (Povilas)
- Kaip veikia dronai Vilniuje bei straipsnio apie visuomenių moralės taisykles apžvalga (Danielius)
- Gyvybiniai fotocheminiai procesai (Adas)
Amsterdam
- Combinatory logic and abstraction (Naglis)
- How to deal with past mistakes? (Silviu)
Farum, Denmark
Not really The Science Guild, but I don't know where else to put this. Farum 2026 Math Camp.
2025
20 DecemberVilnius
- VQE algorithm analysis on various molecules (bachelor thesis) (Naglis)
- Ausų operacijos (Aleksandra)
- Fibonacci and golden ratio (Tomas)
- Agronomija - BBCH skalė, augalo augimo tarpsniai (Rasa)
- Kaip veikia Dobble žaidimas? (Matas)
Telecom SudParis, Evry
2023/2024
Vilnius
11 July- Self-reference (computer science) (Aldas)
- Effective altruism (Augustas)
- Burnside's lemma (group theory) (Tomas)
- Languages (computer science) (Naglis)
- Matematinės logikos ir geometrijos pradmenys (Naglis)
- Tiesinė regresija (kodas) (Tomas)
- Neuroninių tinklų veikimas (kaip neuroniniai tinklai atpažįsta skaičių paveikslėlius) (Augustas)
- Endokrinologija (qPCR ir pažeistų ląstelių dažymas) (Aleksandra)
- BMR organinių junginių struktūros nustatymui. (Augustas)
- Šoro algoritmas bendrai, sudėtinių skaičių skaidymą pirminiais. (Naglis)
- Topologija, jos operacijos bei supratimas grafiškai (Tomas)
- Musių dauginimąsis, lervučių vystymąsis, maternal effect (Rojus)
- Kvantinių skaičiavimų pradmenys, loginių vartų ir būsenų pavaizdavimas matricomis. (Naglis)
- Antropogenezė ir evoliucinė medicina (Aleksandra)
- Klaidų taisymo kodai (Naglis)
- Skydo vaizdavimas Homero herojiniame epe "Iliada" ir Vergilijaus epinėje poemoje "Eneida" (Agota)
- Braižome DFA (Deterministic Finite Automata) (Aldas)
- Dove vs Hawk strategijų simuliacija (Augustas)
- Decoding QR codes (Tomas)
- Intro to Raytracing (Aldas)
- Game theory (Augustas)
- Decidability proofs using reduction (Naglis)
- Saugomos Lietuvos teritorijos (Martynas)
- Natūralieji skaičiai ir Peano aksiomos (Tomas)
- Euklidinė geometrija (Aldas)
- Morphogenesis (Augustas)
- Anatomija - žmogaus kaulai (Aleksandra)
- Kaip veikia kompiuteriai? (Naglis) [EXPERIMENT]
- PGR (Nerilė)
- Kas yra matematika? (Naglis)
2022 ("Science can be interesting")
Inactive Fb group with more info: "Science can be interesting" Facebook group
13 October (Voiničiaus rankraštis) Lecture by MantasJau daugiau kaip šimtmetį pasaulio akademikus ir paslapčių mėgėjus suintrigavęs nežinomo autoriaus, nežinoma kalba ir neiššifruota rašto sistema parašytas XV a. rankraštis nepasiduoda skrupulingai mokslinei analizei. Kas visgi leidžia manyti, kad Voiničiaus rankraštis yra nuoširdus Viduramžių kūrinys? Paskaitoje susipažinsite su šia lietuvių kilmės antikvaro Wilfrid Voynich pavarde "pakrikštyta" knyga, jos istorija ir turiniu, patyrinėsite puslapių paraštes ir išgirsite, kaip šiandien mokslinė bendruomenė interpretuoja mitais ir mistika apipintą veikalą.
27 May (Geometrija) Lecture by Naglis- Euclidean geometry.
- Hilbert’s axioms
- Non-Euclidean geometry
- Axiomatic system
- Types of proof
- (Zermelo-Frankel set theory)
- Group, Ring, Field
- Group theory, Ring theory, Galois theory
- (Primitive notions, Axioms)
- Equality relation
- Identity uniqueness, identity distinctiveness
- Basel problem (Euler's solution)
- Riemann zeta function
- Complex numbers
- Cardano formula
- Schodinger's equation
- Rectangular form
- Complex plane
- Trigonometric form
- Addition, multiplication
- Euler's identity
- Taylor series
- Maclaurin series
- Euler proof of Euler's identity
- Exponential form
- Fourier series (Fourier transform)
- Quadratic equation
- Completing the square
- Cubic equation
- Depressed cubic
- Cardano formula
- Quartic equation
- Ferrari formula
- Polynomial long division
- Rational root theorem
- Complex numbers
- Fundamental theorem of algebra
- Abel-Ruffini theorem
- Newton's method
Other possible future topics
For now here only from Naglis...- Computer architecture - RAM
- Computer graphics basic algorithms
- Lambda calculus - fixpoint
- Formal languages - basic theory with proofs & pumping lemma
- Computer architecture - Registers, buses and SAP-1
- IoT - Basic C and ASM programming on STM32
- Lucid dreaming - where does science stand atm?
- Optimisation - NP-hard problems and their proofs (SAT solving, max-cut problem, linear programming, etc.), examples with quantum computation (VQE) and information theory (Shannon).
- Tensor networks