A: Computer Algebra Aspects of Finite Rings and Their Applications
B: Computer Algebra in Coding Theory and Cryptography
C: Computational Differential and Difference Algebra
D: AADIOS: Algebraic and Algorithmic Aspects of Differential and Integral Operators
E: Integration: Implementation and Applications
F: Computer Algebra in Education
G: Algorithms and Applications in the Geometry of Algebraic Curves and Surfaces
H: Innovative Applications and Emerging Challenges
I: Arithmetic Geometry
J: Group Actions in Algebra and Geometry
L: Gröbner Bases and Applications
M: BoF open session on SAGE and coding
|
Tuesday July 8 |
||||
|
18:30 - 21:30 |
Informal gathering at residence halls or JMH |
|||
|
|
|||||
|
Wednesday July 9 |
|||||
|
08:00 - 09:00 |
REGISTRATION |
||||
|
09:00 - 09:30 |
OPENING |
||||
|
09:30 - 10:30 |
Plenary Talk, Wen-shin Lee |
||||
|
10:30 - 11:00 |
COFFEE BREAK |
||||
|
11:00 - 11:30 |
N. Lubbes, "Circles on surfaces” |
M. Helmer, "Algorithms to Compute Chern-Schwartz-Macpherson and Segre Classes and the Euler Characteristic" |
M.G. Sarabia "An overview on algebraic invariants and the main parameters of some parametrized codes" |
||
|
11:30 - 12:00 |
M. Weimann, "Computing gonal maps of algebraic curves” |
E. A. Coutsias, "Bricard flexible octahedra and the canonical cyclohexane" |
R. Pellikaan "The extended and generalized rank weight enumerator of a code" |
||
|
12:00 - 12:30 |
Y. Bouzidi, "Computing separating linear forms for bivariate systems" |
M. Minimair, "Collaborative Computer Algebra Systems" |
I. Marquez "Error correcting pair: a new approach to Code-based Cryptography" |
||
|
12:30 - 14:00 |
LUNCH |
||||
|
14:00 - 14:30 |
J. Tot, "Spinning Double Pendulum: Equilibria and Bifurcations" |
M. Fioravanti, "Computing the topology of an arrangement of parametric or implicit curves in the Lagrange basis" |
A.L. Sandoval "On the Eficiency of Shortened Cyclic Multiple-Burst-Correcting Codes" |
D. Dali “Local Stability of Cubic Differential Systems” |
|
14:30 - 15:00 |
R. Lewis, B. Palancz, J. L. Awange, "Computer Algebra Solution of Maximization of Likelihood for Laser Scanning" |
M. Moreno Maza, "Doing algebraic geometric with the RegularChains library” |
D. Joyner ”Edge-weighted Cayley graphs and p-ary bent functions” |
William Sit “Rota-Baxter type operators, rewriting systems and Groebner-Shirshov bases” |
|
15:00 - 15:30 |
J. Caravantes, "A bisection-like algorithm to compute the convex hull of a rational plane curve” |
I. Marquez "BoF Meeting on SAGE and Coding Theory" |
A. Heinle “On Factoring Differential and Difference Operators in n Variables” |
|
|
15:30 - 16:00 |
S. L. Rueda, "Approximate algorithms to parametrize algebraic curves” |
I. Marquez "BoF Meeting on SAGE and Coding Theory" |
|
|
|
16:00 - 16:30 |
COFFEE BREAK |
|||
|
16:30 - ???? |
Excursions |
|||
|
|
||||||
|
Thursday July 10 |
||||||
|
08:00 - 08:30 |
REGISTRATION |
|||||
|
8:30 - 9:00 |
W. Keigher “Linear Differential Equations and Hurwitz Series” |
C. D'Andrea, "The rees algebra of some monomial parametrizations" |
N. Dück "The degree compatible Gröbner Fan for Linear Codes" |
|||
|
9:00 - 9:30 |
G. Labahn “Rational Invariants of Finite Abelian Groups” |
T. Shaska, "Genus 3 hyperelliptic curves with (2,4,4)-split Jacobians" |
M. Aliasgari "Binomial Ideal Associated to a Lattice and Its Label Code" |
|||
|
9:30 - 10:00 |
S. Launois “Endomorphisms of quantum generalized Weyl algebras” |
L. Beshaj, "On Jacobians of curves with superelliptic components" |
M. Aliasgari "A Johnson-Type Bound for Group Codes and Lattices" |
|||
|
10:00 - 10:30 |
A. Levin “Method of generalized characteristic sets and multivariate dimension polynomials of differential field extensions...” |
J.G. Alcázar, "Symmetry detection of rational space curves”. |
E. Previato "Evaluation Codes and Weierstrass Semigroups " |
|||
|
10:30 - 11:00 |
COFFEE BREAK |
|||||
|
11:00 - 11:30 |
E. Previato “Differential algebraic aspect of orthogonal polynomials and modular forms” |
Elena Varbanova "CAS in the Context of Methodology of Mathematics Education" |
Markus Lange-Hegermann "Counting Solutions of Differential Equations" |
|||
|
11:30 - 12:00 |
S. Maddah “On the Formal Reduction of Singularly-Perturbed Linear Differential Systems” |
Michel Beaudin "Same Courses, New Questions" |
Meng Zhou "On the termination of algorithm for computing relative Gröbner bases and difference-differential dimension polynomials" |
|||
|
12:00 - 12:30 |
L. Poinsot “Differential (Lie) algebras from a functorial point of view” |
Agustin de la Villa "Using technology in mathematical courses: Some possibilities" |
Gabriela Jeronimo "Effective differential Lüroth theorem" |
|||
|
12:30 - 14:00 |
LUNCH |
|||||
|
14:00 - 14:30 |
M. Ragulskis “The generalized multiplicative operator of differentiation for the construction of analytic solitary solutions...” |
C. Eder "A survey on signature-based Gröbner basis computations" |
A. Cherchem "Exponents of Skew Polynomials" |
|||
|
14:30 - 15:00 |
S. Rueda “Differential elimination by differential specialization of Sylvester style matrices” |
J. Perry "The skeletons you find when you Order your Ideal’s Closet" |
I. Ciocanea Teodorescu "The Module Isomorphism Problem for Finite Rings and Related Results" |
|||
|
15:00 - 15:30 |
S.K. Suslov “Multi-parameter Laser Modes in Paraxial Optics” |
J.C. Faugere "Sparse Groebner Bases: algorithms and complexity" |
K. Guenda "Construction of codes for DNA computing by the Greedy Algorithm" |
|||
|
15:30 - 16:00 |
X. Zhao “Gelfand-Kirillov dimension of differential difference algebras” |
Ambedkar Dukkipati, "On Groebner bases over rings and residue class polynomial rings with torsion" |
E. Martinez "Multivariable Codes in Principal Ideal Polynomial Quotient Rings" |
|||
|
16:00 - 17:30 |
COFFEE BREAK |
|||||
|
17:30 - ???? |
Excursions |
|||||
|
|
||||||
|
Friday July 11 |
||||||
|
8:00 - 08:30 |
REGISTRATION |
|||||
|
8:30 - 9:00 |
Tyler Kelly "An algorithm for computing Picard ranks of certain K3 surfaces" |
Lourdes Juan "On the integration of algebraic functions: computing the logarithmic part" |
J. Gutierrez "HIMMO: A collusion-resistant identity-based scheme for symmetric key generation" |
Patrice Geary Tiffany "Effectively Melding Computer Algebra Systems into the Calculus Curriculum" |
||
|
9:00 - 9:30 |
Federico Galetto "An algorithm for determining actions of semisimple Lie groups on free resolutions" |
Xiao-Shan Gao "Binomial Difference Ideal and Toric Difference Variety" |
Bakshi, Deeksha "On a class of difference set pairs" |
Rosemary Carroll Farley "Student Undergraduate Research Projects in Linear Algebra Using a CAS" |
||
|
9:30 - 10:00 |
Chris Manon. Title to be announced |
Annette Maier "Parameterized Differential Equations and Patching" |
K.T. Arasu "Difference Set Pairs : A Recursive Approach via group rings" |
Andrew Toon "Investing Complex Data and Dynamics via Computer Algebra" |
||
|
10:00 - 10:30 |
Jennifer Paulhus "Decomposing Jacobian varieties" |
Julien Roques "Galois groups of difference equations on elliptic curves" |
K. Guenda "McEliece Cryptosystem Based on Punctured Convolutional Codes and the Pseudo-Random Generators" |
Michael Xue "Prove Inequalities by Solving Maximum/Minimum Problems Using a Computer Algebra System" |
||
|
10:30 - 11:00 |
COFFEE BREAK |
|||||
|
11:00 - 11:30 |
David Jensen "Brill-Noether Theory for Metric Graphs" |
Moulay Barkatou "A direct algorithm for computing k-simple forms of first-order linear differential systems" |
K. Bagheri "A New Non-Associative Cryptosystem Based on NTOW Public Key Cryptosystem and Octonions Algebra" |
David Jeffrey "Rubi and Integration as term re-writing: Integrals containing tangent" |
||
|
11:30 - 12:00 |
Amy Ksir "Automorphisms of tropical curves and Berkovich analytic curves and their skeletons" |
Suzy Maddah "Formal Solutions of Completely Integrable Pfaffian Systems with Normal Crossings" |
F. Manganiello "Network Coding via Skew Polynomials" |
Daniel Lichtblau "The Hazards of Symbolic Definite Integration (a Continuing Saga)" |
||
|
12:00 - 12:30 |
L. Beshaj, "Heights on algebraic curves", part I |
Sergey Paramonov "Undecidability of the uniqueness testing problem for analytic solutions of PLDE... " |
N. Aydin "Computer Algebra Challenges for Constructing Skew Cyclic Codes" |
Clemens Raab "Rewrite rules for nested integrals" |
||
|
12:30 - 14:00 |
LUNCH |
|||||
|
14:00 - 14:30 |
L. Beshaj, "Heights on algebraic curves", part II |
Francois Lemaire "New development and application of integration of differential fractions" |
M. Durcheva "Some applications of idempotent semirings in Public Key Cryptography" |
Michel Beaudin "Piecewise Functions and Convolution Integrals" (Part I) [1 hour] |
||
|
14:30 - 15:00 |
T. Shaska, "Minimal models for superelliptic curves over their minimal field of definition", part I |
Maximilian Jaroschek "Radicals of Ore polynomials" |
G.V. Bard "Plaintext Recovery for One-Time Pads Used Twice" |
Michel Beaudin "Piecewise Functions and Convolution Integrals" (Part II) |
||
|
15:00 - 15:30 |
|
George Labahn "Dynamical Systems and Scaling Invariants" |
Phillips, Robinson "Some new almost difference sets via finite fields" |
Gilbert Labelle "Combinatorial integration" (Part I) [1 hour] |
||
|
15:30 - 16:00 |
Barry Trager, Good Reduction of Plane Curves |
Irina Kogan "Differential algebra of invariants and invariant variational calculus" |
J. Hufford "Some results on finite fields" |
Gilbert Labelle "Combinatorial integration" (Part II) |
||
|
16:00 - 17:30 |
COFFEE BREAK and SOFTWARE DEMOS |
|||||
|
17:30 - 18:20 |
ACA Business Meeting |
|||||
|
18:30 - ???? |
Banquet |
|||||
|
|
||||||
|
Saturday July 12 |
|||||
|
8:30 - 9:00 |
G. Adj "Computing Discrete Logarithms using Joux's Algorithm" |
Florian Heiderich "Towards a non-commutative Picard-Vessiot theory" |
S. Szabo "Linear Codes over Z4[x]/(x^2-2x). Dual Preserving Maps and Images as Codes over Z4" |
||
|
9:00 - 9:30 |
L. Perret, "Algebraic Algorithms for Learning with Errors Problems (LWE)" |
Carlos Arreche "Computing differential Galois groups of parameterized second-order linear differential equations" |
S. Dougherty "Codes Over Rings of Order 16" |
||
|
9:30 - 10:00 |
M. Tamayo "Algebraic cryptosystems and vulnerability to Groebner basis attacks" |
Alexander Levin "Generalized Gröbner bases and dimension polynomials of modules over some finitely generated noncommutative algebras" |
E. Salturk "Codes over local rings of order 16 and their Gray maps" |
||
|
10:00 - 10:30 |
Sun, Lin, Wang "On Implementing Signature-based Grobner Basis Algorithms Using Linear Algebraic Routines from M4RI" |
Michael Wibmer "A Jordan-Hölder theorem for difference algebraic groups" |
A. Dukkipati "On Gröbner Bases over Rings and Residue Class Polynomials Rings with Torsion" |
||
|
10:30 - 11:00 |
COFFEE BREAK |
||||
|
11:00 - 11:30 |
D.H. Bueno "A notion of multivariate BCH bounds and codes" |
James Freitag "Bounding the size of a finite differential algebraic variety" |
A. Elezi, "Quantum computing, error correcting quantum codes and algebraic curves" |
||
|
11:30 - 12:00 |
K. Guenda "Extending Construction X for Quantum Error-Correcting Codes" |
Omar Leon Sanchez "Parametrized logarithmic equations and their Galois theory" |
C. Shor, "q-Weierstrass point of hyperelliptic curves" |
||
|
12:00 - 12:30 |
Alice Medvedev "Dimensions of difference-algebraic groups" |
J. Gutierrez, "Recovering zeroes of hyperelliptic curves over finite fields" |
|||
|
12:30 - 13:00 |
|||||
|
13:00 - 13:30 |
Closing Ceremony |
||||
|
|
|||||